Automata class header