計算理論基礎

この科目では、「計算とは何か」を数学的に論じる際に用いられる数理モデル「有限オートマトン」について、また、有限オートマトンと対をなす形式言語について学びます。