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