形式语言与自动机课程小结(北邮).pptVIP

fall 2001 课程小结 自动机理论： 论述计算的数学模型、它们的定义和性质。 有限自动机、下推自动机、图灵机 形式语言层次： 正则（线性）语言、 上下文无关语言、 递归可枚举语言与递归语言 期末考试要求 1．形式语言及文法 要求：掌握语言和文法的形式定义，CHOMSKY文法体系的分类。 2．有限自动机和右线性文法 (FA和3型文法) 要求： 掌握DFA，NFA，有ε的NFA，米兰机，摩尔机的形式定义 右线性文法和有限自动机的等价性，要求会应用，看懂证明 右线性文法的性质，要求会使用泵浦定理证明。 期末考试要求 3．下推自动机和上下文无关语言(PDA和2型文法) 要求： 将上下文无关文法转换为CHOMSKY范式或GREIBACH范式的文法表示．(会变换，看懂证明，掌握证明的思路) PDA，DPDA的形式定义。 2型文法和下推自动机的等价性，要求会应用，看懂证明。 上下文无关文法的性质，要求会使用泵浦定理证明。 期末考试要求 4．图灵机和无限制文法 要求： 基本图灵机的形式定义 构造图灵机，解决简单问题。 *College of Computer Science Technology, BUPT 期末考试安排 时间 1月5日（星期四）上午8:00至10:00 地点 教3-233 方式： 开卷， 语言描述和处理机