6 views
Show that for 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$
| 6 views