計算理論の基礎 [原著第3版] 1.オートマトンと言語

タイトル 計算理論の基礎 [原著第3版] 1.オートマトンと言語 ISBN/JAN 9784320125612 著者 Michael Sipser/著 田中 圭介/藤岡 淳/監訳 出版社 共立出版 発売日 2023/04/24 商品説明 第0章 序論 0.1 オートマトン，計算可能性，複雑さ 0.2 数学的概念や用語 0.3 定義，定理，証明 0.4 証明のタイプ 第1章 正規言語 1.1 有限オートマトン 1.2 非決定性 1.3 正規表現 1.4 非正規言語 第2章 文脈自由言語 2.1 文脈自由文法 2.2 プッシュダウン・オートマトン 2.3 非文脈自由言語 2.4 決定性文脈自由言語2025/01/08 更新