PrintForm
Definitions
grammar
1
Sections
AutomataTheory
Doc
At:
derive
refl
1
2
1.
V:
Type
2.
T:
Type
3.
G:
Grammar(V;T)
4.
l:
(V+T)*
l = [l][0] & (
i:
(||[l]||-1). [l][i]
[l][(i+1)]) & [l][(||[l]||-1)] = l
By:
Reduce 0
Generated subgoals:
None
About:
l = [l][0] & (
i:
(||[l]||-1). [l][i] 
[l][(i+1)]) & [l][(||[l]||-1)] = l
