計算理論とオートマトン言語理論―コンピュータの原理を明かす 第2版 [全集叢書]

計算理論とオートマトン言語理論―コンピュータの原理を明かす 第2版 の 商品概要

• 目次（「BOOK」データベースより）

  １　計算理論とは（すべては計算から始まる；計算理論のための概念や用語）
  ２　有限オートマトン、プッシュダウンオートマトン、そして文脈自由文法（有限オートマトン；文脈自由文法；プッシュダウンオートマトン）
  ３　計算可能性（チューリング機械；チューリング機械の万能性とその限界）
  ４　計算の複雑さ（クラスＰとクラスＮＰ；論理回路に基づいた計算時間限定の計算；ＮＰ完全性）

• 内容紹介

  初学者でも読み進められるように証明を含め丁寧に記述し，全面的に見直しを行った著者渾身の改訂版．“なるほど，そういうことか”を繰り返し体験して楽しみながら学ぶことができる．章末問題にはすべて解答をつけた．

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  丸岡 章(マルオカ アキラ)
  １９６５年東北大学工学部通信工学科卒業。１９７１年東北大学大学院博士課程修了。１９８５年東北大学教授。２００６年石巻専修大学教授。現在、東北大学名誉教授。工学博士

• 著者について

  丸岡 章 (マルオカ アキラ)
  丸岡 章
  東北大学名誉教授　工学博士

計算理論とオートマトン言語理論―コンピュータの原理を明かす 第2版 の商品スペック