is mentioned
In prior sections: mb list 1 list 1 mb basic mb automata 1 mb automata 2
Try larger context: GenAutomata
"?" ; h.t h