中科院形式语言与自动机理论

          形式语言与自动机理论是计算机科学理论的重要基础。主要介绍自动机、语言、文法的概念；有限自动机及其类型；状态化简；正规语言及其性质；上下文无关语言及文法；下推自动机的概念；图灵机的概念及其模型；形式语言与自动机的层次；计算模型与计算复杂性等。