GenAutomata Sections NuprlLIB Doc

Def rel_mng_2(r; rho; ds; da; de; e; s; s'; a; tr) == list_accum(x,t.x([[t]] 1of(e) s s' a tr);[[r.name]] rho 2of(e) ;r.args)

is mentioned

In prior sections: mb automata 3 mb automata 4


GenAutomata Sections NuprlLIB Doc