Context-sensitive grammar in the context of "Chomsky hierarchy"

In formal language theory, a context-free grammar (CFG) is a formal grammar whose production rules can be applied to a nonterminal symbol regardless of its context.In particular, in a context-free grammar, each production rule is of the form

with ${\displaystyle A}$ a single nonterminal symbol, and ${\displaystyle \alpha }$ a string of terminals and/or nonterminals (${\displaystyle \alpha }$ can be empty). Regardless of which symbols surround it, the single nonterminal ${\displaystyle A}$ on the left hand side can always be replaced by ${\displaystyle \alpha }$ on the right hand side. This distinguishes it from a context-sensitive grammar, which can have production rules in the form ${\displaystyle \alpha A\beta \rightarrow \alpha \gamma \beta }$ with ${\displaystyle A}$ a nonterminal symbol and ${\displaystyle \alpha }$, ${\displaystyle \beta }$, and ${\displaystyle \gamma }$ strings of terminal and/or nonterminal symbols.

The term phrase structure grammar was originally introduced by Noam Chomsky as the term for grammar studied previously by Emil Post and Axel Thue (Post canonical systems). Some authors, however, reserve the term for more restricted grammars in the Chomsky hierarchy: context-sensitive grammars or context-free grammars. In a broader sense, phrase structure grammars are also known as constituency grammars. The defining character of phrase structure grammars is thus their adherence to the constituency relation, as opposed to the dependency relation of dependency grammars.