automata

not defined yet