Production Types
- phrase structure or type 0 if __(V__)+ and___(V__)*
- context-sensitive or type 1 if _ = xAy and _ = xwy where A_V, and w_(V__)+
- context-free or type 2 if __V,
- linear if __V and ____*V_*,
- right-linear if __V and ____*V,
- left-linear if __V and ___V_*,
- non-erasing if len(_) len(_).