mb automata 4 Sections GenAutomata Doc

Def lbl_pr( < x, y > ) == ptn_pr( < x,y > )

is mentioned

In prior sections: mb automata 3

Try larger context: GenAutomata

mb automata 4 Sections GenAutomata Doc