PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
en
bound
1
1.
n:
2.
l:
n*
en(l)
(n
||l||)
By:
Analyze
Generated subgoals:
1
en(l)
2
0
en(l) < (n
||l||)
3
3.
k:
0
k < (n
||l||)
Type
About:
en(l) 
0 
en(l) < (n
||l||) 0 k < (n||l||) Type
n* en(l) (n||l||) en(l) 0 en(l) < (n||l||) 0 k < (n||l||) Type
