main – automata