let getAutomata () = !automata