世界大百科事典(旧版)内の文脈規定言語の言及
【形式言語】より
…この文法ではAB→CDのような,つまり記号の並び方に規定された書き換えが行われる。この文法で生成される言語は文脈規定言語,あるいは1型言語といわれ,線形拘束オートマンによって識別される。もし,文脈自由形文法で記号の消去を禁止すれば,生成される言語の族は文脈規定言語の族に真に含まれる。…
※「文脈規定言語」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」
…この文法ではAB→CDのような,つまり記号の並び方に規定された書き換えが行われる。この文法で生成される言語は文脈規定言語,あるいは1型言語といわれ,線形拘束オートマンによって識別される。もし,文脈自由形文法で記号の消去を禁止すれば,生成される言語の族は文脈規定言語の族に真に含まれる。…
※「文脈規定言語」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」
宇宙事業会社スペースワンが開発した小型ロケット。固体燃料の3段式で、宇宙航空研究開発機構(JAXA)が開発を進めるイプシロンSよりもさらに小さい。スペースワンは契約から打ち上げまでの期間で世界最短を...
12/17 日本大百科全書(ニッポニカ)を更新
11/21 日本大百科全書(ニッポニカ)を更新
10/29 小学館の図鑑NEO[新版]動物を追加
10/22 デジタル大辞泉を更新
10/22 デジタル大辞泉プラスを更新