GenAutomata Sections NuprlLIB Doc

Def pred_mng_2(p; rho; ds; da; de; e; s; s'; a; tr) == r:rel(). r p rel_mng_2(r; rho; ds; da; de; e; s; s'; a; tr)

is mentioned

In prior sections: mb automata 4


GenAutomata Sections NuprlLIB Doc