NUDT-计算理论-2023期末

最新推荐文章于 2025-08-12 20:56:49 发布

houhuawei23

最新推荐文章于 2025-08-12 20:56:49 发布

阅读量413

点赞数 10

CC 4.0 BY-SA版权

文章标签：笔记

NUDT-计算理论-2023期末

$\times 15 + 2 \times 2$

正则语言构造识别正则语言 $0^*10^*1$ 的有限状态机，并证明正确性；
构造识别给定的上下文无关文法的下推自动机，并证明正确性；
利用递归定理、对角线方法证明 $EWTM={⟨M⟩∣ε∈L(M)}\text{EW}_{\text{TM}} = \{\lang M \rang \mid \varepsilon \in \mathscr{L}(M) \}$ 是不可判定的；
使用归约，利用 $ATM\text{A}_{\text{TM}}$ 的不可判定性，证明 $ALLTM\text{ALL}_{\text{TM}}$ 的不可判定性；
证明k-独立集问题是NP完全问题：NP + NP 难；

提示：将极大团问题归约到k-独立集问题
简要证明萨维奇定理，并说明定理对于 $\geq \log n$ 也成立。