包含階層

ウィキペディア小見出し辞書

包含階層

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2015/08/15 13:02 UTC 版)

「形式言語の階層」の記事における「包含階層」の解説

包含階層とは、その要素である集合がその階層の下方にあるすべての集合の真母集合（つまり「集合１⊃集合２⊃集合３⊃...」）になっている構造である。形式言語の階層を構成する言語クラスはそれぞれ言語の集合であり、階層の上方にある言語クラスが下方にあるクラスの言語をすべて含むのがその包含階層である。これらの形式言語は形式文法やオートマトン、モデル理論等によって定義づけられ、大抵の場合その数学的な研究によって階層の中での位置付けを証明される。