grammar
1
Sections
AutomataTheory
Doc
Def
l[i] == hd(nth_tl(i;l))
In prior sections:
list
1
list
3
autom