目次 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 決定性文脈自由言語 演習, 問題, 解答
