grammar 1 Sections AutomataTheory Doc

Def i > j == j < i

In prior sections: int 2