無制限文法(読み)むせいげんぶんぽう

世界大百科事典(旧版)内の無制限文法の言及

【形式言語】より

…もし,文脈自由形文法で記号の消去を禁止すれば,生成される言語の族は文脈規定言語の族に真に含まれる。
[無制限文法]
 書き換え規則に対してどんな制約もおかない文法を無制限文法unrestricted grammar,あるいは0型文法という。この文法で生成される言語は無制限言語,あるいは0型言語といわれ,チューリング機械によって識別される。…

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

出典|株式会社平凡社「世界大百科事典(旧版)」

[名](スル)二つ以上のものが並び立つこと。「立候補者が―する」「―政権」[類語]両立・併存・同居・共存・並立・鼎立ていりつ...

連立の用語解説を読む