PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
en
bound
n:
, l:
n*. en(l)
(n
||l||)
By:
UnivCD
Generated subgoal:
1
1.
n:
2.
l:
n*
en(l)
(n
||l||)
About:
n*
en(l) 
(n
||l||) 
n:, l:n*. en(l) (n||l||)n* en(l) (n||l||)
