"●コンピュータが行う「計算」と、人間やコンピュータが使う「言語」の本質を解説●
本書は、コンピュータの動作のもっとも原始的な考え方であるオートマトンと言語理論について、基本事項に絞ってやさしく解説した教科書です。
前半では、計算の本質を抜き出して抽象化したオートマトンの考え方を示し、有限オートマトン、チューリング機械など各種のオートマトンの能力とその限界を説明します。後半では、言語をつくるルールである形式文法という概念を示し、その代表例として正規文法、文脈自由文法を説明します。そのうえで、別々の考え方であるオートマトンと形式文法が、実はよく似たものであることを示します。
掛け算を認識するオートマトンや、英文を定める形式文法のようにイメージしやすい具体例を載せることで、直観的に理解できるように書かれています。数学的に厳密な説明を抑え、本文を読めばわかるようにまとめました。情報科学分野の教科書として、また独習書としておすすめの一冊です。"

オートマトンの本質をつかむ！はじめの一冊として、また復習・独習用として、おすすめです。数学的に厳密な説明を抑え、具体例と図から直観的にイメージできるようにまとめました。オートマトンで掛け算を認識する例。形式文法で英文を定める例。
もくじ情報：第１章　オートマトンとは；第２章　有限オートマトン；第３章　さまざまな有限オートマトンと有限オートマトンの限界；第４章　正規表現（有限オートマトンの応用）；第５章　プッシュダウンオートマトン；第６章　チューリング機械；第７章　形式文法入門と正規文法；第８章　文脈自由文法；第９章　オートマトンと形式文法の関係

藤原　暁宏(フジワラ　アキヒロ)
１９９３年大阪大学基礎工学部情報工学科卒業。１９９７年奈良先端科学技術大学院大学情報科学研究科博士後期課程修了。九州工業大学情報工学部電子情報工学科講師。２０００年九州工業大学情報工学部電子情報工学科助教授（２００７年より准教授）。２０１３年九州工業大学大学院情報工学研究院電子情報工学研究系教授。博士（工学）。研究分野は並列分散アルゴリズム、ナチュラルコンピューティング、ネットワークアルゴリズム（本データはこの書籍が刊行された当時に掲載されていたものです）