Added automata figures