Type 1 Grammar

...Context-free languages ​​are identified by pushdown automata, and their family properly contains the family of regular languages.
[Context-specific grammar]
Let u and v be two symbol sequences consisting of a finite number of elements in Σ. If the rewrite rule is of the form u → v, and the length of v is always greater than or equal to the length of u, then this grammar is called a context sensitive grammar, or type 1 grammar. In this grammar, rewrites such as AB → CD are performed, that is, rewrites are determined by the arrangement of the symbols.

*Some of the terminology explanations that refer to "Type 1 grammar" are listed below.

Source | Heibonsha World Encyclopedia 2nd Edition | Information

…文脈自由言語はプッシュダウンオートマトンによって識別され，その族は，正規言語の族を真に含む。
[文脈規定文法]
　Σの有限個の要素からなる2つの記号系列をu，vとするとき，書き換え規則の形がu→vで，しかもvの長さがつねにuの長さ以上であるとき，この文法をさ文脈規定文法context sensitive grammar，あるいは1型文法という。この文法ではAB→CDのような，つまり記号の並び方に規定された書き換えが行われる。…

※「1型文法」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社世界大百科事典 第２版について | 情報