nfa
1
Sections
AutomataTheory
Doc
Def
T List
== {l:(T*)| ||l|| > 0 }
In prior sections:
grammar
1
== {l:(T*)| ||l|| > 0 }