この前 Parikh の定理(パリークの定理)を知ってびっくりしたので紹介します。
形式言語界隈では常識らしいです。
三行で説明して
文脈自由言語と正規言語は、単語を記号の度数で同一視(つまり記号の順番を無視する)と、同じクラスになるというものです。
具体的には準線形というクラスになります。
びっくりしませんか?僕はびっくりしました。
基本的な用語の定義
以下、終端記号の集合を とします。
線形部分集合
の元 を用いて と表せる集合のことを線形部分集合(linear subset)といいます。
線形といいつつ だけバイアスがあり なので錐みたいな感じです。
準線形部分集合
線形部分集合の有限族 の和集合 で表される集合のことを準線形部分集合 (semilinear subset)といいます。
語についての Parikh mapping
語 について、 に が登場する回数を とします。このとき、 となる を(語についての) Parikh mapping と呼びます。
言語についての Parikh mapping
言語 について、 となる を(言語についての) Parikh mapping と呼びます。記号の濫用ですが、混乱は生じないと思うので、語についての Parikh mapping と同じ記号 を用います。
Parikh の定理
準備が整ったので、ちゃんとした定義を述べます。
Parikh の定理
文脈自由言語 について、 Parikh mapping は準線形である
正規言語の Parikh mapping について
Parikh の定理の証明に入る前に、系として文脈自由言語と正規言語の Parikh mapping のクラスが一致することを示しておきます。
補題 1: 任意の線形部分集合 について となる正規言語 が存在する。
の元 について とします。
また、 と を定義します。
例えば です。
は有限集合なので正規です。正規言語のクラスはクリーネ閉包と連結について閉じているので は正規です。また、 となります。よって示されました。
系 2: 任意の準線形部分集合 について となる正規言語 が存在する。
正規言語は和集合について閉じています。よって補題 1 より直ちに従います。
系 3: 任意の文脈自由言語 について、 となるような正規言語 が存在する
Parikh の定理より は準線形です。よって系 2 より、 となるような正規言語 が存在します。
Parikh の定理の証明
では証明に入りましょう。
文脈自由文法を非終端記号 、終端記号 、生成規則 、開始記号 の組 で定義します。
定義 4:
文脈自由文法 において、全ての非終端記号を少なくとも一度ずつ用いて導出できる語の集合を とします。
後ろ向き推論によって問題を少し簡単にします。
補題 5: が準線形であることを示せば十分である。
の 通りの部分集合 について、新しい文法 を作ります。ここで、導出規則 は、 から非終端記号として の元のみが登場する規則を抜き出したものです。
これら全てについて が準線形であれば、それらの和集合 も準線形になります。
よって示されました。
以下扱う文脈自由文法 を任意に一つとり固定します。
定義 6:
を、以下の 2 つの条件を満たす終端導出木(葉が全て終端記号である導出木)全体の集合とします。
- 全ての非終端記号が登場する
- 根からの任意のパスについて、各非終端記号は高々 回ずつしか登場しない
条件 1 から、 の元によって導出される語は の元です。
また、条件 2 から木の深さは高々 なので、 は有限集合です。
定義 7:
により導出される語全体を とします。 は有限なのでこのような語も有限個です。
定義 8:
を全ての非終端記号が登場する終端導出木全体の集合とします。
この条件は定義 6 の条件 1 と同一なので、 は の部分集合です。
また、定義より語が によって導出されることと の元であることは同値です。
定義 9:
を以下の 3 つの条件を満たす(特殊な)導出木全体の集合とします。
- 根は、非終端記号のいずれかである(開始記号 である必要はない)
- 葉はちょうど 1 つを除き全て終端記号である。ちょうど 1 つある非終端記号は根と同じ記号である。
- 根からの任意のパスについて、各非終端記号は高々 回ずつしか登場しない(定義 6 の条件 2 と同一)
条件 3 より、 の場合と同じく は有限集合です。
定義 10:
による導出 について、 全体を とします。 は有限なのでこのような語も有限個です。
定義 11:
とします。定義より は線形集合です。
Parikh の定理の証明
であることを示します。 は準線形集合なので、これを示せば十分です。
両辺がもう一方に含まれることをそれぞれの方向について示します。
補題 12:
となることを についての帰納法で示します。
は の元により導出されるので の元です。よって となります。
とするとき、 を示します。
まず、帰納法の仮定より、 であって、全ての非終端記号を使った終端導出木 によって導出できる が存在します。
また、 は の元によって となるような部分的な導出によって と表されます。
ここで、 による導出によって登場する非終端記号 を一度 と変形して、後は と同様に導出を続けます。
これによって、導出される語 は、 を満たします。
また、この時の導出木は に登場する非終端記号を全て含むので、同様に全ての非終端記号を含み、 となります。
よって示されました。
補題 13:
の元 によって導出される語 が となることを、木の大きさについての帰納法で示します。
まず、 の根からのパスのうち同じ非終端記号が登場する回数が最も多いものの登場回数が 回以下のとき、定義より は の元でもあるので、 は のいずれかに一致します。よって となります。
次に登場回数が 回より大きいとき、 の頂点であって、その頂点から葉方向に伸びる、同じ非終端記号を 個含むパスを持つような頂点のうち、根から最も遠い頂点(複数あればどれでもよい) を選びます(少なくとも根は条件を満たすので、このような頂点は存在します)。
この 個ある非終端記号( とします)に対応する頂点を根から近い順に とします。( 自身が であることは少し考えれば分かります。)
の部分木で、 から と終端記号を導出するものを , から を取り除いたものを とします(ややこしいので以下に図を掲載します)。
▲わかりやすい図
ここで、 の子孫は、同じ非終端記号を 個含む、その頂点から葉方向に伸びるパスを持たないので、 は の元です。
また、 のうち、 に含まれるようなものが少なくともひとつ以上あることが以下のように分かります。
が に含まれないということは、定義より に含まれない非終端記号があるということです。 は必ず に含まれていて、 には全ての種類の非終端記号が出現することから、これは 以外のいずれかの非終端記号の出現が全て にあるということです。一方、 は の 個の候補があります。これら全ての候補が( 個ある) 以外のいずれかの非終端記号を全て含むということはありえません。よって、 のうち、 に含まれるようなものが少なくともひとつ以上あります。
に含まれる を 1 つとり、これが導出する語を とします。また、 の導出が のとき、 とします。
帰納法の仮定より、 です。
また、 なので です。
以上より示されました。
補題 12, 13 により、 となります。以上で証明は完了です。
最後に
いかがでしょうか。僕はかなりびっくりしました。
何か間違いや質問などがあればお願いします。
最後まで読んでいただきありがとうございました。