mb automata 3 Sections GenAutomata Doc

Def [[p]] rho ds da de e s a tr == r:rel(). r p [[r]] rho ds da de e s a tr

is not mentioned in this or prior sections.

Try larger context: GenAutomata

mb automata 3 Sections GenAutomata Doc