Added the automata example.