let getAutomata () =
  !automata