計算論〔改訂版〕

計算とは何か？　コンピュータの動作はもちろん計算といえる。また人間の話す言語やその文法も計算の１つの形である。このように計算という概念を幅広く捉え、様々な種類に分けて解説する。そして最終的には、計算機の数学的モデルといわれるチューリング機械がどのような構造を持っているかを理解する。また文法によって生成される（形式）言語がどのようなものか理解し、様々な文法と言語との関わりを理解する。その際、文法によって生成される言語と、オートマトンによって計算される言語の関連性を理解することが目標となる。