mb
automata
2
Sections
GenAutomata
Doc
Def
VCs{i} == Collection{i'}(vc{i:l}())
is not mentioned in this or prior sections.
Try larger context:
GenAutomata
mb
automata
2
Sections
GenAutomata
Doc