GenAutomata
Sections
NuprlLIB
Doc
Def
ioa_trans_all{i}(A;I) == < ioa_trans(A;a.lbl;I) | a
A.da >
is mentioned
In prior sections:
mb
automata
4
GenAutomata
Sections
NuprlLIB
Doc