PrintForm
Definitions
automata
5
Sections
AutomataTheory
Doc
At:
empty
alph
list
1
2
1.
q:
2.
x:
q*
3.
q = 0
4.
u:
q
5.
v:
q*
u.v = nil
By:
Analyze 4
Generated subgoals:
None
About:
q*qq*
u.v = nil
