Create automaton.c