世界大百科事典（旧版）内の線形拘束オートマンの言及
【形式言語】より
…この文法ではAB→CDのような，つまり記号の並び方に規定された書き換えが行われる。この文法で生成される言語は文脈規定言語，あるいは1型言語といわれ，線形拘束オートマンによって識別される。もし，文脈自由形文法で記号の消去を禁止すれば，生成される言語の族は文脈規定言語の族に真に含まれる。…
※「線形拘束オートマン」について言及している用語解説の一部を掲載しています。
出典｜株式会社平凡社「世界大百科事典（旧版）」
Sponsored by 