Menu Labelled, Many addtional automata