is mentioned
In prior sections: mb list 1 mb automata 1 mb automata 2 mb automata 3
Try larger context: GenAutomata
p.1of(p);as),map(p.2of(p);as) >