哈工大本部2023秋形式语言与自动机期末试题

写在前面：

1. 哈工大2023秋的期末回忆题，和题目原意可能有出入，仅供学弟学妹参考

2. 大家一定好好上课听讲，王春宇老师讲解非常好。题型大多很常规。不懂的部分可以在B站搜王老师的视频

3.写于2023.11.17，懒得写答案，如果有日后学弟学妹需要可以联系我把答案加上。笔者这门课是考察课，即使有一天我把答案补上了，也不保证对错，谨慎参考（跑）

正文部分：

第一题：

DFA：含有偶数个ba子串

第二题：

NFA：以bab结尾，且含有aba子串

第三题：

正则表达式：（1）含有偶数个b（2）不含ba子串

第四题：

证明不是正则语言：w中0的数量比1的数量少

第五题：

L是正则语言，x∈L，y∈L^R，证明xy也是正则的

第六题：

上下文无关文法：aⁿbⁿ，其中n不是3的倍数

第七题：

PDA：a²bⁿcⁿ，其中n>=0

第八题：

S->AB|BBB

A->Bb|ε

B->aB|a

(1)消除空产生式

(2)消除单元产生式

(3)转为CNF范式

第⑨题：

L是正则语言（？），ω∈L，定义L' = {0^ 2|ω|},证明L'是什么我忘记了（）

第十题：

图灵机： 0ⁿ,其中n是2的幂次（即2ⁿ个0）。

另注：我有个朋友让我加一句，odd是奇数，even是偶数