描述 核心主题从有限自动机，语言和计算理论. 乔姆斯基层次结构，抽象机器及其相关语法. 计算模型(e.g.(图灵机)，丘奇的论文，不可解性和不可判定性. 计算复杂性、难处理性和np完备性. 先决条件:CSCI 1323 学分 3学分 水平 上师