Delete automaton.c