Create Automata.h