GenAutomata
Sections
NuprlLIB
Doc
Def
[[vs]] rho ds da de e s tr ==
v:vc{i:l}(). v
vs
vc_mng(v;rho;ds;da;de;e;s;tr)
is mentioned
In prior sections:
mb
automata
4
GenAutomata
Sections
NuprlLIB
Doc
v:vc{i:l}(). v 
vs 
vc_mng(v;rho;ds;da;de;e;s;tr)