Create automaton.java