详细介绍形式语言理论，介绍各类文法及相应的自动机，及其相互转化的算法，介绍图灵机，不可判定性等概念。