Formal description of a DNA oriented computer language | Synapse