例解図説 オートマトンと形式言語入門 [単行本]

例解図説 オートマトンと形式言語入門 [単行本] の 商品概要

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

  豊富な図と例で丁寧に説明しているから、初学者でもつまずきにくい。入門書に最適な、コンパクトな一冊。

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

  第１章　オートマトンと形式言語ことはじめ
  第２章　有限状態オートマトン
  第３章　文法
  第４章　プッシュダウンオートマトンと文脈自由文法
  第５章　チューリングマシン
  第６章　チョムスキーの階層
  第７章　チューリングマシンの停止問題

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

  岡留 剛(オカドメ タケシ)
  １９８８年東京大学大学院情報科学研究科博士課程修了。日本電信電話株式会社入社（ＮＴＴ基礎研究所研究員）。２００９年関西学院大学理工学部人間システム工学科教授。理学博士

例解図説 オートマトンと形式言語入門 [単行本] の商品スペック