next up previous
Next: Up: If L is a Previous: If L is a

tex2html_wrap_inline289

Basis (i = 0)
tex2html_wrap_inline295 and tex2html_wrap_inline297

Assume for i - 1 & show for tex2html_wrap_inline301
.

Induction
Let x = ya
tex2html_wrap_inline307

tex2html_wrap_inline309
tex2html_wrap_inline311 , by hypothesis

From the ith move,
tex2html_wrap_inline315 for tex2html_wrap_inline317 ,
tex2html_wrap_inline319 is a production in P
tex2html_wrap_inline323

Thus,
tex2html_wrap_inline325



Sushil Prasad
Tue Jul 21 15:15:53 EDT 1998