計算論への入門―オートマトン・言語理論・チューリング機械(スタンダードテキスト) [単行本]

計算論への入門―オートマトン・言語理論・チューリング機械(スタンダードテキスト) の 商品概要

• 要旨(「BOOK」データベースより）

  計算論を学習して計算の基礎知識を習得すると、現代のコンピュータシステムを一層深く理解できるようになる。コンピュータは眼の眩むようなスピードで進化している。しかしながら、文字列照合やプログラミング言語の設計と実装の基本は変わっていない。本書では、どのような場合にもあてはまる計算、すなわち基本的な問題を解くための計算の考え方を解説する。したがって、本書の内容を完全に理解すれば、今日使われているコンピュータに限らず、あらゆるコンピュータを理解できるようになる。

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

  第１章　導入
  第２章　有限オートマトン
  第３章　文脈自由言語
  第４章　チューリング機械
  第５章　決定不能性
  第６章　計算量

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

  筧 捷彦(カケヒ カツヒコ)
  １９４５年生まれ。１９６８年東京大学工学部計数工学科卒。現在、早稲田大学理工学部情報学科教授
  杉原 崇憲(スギハラ タカノリ)
  １９６９年生まれ。１９９２年九州大学理学部物理学科卒。１９９７年九州大学理学博士。１９９９～２００２年日本学術振興会特別研究員ＰＤ。現在、名古屋大学大学院理学研究科研究生

計算論への入門―オートマトン・言語理論・チューリング機械(スタンダードテキスト) の商品スペック