目次
準備(A)
言語
チョムスキーの階層
有限オートマトン
オートマトンによって受理される言語
非決定性オートマトン
決定性オートマトンと非決定性オートマトン
正規文法とオートマトン
2方向有限オートマトン
1方向オートマトンと2方向オートマトン
〓-動作を含む非決定性オートマトン
正規表現
チューリング機能
様々なチューリング機械
アルゴリズムの概念
著者等紹介
隈部正博[クマベマサヒロ]
1962年長崎県に生まれる。1985年早稲田大学理工学部数学科卒業。1990年シカゴ大学大学院数学科博士課程修了。ミネソタ大学助教授を経て、放送大学教授、Ph.D.。専攻は数学基礎論(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
感想・レビュー
※以下の感想・レビューは、株式会社ドワンゴの提供する「読書メーター」によるものです。
オザマチ
11
放送大学大学院の教科書であり、数学分野の科目ではあるが、計算機や言語・文法の理論に関心をもつ人にも適した内容となっている。数学的帰納法の復習から始まり、言語、オートマトンの等価性、計算機の数理モデルであるチューリングマシンの理解を目標とする。具体例が丁寧に示され、抽象的な説明に慣れていない読者にも理解しやすく、理論の考え方に習熟できると感じた。2025/10/02
hisaos
0
放送大学大学院2024年第二学期、〇Aで修得したので読了とする。オートマトンの話から始まって、正規言語を経由しつつチューリングマシンをゴールとして計算機で扱われる計算について数学的にしっかりと積み上げていく形の講義。2025/02/13




