翻訳と辞書 |
形式言語の階層[けいしきげんごのかいそう] 形式言語の階層は形式言語の包含階層であり、言語学や計算機科学、数理論理学などにおいて研究される。計算複雑性理論の記述計算量や複雑性クラスとも密接に関係する。チョムスキー階層が知られているが、1956年に発表されて以来、同じ包含階層上に存在する形式言語が多数見つかっている。また、この包含階層の一部を可算個に分ける階層も幾つか知られている。 == 包含階層 == 包含階層とは、その要素である集合がその階層の下方にあるすべての集合の真母集合(つまり「集合1⊃集合2⊃集合3⊃...」)になっている構造である。形式言語の階層を構成する言語クラスはそれぞれ言語の集合であり、階層の上方にある言語クラスが下方にあるクラスの言語をすべて含むのがその包含階層である。これらの形式言語は形式文法やオートマトン、モデル理論等によって定義づけられ、大抵の場合その数学的な研究によって階層の中での位置付けを証明される。
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「形式言語の階層」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|