PrintForm
Definitions
automata
5
Sections
AutomataTheory
Doc
At:
empty
alph
list
q:
, x:
q*. q = 0
x = nil
By:
UnivCD
Generated subgoal:
1
1.
q:
2.
x:
q*
3.
q = 0
x = nil
About:
q*
x = nil 
q:, x:q*. q = 0 
x = nilq* x = nil
