added automata and run examples