Descriptive Theory
==================

This section introduces the theory that was developed to support the software
implementation of the modular cloning logic. It introduces mathematical
definitions of biological concepts, relying on particular on
`formal language theory <https://en.wikipedia.org/wiki/Formal_language>`_.



.. toctree::
  :maxdepth: 2

  definitions
  standard
  typed