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