ひとつの命題を理解するために, わたしは五日もかけてしまっています. わたしにはあまり時間がないのと, 精神力がないために, 不十分な理解のまま質問をしてしまうことを許してください. わたしが理解できていないのは, 決定性有限オートマトンと非決定性有限オートマトンが認識する言語のクラスが一致する, という命題です. たぶんわたしの質問に答えてくださる方はすでにそれらのことごとをよく知っているのだと思いますが, すこし抽象的な質問にもなると思うので, それらのことごとを知らない方も, わたしは以下で必要なだけ定義を書くので, もしよかったら考えてみてください. よろしくお願いします.
決定性有限オートマトン とは 5 つの組 である. ここで は から への写像, また は の特別な元であり, は の部分集合である. はいずれも有限集合である.
のいくつかの元を並べた列の集合を と書き, その元を語と呼ぶ. それは 個の の元の列である空列 をも含むとする.
決定性有限オートマトン が語 を受理するとは, による計算の列
において であることを言う( の定義からおのおのの は の元であって, 重複することもある). が受理する語の集合を と書いて, は を認識するという. 決定性有限オートマトンが認識する言語のクラスを と書く.
上の による計算の列は次の帰納的に定義される(「実行」のような) 関数で表現することもできます.
決定性有限オートマトン に対して, 関数 を次のように定義する. , として,
こう定義した を用いると, 上の の計算列と受理条件はもっと簡単に
と表現できます. つまり
次に非決定性有限オートマトンを定義します.
非決定性有限オートマトン とは 5 つの組 である. ここで は から への写像であり, この終域が の冪集合という点において「非」決定性を持つ. その他は同じく, は有限集合である.
非決定性有限オートマトン が語 を受理するとは, ある の元の列 が存在して,
を満たし, であることをいう.
言い下せば, による計算において, 非決定性ゆえにたくさんの道が存在します. その複数の道には に到達しない道もありますし, そもそも の像が空集合となって計算が終了してしまう道もあります. そのなかで の元に到達する道がひとつでもあれば受理するということになります. これだとわかりにくいので, 先の決定性有限オートマトンにおいて実行を表現した を, この非決定性有限オートマトンにも適用してみます.
非決定性有限オートマトン に対して, 関数 を次のように帰納的に定義する. , として,
こうすると,
と簡単になります. 最後に,
非決定性有限オートマトン が受理する語の集合を と書いて, は を認識するといい, 非決定性有限オートマトンが認識する言語のクラスを と書く.
わたしが理解できない命題というのは,
です. はほとんど明らかなのですが, 一応形式的に証明してみます.
決定性有限オートマトン に対して を, , ただし
とすると, は非決定性有限オートマトンとなる. このとき任意の に対して
となることを帰納的に示す. まず のときは
となって正しい. のとき,
このことから, のとき, であるので, .
たしかめる必要があるのかわかりませんが, のときは, となって, より となります. でも考えてみると同値なのだからたしかめるまでもないのですが, 受理する語は受理して, 受理しない語は受理してほしくないという気持ちは落ち着きます.
そしてわたしの疑問は
にあります. 命題2のように, 非決定性有限オートマトンを模倣する, すなわち認識する言語が等しくなるような決定性有限オートマトンを構成できればこれは解決されます. 先に紹介した関数で, 次の証明のうちに現れるものをあらためて整理します. まず, 決定性有限オートマトンの(遷移)関数 に対して,
遷移関数 は と, の元を受け取るのに対して, は と, , すなわち の元の列を受け取ります. 次に, 非決定性有限オートマトンの遷移関数 に対して,
ここで , すなわち です. 非決定性有限オートマトンの遷移関数は というかたちをしているのに対して, は というかたちをしています. なぜ ではないのかを考えてみると, この関数 は計算を実行するにあたって帰納的な性質を持っているからだと言えると思います. 適切ではない書き方ですが,
に留意します.
を非決定性有限オートマトンとする. を模倣するような決定性有限オートマトン を次のように構成する.
, , ,
このとき, は すなわち であり,
である.
任意の に関して, が成り立つことを帰納的に示す. のときは定義から, となって正しい. として,
いま, とすると, である. と等しい は従って と交わるから, の定義によって, . よって
わたしの疑問は, どうやってここまで来たのか, ということです. 模倣である決定性有限オートマトンにおいて, どうやって を とおこうと思ったのか, どうして としようと思ったのか, なぜ を と交わるような の部分集合族としようとしたのか, そこまで辿り着く道がよくわからないのです.
すこし眺めてみると, 語 が受理される条件は, 決定性有限オートマトンでは , 非決定性では となっていて, ふたつのオートマトンの認識する言語が等しくなってほしい思いは
というかたちで表わされます. するとぼんやりと が見えてきます. でも, それがはっきりとは見えないことは, としようとした心がわからないからなのだと思いました.
たしかに, としようとする気持ちを認めれば, このような の定義はとても自然です. それに, 証明のなかで現れた の定義
も自然です. なぜならば なる語に対して,
と,
とを一致させたいと思ったときに, 帰納法の仮定として だとして(たとえば を考えてみる), それを とおくと 上の (1), (2) が等しいことは
と表わせるからです. そして, 表現がうまくないのですが, そうして定義すると, 「非決定性」の性質が「決定的」に捉えられるのです. たとえば非決定性有限オートマトン において, その遷移関数 が
だったときに, 次に を読み取るとすると, そのステップは
となって, これは
とも表わせるからです.
とにかくわたしにはよくわかりません. 模倣するオートマトンを構成するということが,
を満たす を求めることであることと,
がそのひとつの答えであることと, 特に, この答えが模倣に関して自然な考え方だということがわかりません. たぶん,
が模倣ということの鍵となるのだと思います. だから, わたしは「模倣」がよくわかっていないのだと思います. なにを質問したいかもわたし自身よくわかっていません. この,
とか,
とか,
とかの関係について教えてほしいです. たぶん
ならば
となるとは思うのですが, 逆は成り立ちますか? ぐちゃぐちゃな質問でごめんなさい. 疲れました. 堂々巡りになってしまいます. よろしくお願いします.
追記 4月26日
模倣する決定性有限オートマトンを構成するという点において, これは方程式のような雰囲気がします. ある非決定性有限オートマトンを模倣する決定性有限オートマトンを構成することは可能であることはたしかです, ──実際に, 構成できていますから. つまりこの方程式には解があります. でも, もし というのが単なるアイデアであって, もしそれが見つけられなかったら, 構成することはできるけれども実際にどのように構成すればよいのかわからなかったら, すなわち, 方程式に解が存在することが示せても, 具体的にその解を求めることができなかったら, わたしは何を語ることができるのでしょうか. その意味で, が が を模倣するという点で必要であってほしいと願い, そのことを理解したいのです.