automata 5 Sections AutomataTheory Doc

Def InitialState(a) == 1of(2of(a))

In prior sections: det automata automata 4