NUDT-计算理论-2023期末

NUDT-计算理论-2023期末

$100=4\times 15+2\times 2$

1. 正则语言构造识别正则语言 $0^{\ast }10^{\ast }1$ 的有限状态机，并证明正确性；

2. 构造识别给定的上下文无关文法的下推自动机，并证明正确性；

3. 利用递归定理、对角线方法证明 ${\text{EW}}_{\text{TM}}=\{⟨M⟩\mid \epsilon \in \mathcal{L}(M)\}$ 是不可判定的；

4. 使用归约，利用 ${\text{A}}_{\text{TM}}$ 的不可判定性，证明 ${\text{ALL}}_{\text{TM}}$ 的不可判定性；

5. 证明k-独立集问题是NP完全问题：NP + NP 难；

   提示：将极大团问题归约到k-独立集问题

6. 简要证明萨维奇定理，并说明定理对于 $f(n)\ge \log n$也成立。