Given a phylogenetic tree and a root sequence, the program creates several automatons with specific parameters
The automatons are transducers, which are markov chains that produces a sequence by the series of states
In each state a operationfunction is called
There are two different kindes of operationfunctions and transducers. One for sequence based operations and one for rearrangements. Both transducers are used to create a child sequence in the phylogenetic tree.