2021春-哈工大形式语言与自动机考试要点总结

**

仅供参考，纯自己总结的考点和考察范围，不具有任何权威性

**
第1章不考(注：本文所说第x章均为英文版教材中的章节）
2.1不考
设计dfa nfa
直接写答案（设计结果） 要求设计nfa的题，可以设计dfa
转换
空转移nfa转换dfa
闭包是什么
正则表达式
两三个问 直接写 不要转换成别的 会变难
和dfa的转换
状态消除法（两个考一个）
正则表达式到空转移nfa—太简单了考的可能性不大
泵引理
必考 大概率正则 小概率上下文无关
封闭性
可能证明题 十有八九都是证否
文法
文法的设计 基本上是必考
语法树 可能问 给你个文法 判断是否歧义（画出两个语法树–歧义） 可能考
化简考了挺多次 消除单元 空 无用 只考cnf不考gnf
下推自动机
设计必考–允许先写文法 再转换为下推
有可能设计dpda
定理肯定不会考原题 不会证明定理
图灵机
1.识别语言
2.整数函数计算器

**

分数分布
=============
|正则50分   |
|上下无关40 |
|图灵10分   |
=============

**