Name change of main file
Automaton added -- needs testing