webstation plus

 オートマトン理論と形式言語理論ってよくわからないですよね。

 とはいえ、情報科学や数学、言語学や認知科学などの重要な基礎理論なので、「わからない!」で済ませておくわけにはいきません。

 そんな情報科学初心者におすすめなのが『白と黒のとびら』。ストーリーを楽しんでいるうちに、いつの間にかオートマトン理論と形式言語理論の概要が理解できます。

 オートマトン理論とは?

 大雑把に言えば、抽象的な計算機のモデルです。

 抽象的なモデルなので、目に見えたり、手に触れるような形で存在しているわけではありません。

 コンピュータや自動販売機、自動ドア、からくり人形といった機械の「動作」や、私たち人間が行う「手続き的な行為」から、それらに共通する「計算機的な性質」を抜き出し、書き表したものです。

 オートマトンはいくつかの状態があり、その中には「初期状態」と「終了状態」があります。オートマトンに「記号」を入力すると、オートマトンの状態が変わります(「状態遷移」と言います)。

 もっとも単純なオートマトンでは、次にどの状態に遷移するかは、現在の状態と入力される記号の組み合わせによって決まります。

 物語では、状態を「遺跡の各部屋」、初期状態を「入口の部屋」、終了状態を「出口の部屋」、入力される記号を「扉」として表し、遺跡を探検する主人公とともに謎解きが楽しめます。

 形式言語理論とは?

 形式言語とは、文字列の集合のことです。たとえば、「あいうえお」や「abcdef」、「1111」などがそうです。

 ただし、思っていることを表現したり、他人に伝えるための言語ではなく、特定の文字列からなる列を集めたものは、全て「形式言語」と見なします。

 物語では、この言語を白丸と黒丸の組み合わせで表しています。

 なぜ勉強する必要があるのか?

 では、なぜオートマトン理論と形式言語理論を勉強する必要があるのでしょうか。

 それは以下の問いに答えられるようになるためです。

①「計算」とはそもそも何なのか?
②「計算機」にできること、できないことの境目はどこにあるか?
③人間の脳を一種の「計算機械」と見なした場合、私たちの持つ言語能力をどのように説明することができるか?

 もちろん、本書を読むだけで全てに解答できるわけではありませんが、その大枠はイメージできるようになります。

 魔術師を目指す物語の主人公と一緒に、謎だらけの洞窟や塔を攻略しながらオートマトン理論と形式言語理論に触れてみてはどうでしょうか。

 次に読みたい本

 関連記事

数学者が辿り着いた幸せに生きる方法とは?/『数学する人生』感想

 数学者と言うと堅いイメージがありますよね。世間で騒がれているような些細なことに興味がない人が多いように思います。  しかし、そんな数学者だからこそ、私たち凡人とは違う視点で生き方について考えられるんですよね。  『数学 …

組み込みシステムの概要を理解したい人におすすめの本『これだけ組み込みシステム』

 組み込みシステムを理解しようと思うと、ハードもソフトも理解する必要があるので、何から手をつければいいのか分からなくなりますよね。  そんなときにおすすめなのが『これだけ組み込みシステム』。詳細を理解するには他の本を読む …

当たり前のことから始めよう!?『数学ガールの秘密ノート/整数で遊ぼう』

(※『数学ガールの秘密ノート/整数で遊ぼう』表紙より)  「数学をもう一度学び直そう!?」と思って読みはじめた本『数学ガールの秘密ノート』。  第2弾の本作は、前作より少し難しくなっていますが、数学マジックなど楽しく学べ …

数学が苦手な人に読んで欲しい本『数学ガールの秘密ノート/式とグラフ』

(※『数学ガールの秘密ノート/式とグラフ』表紙より)  数学は得意ですか。  私は学生の頃は得意だったのですが、社会人になってからは苦手意識が強くなりました。複雑な数式が理解できなくなってきたからです。  そこで中学レベ …

物理が苦手な人におすすめの本『いやでも物理が面白くなる』

 物理って面白くないですよね。  私は理系の大学を出ていますが、高校のときは物理がまったく面白くありませんでした。  なぜなら、理屈抜きに数式を暗記し、「問題」の「答え」を機械的に、そして限られた時間内に見つけることを要 …

微分って何?/微分がわかれば変化が捉えられる

(※『数学ガールの秘密ノート/微分を追いかけて』表紙より)  微分とは何か説明できますか?  結論からいえば、「瞬間の変化率」を求めることです。  たとえば、ある時刻における新幹線の瞬間速度を捉えるために微分を求める。ま …

AIを正しく理解したいなら最低限知っておきたいこと/『コンピュータ、どうやってつくったんですか?』

 最近、AIに関する話題が多いですよね。ところが、コンピュータの仕組みについてあまり知らない人が語っているケースも多いように思います。  当たり前のことですが、コンピュータがどのような機械なのかを知らなければ、人工知能技 …

三角関数とは円の回転をあらわす関数

(※『数学ガールの秘密ノート/丸い三角関数』表紙より)  三角関数をご存知ですか?  最近、橋下徹さんが学校で教えなくてもいいと言ったサイン、コサイン、タンジェントのことです。  実はこの三角関数。AIやロボティクスなど …

線形代数イロハの「イ」を理解しよう

(※『マンガ 線形代数入門』表紙より)  線形代数をご存知ですか。  高校で行列を習った人も多いと思いますが、少し強引な説明をすると行列を使った演算のことです。  行列を使えば、連立方程式などの問題がパソコンを使って簡単 …