Added example for recursive automaton