diff --git "a/docs/undergraduate/\350\275\257\344\273\266\345\267\245\347\250\213\345\255\246\351\231\242/\345\275\242\345\274\217\345\214\226\350\257\255\350\250\200\344\270\216\350\207\252\345\212\250\346\234\272\347\220\206\350\256\272/2025-2026\345\255\246\345\271\264\344\270\213\345\255\246\346\234\237\346\234\237\346\234\253.md" "b/docs/undergraduate/\350\275\257\344\273\266\345\267\245\347\250\213\345\255\246\351\231\242/\345\275\242\345\274\217\345\214\226\350\257\255\350\250\200\344\270\216\350\207\252\345\212\250\346\234\272\347\220\206\350\256\272/2025-2026\345\255\246\345\271\264\344\270\213\345\255\246\346\234\237\346\234\237\346\234\253.md" new file mode 100644 index 0000000..0cd8c4a --- /dev/null +++ "b/docs/undergraduate/\350\275\257\344\273\266\345\267\245\347\250\213\345\255\246\351\231\242/\345\275\242\345\274\217\345\214\226\350\257\255\350\250\200\344\270\216\350\207\252\345\212\250\346\234\272\347\220\206\350\256\272/2025-2026\345\255\246\345\271\264\344\270\213\345\255\246\346\234\237\346\234\237\346\234\253.md" @@ -0,0 +1,33 @@ +--- +title: 2025-2026学年下学期期末 +--- + +## 2025-2026学年下学期期末试卷 + +### 一、问答题 + +1. 确定性图灵机与非确定性图灵机有什么区别,它们为什么等价? +2. 给出至少3种方法判断一个语言是否是上下文无关语言。 +3. 二义性的概念。固有二义性的概念。 +4. 简述图灵机的整型运算过程。 + +### 二、设计题 + +1. 一个语言的字母表中只有 `a` 和 `b`,且这个语言中所有字符串都含有恰好一个 `aa` 子串。 + 1. 设计一个正则表达式来生成这个语言。 + 2. 将正则表达式转化为 $\epsilon$-NFA。 +2. 构造出识别 $L = \{a^ib^jc^k|i,j,k\geq 0, i = j\,\mathrm{or}\, j = k\}$ 的 PDA。 +3. 将下推自动机 $P(\{p,q\},\{0,1\},\{X,Z\},\delta,p,Z)$转化为能被它识别的语言的一个上下文无关文法,并将它转化为 CNF 范式。其中 $\delta$ 为。 + **(不能保证这个表格是无误的,总之考的就是这个样子)** + ||0,Z|0,X|1,Z|1,X|$\epsilon$,Z|$\epsilon$,X| + |---|---|---|---|---|---|---| + |$\rightarrow$ p||q,X|p,XZ|p,XX|p,$\epsilon$|| + |q|p,Z|||q,$\epsilon$||| + +### 三、证明题 + +1. 用泵引理证明 $L = \{0^i1^j2^k|i