grammar
1
Sections
AutomataTheory
Doc
Def
L = M ==
l:Alph*. L(l)
M(l)
In prior sections:
languages
l:Alph*. L(l) 
M(l)