計算論

準備(A) 言語 チョムスキーの階層 有限オートマトン オートマトンによって受理される言語 非決定性オートマトン 決定性オートマトンと非決定性オートマトン 正規文法とオートマトン 2方向有限オートマトン 1方向オートマトンと2方向オートマトン ε‐動作を含む非決定性オートマトン 正規表現 チューリング機械 様々なチューリング機械 アルゴリズムの概念