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