GenAutomata
Sections
NuprlLIB
Doc
Def
[[r]] rho ds da de e s a tr == list_accum(x,t.x([[t]] 1of(e) 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