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