grammar
1
Sections
AutomataTheory
Doc
Def
{i..j
} == {k:
| i
k < j }
In prior sections:
int
1
bool
1
int
2
list
1
finite
sets
list
3
autom
} == {k:
| i 
k < j }