Definition
Context-Sensitive Production Rule
A production rule is called context-sensitive if it does not decrease the length of the string and replaces a non-terminal symbol only in its surrounding context.
Formally, a rule is context-sensitive if it has the form
where
, , and . If the start symbol
does not appear on the right-hand side of any production, then is also allowed.