Loading article…
『オートマタ理論、言語、計算入門』は、形式言語と計算理論に関するジョン・ホプクロフトとジェフリー・ウルマンによる影響力のある[ 1 ]コンピュータサイエンスの教科書である。 ラジーブ・モトワニは、 2000年以降の改訂版に貢献した。
ジャーゴン・ファイルには、この本のニックネームであるシンデレラ・ブックが次のように記録されている。「表紙には、ルーブ・ゴールドバーグ装置の前に座って、そこから出ているロープを持っている少女（おそらくシンデレラ）が描かれていることから、そう呼ばれている。裏表紙には、彼女が（必然的に）ロープを引っ張った後、装置がめちゃくちゃになっている様子が描かれている。」[ 2 ]
本書の前身は、1969年に『形式言語とオートマタの関係』というタイトルで出版された。この書籍は、このテーマに関するコースの作成とさらなる研究の両方の基礎を形成し、 10年以上にわたってオートマタ理論の分野を形作った。[ 3 ]
『Introduction to Automata Theory, Languages, and Computation』の初版は1979年に出版され、第2版は2000年11月に、第3版は2006年2月に出版されました。第2版以降、ラジーブ・モトワニがホップクロフトとウルマンに加えて3人目の著者として加わりました。第2版以降、本書はオートマタ理論が適用される例の解説を拡充する一方で、より高度な理論の大部分を削除しました。これにより第2版と第3版は初心者にとってより分かりやすくなりましたが、より高度なコースには適さなくなりました。理論から離れるこの新たな傾向は、すべての人に好意的に受け止められているわけではありません。シャリットが引用しているように、ある教授は「良い部分をすべて取り除いてしまった」と述べています。[ 4 ]
初版は、ホップクロフトとウルマンが執筆した以前の教科書『形式言語とオートマタの関係』を大幅に改訂したものであった。1969年に出版され、1979年版の序文で言及されている。ホップクロフトは、1969年の書籍に関する個人的な歴史的メモの中で、「おそらく、この本の成功は、証明を実際に示す前に各証明の本質を提示しようとした私たちの努力によるものだった」と述べている。[ 3 ] 1979年版は、前版と比較して拡張され、学生がより理解しやすいように内容が再構成された。[ 3 ] 簡潔さを犠牲にして理解しやすさを追求するこの姿勢は、すべての人に好意的に受け止められたわけではなかった。ホップクロフトは、1979年に改訂された版に対するフィードバックについて次のように報告している。「学生のために、より詳細な説明を加えることでプレゼンテーションのレベルを下げようとした我々の試みは、教員に悪影響を与えたようで、教員は追加された資料を精査して講義の概要を作成し、準備しなければならなかった。」[ 3 ]
それでも、この本の最も引用されている版は明らかに1979年版である。ウェブサイトCiteSeerXによると、オンラインで無料で入手できる3000以上の科学論文がこの版を引用している。[ 5 ]