Chapter 43 Challenging the Automaton Formation