consistent naming for title of automata.scala