Type 1 language

...This grammar performs rewriting such as AB → CD, that is, a rewriting that is specified by the sequence of symbols. The languages ​​generated by this grammar are called context-defined languages, or type 1 languages, and are identified by linear constraint automata. If the deletion of symbols is prohibited in a context-free grammar, the family of languages ​​generated is truly included in the family of context-defined languages. ...

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

Source | Heibonsha World Encyclopedia 2nd Edition | Information

…この文法ではAB→CDのような，つまり記号の並び方に規定された書き換えが行われる。この文法で生成される言語は文脈規定言語，あるいは1型言語といわれ，線形拘束オートマンによって識別される。もし，文脈自由形文法で記号の消去を禁止すれば，生成される言語の族は文脈規定言語の族に真に含まれる。…

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

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