GenAutomata
Sections
NuprlLIB
Doc
Def
tc_vcs{i}(vs;ds;da;de) ==
v:vc{i:l}(). v
vs
tc_vc(v;ds;da;de)
is mentioned
In prior sections:
mb
automata
4
GenAutomata
Sections
NuprlLIB
Doc
v:vc{i:l}(). v 
vs 
tc_vc(v;ds;da;de)