PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
en
surj
1
1.
n:
k:
(n
0).
l:
n*. ||l|| = 0 & en(l) = k
By:
Analyze 0
Generated subgoal:
1
2.
k:
(n
0)
l:
n*. ||l|| = 0 & en(l) = k
About:
(n
0)
l:n*. ||l|| = 0 & en(l) = k
k:(n0). l:n*. ||l|| = 0 & en(l) = k(n0) l:n*. ||l|| = 0 & en(l) = k
