automata 5 Sections AutomataTheory Doc

Def 2of(t) == t.2

In prior sections: core