myhill
nerode
Sections
AutomataTheory
Doc
Def
InitialState(a) == 1of(2of(a))
In prior sections:
det
automata