万能チューリング・マシン 万能チューリング・マシン (UTM) UTM、任意の TM を模倣できる UTM 一台あれば、他の TM は要らない その代りに、個々の TM に対応するテープ内容(プログラム)が必要 フォン=ノイマン型コンピュータって ? 今の計算機の原理はすべてこれ(プログラム内蔵型コンピュータ) プログラムもデータも一つのメモリに入れておく (実は..) この形式の原型が UTM ノイマンは新しい計算機を考える時に、これを参考にした