is mentioned
In prior sections: mb list 2 mb automata 3 list 1 mb list 1 mb label mb automata 2
Try larger context: GenAutomata
k ; a.as' f(a,reduce(f;k;as')) (recursive)