text: 正規言語（せいきげんご）または正則言語（せいそくげんご）は、以下に示す性質（いずれも等価）を満たす形式言語である。決定性有限オートマトンによって受理可能 非決定性有限オートマトンによって受理可能 正規表現で記述可能 正規文法から生成可能 読みとり専用チューリングマシンで受理可能 定義  文字セット Σ 上の正規言語の集合は以下のように再帰的に定義される。空の言語 0 は正規言語である。空文字列言語 { ε } は正規言語である。a ∈ Σ である各 a について、それだけを含む単集合言語 { a } は正規言語である。A と B が正規言語であるとき、A ∪ B（和集合）も A • B（結合）も A*（クリーネ閉包）も正規言語である。それ以外の Σ 上の言語は正規言語ではない。有限の文字列から構成される言語は全て正規言語である。その他の典型的な例としては、文字セット {a, b} を使った文字列のうち、偶数個の a を含む文字列の集まりは正規言語であるし、任意個数の a の後に任意個数の b が続く文字列で構成される言語も正規言語である。閉包属性  正規言語に対して、和集合、積集合、差集合といった演算を施した結果も正規言語である。正規言語の補集合（文字セットから生成される全文字列を全体集合とする）も正規言語である。正規言語の文字列を全て逆転させたものも正規言語である。正規言語の連結（ふたつの言語に含まれる文字列をあらゆる組み合わせで連結した文字列の集合）をしたものも正規言語である。「シャッフル」をふたつの正規言語に施した結果も正規言語である。正規言語と任意の言語の商集合も正規言語である。個々の操作の具体的意味については形式言語#定義を参照されたい。ある言語が正規言語であるかどうかの判断基準  チョムスキー階層での正規言語の位置によれば、正規言語は文脈自由言語の真部分集合である。すなわち、正規言語は文脈自由言語に含まれる一方、その逆は真ではない。例えば、同じ個数の a と b を含む文字列から成る言語は文脈自由言語ではあるが、正規言語ではない。このような言語が正規言語ではないことを証明するには、マイヒル-ネローデの定理か反復補題 (pumping lemma) を使う。正規言語を代数学的に定義するには、二つの方法がある。Σ を有限のアルファベットとし、Σ* を Σ 上の自由モノイド（Σ によって作られる記号列全て）とすると、f : Σ* → M はモノイド同型となる。ただしここで M は有限のモノイドである。