「形式言語の階層」の版間の差分

m
(タイプ-0と-1加筆)
== 包含階層 ==
包含階層とは、その要素である集合がその階層の下方にあるすべての集合の真母集合(つまり「集合1⊃集合2⊃集合3⊃...」)になっている構造である。形式言語の階層を構成する言語クラスはそれぞれ言語の集合であり、階層の上方にある言語クラスが下方にあるクラスの言語をすべて含むのがその包含階層である。これらの形式言語は[[形式文法]]や[[オートマトン]]、[[有限モデル理論|モデル理論]]等によって定義づけられ、大抵の場合その数学的な研究によって階層の中での位置付けを証明される。
る。
 
== チョムスキー階層 ==
309

回編集