目次
1 計算理論とは(すべては計算から始まる;計算理論のための概念や用語)
2 有限オートマトン、プッシュダウンオートマトン、そして文脈自由文法(有限オートマトン;文脈自由文法;プッシュダウンオートマトン)
3 計算可能性(チューリング機械;チューリング機械の万能性とその限界)
4 計算の複雑さ(クラスPとクラスNP;論理回路に基づいた計算時間限定の計算;NP完全性)
著者等紹介
丸岡章[マルオカアキラ]
1965年東北大学工学部通信工学科卒業。1971年東北大学大学院博士課程修了。1985年東北大学教授。2006年石巻専修大学教授。現在、東北大学名誉教授。工学博士(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。