Understanding Computation: From Simple Machines to Impossible Programs
ASIN 1449329276
Oreilly & Associates Inc
中は大きく2つにわかれていて 前半でプログラムの意味論と計算機モデルについて、 後半で計算可能性について論じている。 どちらの分野も専門書は数多くあるが、 Rubyでの実装をとっかかりに、平易に論じているのが眼目。
1章は前提となるRubyの解説、パート１の意味論が2章から5章まで、 パート２の計算可能性が6-9章。
パート１の 2章はプログラム意味論、 3章は有限オートマトンと正規表現、 4章でプッシュダウン・オートマトン、 5章はチューリングマシン。
パート２の 6章はラムダ計算、 7章はさまざまな計算モデルを紹介、 8章は停止性判定プログラムなどの不可能な計算、 9章はプログラムの抽象実行。
かなり変わった本だが、教科書にはいいかもしれない。 やっぱり手を動かして実際に動かさないとわからないからなあ。
Understanding Computation: From Simple Machines to Impossible Programs
posted with amazlet at 13.06.25
Tom Stuart
Oreilly & Associates Inc
売り上げランキング: 2,269,602
Oreilly & Associates Inc
売り上げランキング: 2,269,602
0 件のコメント:
コメントを投稿