Add menu to select between the available automata.