in Theory of Computation
161 views
0 votes
0 votes
Every unrestricted grammar there exists an equivalent unrestricted grammar, all of whose productions have the form

                                                                                         $u\rightarrow v,$

with $u,v\in (V \cup T)^+$ and $|u| \leq |v|$, or

                                                                                         $A\rightarrow\lambda$

with $A\in V$

Show that the conclusion still holds if we add the further conditions $|u|\leq2$ and $|v|\leq2$
in Theory of Computation
161 views

Please log in or register to answer this question.

Related questions