NO.10436020
芝浦工大【情報工学科】2
-
39 名前：匿名さん：2005/10/01 03:40
-
授業のオートマトンでは有限オートマトンしかやらないから、
チューリング機械とかは２年の計算論をとらないと勉強できない。
大関はオートマトンの最初の授業で不完全性定理とチューリング機械の決定不能性を対比してたけど、
オートマトンの授業だけじゃそこまでいかない、ってこと。
俺は計算理論の基礎で独学した。
http://www.amazon.co.jp/exec/obidos/ASIN/4320029488/250-4162948-7019408
図書館にあるよ。