正規言語のソースを表示
←
正規言語
移動先:
案内
、
検索
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
要求した操作を行うことは許可されていません。
このページのソースの閲覧やコピーができます。
'''正規言語'''(せいきげんご)または'''正則言語'''(せいそくげんご)とは、以下に示す性質(いずれも等価)を満たす[[形式言語]]のことである。 *[[決定性有限オートマトン]]によって受理可能 *[[非決定性有限オートマトン]]によって受理可能 *[[正規表現]]で記述可能 *[[正規文法]]から生成可能 *読みとり専用[[チューリングマシン]]で受理可能 == 文字セットについての正規言語 == 文字セット Σ 上の正規言語の集合は以下のように再帰的に定義される。 * 空の言語 0 は正規言語である。 * 空文字列言語 { ε } は正規言語である。 * ''a'' ∈ Σ である各 ''a'' について、それだけを含む[[単集合]]言語 { ''a'' } は正規言語である。 * ''A'' と ''B'' が正規言語であるとき、''A'' ∪ ''B''(和集合)も ''A'' • ''B''(結合)も ''A''*([[クリーネ閉包]])も正規言語である。 * それ以外の Σ 上の言語は正規言語ではない。 有限の文字列から構成される言語は全て正規言語である。その他の典型的な例としては、文字セット {''a'', ''b''} を使った文字列のうち、偶数個の ''a'' を含む文字列の集まりは正規言語であるし、任意個数の ''a'' の後に任意個数の ''b'' が続く文字列で構成される言語も正規言語である。 == 閉包属性 == 正規言語に対して、和集合、積集合、差集合といった演算を施した結果も正規言語である。正規言語の補集合(文字セットから生成される全文字列を全体集合とする)も正規言語である。正規言語の文字列を全て逆転させたものも正規言語である。正規言語の連結(ふたつの言語に含まれる文字列をあらゆる組み合わせで連結した文字列の集合)をしたものも正規言語である。「シャッフル」をふたつの正規言語に施した結果も正規言語である。正規言語と任意の言語の商集合も正規言語である。個々の操作の具体的意味については[[形式言語#情報工学的定義|形式言語の情報工学的定義]]を参照されたい。 == ある言語が正規言語であるかどうかの判断基準 == [[チョムスキー階層]]での正規言語の位置によれば、正規言語は[[文脈自由言語]]の[[部分集合|真部分集合]]である。すなわち、正規言語は文脈自由言語に含まれる一方、その逆は真ではない。 例えば、同じ個数の ''a'' と ''b'' を含む文字列から成る言語は文脈自由言語ではあるが、正規言語ではない。このような言語が正規言語ではないことを証明するには、[[マイヒル-ネローデの定理]]か[[正規言語の反復補題|反復補題]] (Pumping Lemma) を使う。 正規言語を代数学的に定義するには、二つの方法がある。Σ を有限のアルファベットとし、Σ* を Σ 上の[[自由モノイド]](Σ によって作られる記号列全て)とすると、''f'' : Σ* → ''M'' は[[モノイド同型]]となる。ただしここで ''M'' は''有限''のモノイドである。そして、''S'' を ''M'' の部分集合とすると、''f''<sup>−1</sup>(''S'') は正規言語となる。任意の正規言語はこのようにして構成することができる。 もう一つの方法として、''L'' が Σ 上の言語であるとき、Σ* 上の[[同値関係]] ~ を次のように定義する。 :<math>x \sim y :\Leftrightarrow \forall z \in \Sigma^* : xz \in L \leftrightarrow yx \in L</math> すると、''L'' が正規言語であることは、同値関係 ~ の作る同値類の指標(濃度)が有限であることと[[同値]]になる。そして、同値類の指標は ''L'' を受理する最小の決定性有限オートマトンの状態の個数に一致する。 [[Category:形式言語|せいきけんこ]] [[Category:数学に関する記事|せいきけんこ]]
正規言語
に戻る。
案内メニュー
個人用ツール
ログイン
名前空間
ページ
議論
変種
表示
閲覧
ソースを表示
履歴表示
その他
検索
案内
メインページ
コミュニティ・ポータル
最近の出来事
新しいページ
最近の更新
おまかせ表示
sandbox
commonsupload
ヘルプ
ヘルプ
井戸端
notice
bugreportspage
sitesupport
ウィキペディアに関するお問い合わせ
ツール
リンク元
関連ページの更新状況
特別ページ
ページ情報