grammar 1 Sections AutomataTheory Doc

Def 1of(t) == t.1

In prior sections: core