GenAutomata Sections NuprlLIB Doc

Def VCs(A;I) == < *vc_imp(mk_imp(A.init, I))* > +* ioa_trans_all{i}(A;I)

is mentioned

In prior sections: mb automata 4


GenAutomata Sections NuprlLIB Doc