Added Automata example