grammar
1
Sections
AutomataTheory
Doc
Def
i
j ==
j <
i
In prior sections:
bool
1
j == 
j < i