PrintForm
Definitions
nfa
1
Sections
AutomataTheory
Doc
At:
nd
comp
init
wf
1
1
1
1.
Alph:
Type
2.
St:
Type
3.
q:
St
||[ < q,nil > ]|| > 0
By:
Reduce 0
Generated subgoals:
None
About:
||[ < q,nil > ]|| > 0
