PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
en
surj
2
1.
n:
2.
m:
3.
0 < m
4.
k:
(n
m-1).
l:
n*. ||l|| = m-1 & en(l) = k
k:
(n
m).
l:
n*. ||l|| = m & en(l) = k
By:
Analyze 0
Generated subgoal:
1
5.
k:
(n
m)
l:
n*. ||l|| = m & en(l) = k
About:
(n
m)
l:n*. ||l|| = m & en(l) = k
k:(nm-1). l:n*. ||l|| = m-1 & en(l) = k k:(nm). l:n*. ||l|| = m & en(l) = k(nm) l:n*. ||l|| = m & en(l) = k
