What is unrestricted ‘type 0’ grammar
Productions have strings of variables on each side of the production rather than just one variable on the LHS like CFG
When is a language L turing-acceptable
If and only if it is generated by an unrestricted grammar
What is a context-sensitive grammar
The productions never make strings shorter
S-> epsilon is permitted where S neever appears on the RHS
What is non-contracting grammars
There are at >= elements on the RHS as on the LHS
The productions never make strings shorter