1 回顾： recursive 和 recursively enumerable

1.1 递归可枚举语言 Recursively Enumerable (r.e.) Languages

{L | there is a TM M such that L(M) = L}

——>这种语言的描述是不好的，如果语言w是图灵机TM可接受的，那么我们通过这种定义的方法是可以知道语言w在不在L(M)里面；但如果w不属于L(M)，那么有可能会一直在图灵机里面循环

1.2 递归语言 Recursive Languages （decidable）

Σ*表示在最初tape上的状态

这种语言的描述是很好的，因为无论如何，最终语言w都会停在图灵机M的某一个状态上，也就不会出现2.1的死循环的情况

从另一方面说，递归语言可以想成，在有限的时间/步数内，我们可以判断一个语言w是否被图灵机M接受

2.1可以看成是2.2 的特殊情况

2 universal TM

图灵机Mu的输入是<M>#w，其中：

<M>表示图灵机M的描述（伪代码等形式）

#表示分隔符

w表示某一个语言

2.1 Lu

首先，Lu是 r.e. 因为对于r.e.的定义“{L | there is a TM M such that L(M) = L}”，我们只需要让Mu为定义中的图灵机M即可

但是，Lu是decidable嘛？不是，因为对于有些input (<M>#w),如果w在M中loop的话，那么 (<M>#w)可能在Mu中也会陷入loop

3 规约

和NP完全问题的规约类似，只是这边不需要在多项式时间内进行规约

从一个语言归约到另一个语言

3.1 规约举例：Lu≤Lhalt

3.1.1 Halting Problem

这里规约的作用是，说明halting problem也是undecidable

这里reduction操作不会再M上执行w，它只生成相应的M’

也就是说，即使M在输入为w的时候陷入loop，reduction也不会陷入loop，因为它只是转化，不进行计算

3.1.2 L374

规约过程：

4 r.e. 语言的性质

4.1 性质的定义

predicate 对每个r.e.中的语言L做一个映射，映射到True还是False

4.2 性质举例

4.3 注意

注意这边说的是语言的性质，不是图灵机/程序的性质

4.4 平凡的属性

如果一个属性是平凡的，那么就表示要么所有语言都满足这个性质，要么所有语言都不满足这个性质——显然，平凡的属性是decidable的

平凡的属性举例：

1）

注：语言的属性是定义在r.e的语言上的，所以这个相当于是所有的语言

这个相当于是空集

3）

也相当于全集

4.5 莱斯定理

mas714 笔记：undecidability相关推荐

NTU课程笔记 mas714复习：例题
1 画DFA 1.1 题目描述 1.2 思路先绘制相应的NFA 然后使用NTU 课程辅助笔记: NFA到DFA的转化_UQI-LIUWJ的博客-CSDN博客将NFA转化成DFA 0 1 {A} { ...
NTU 课程笔记： MAS714 1415 regular language
1 几个概念字母表Σ 一组非空.有限数量的元素(英文翻译为symbol)组成的集合字母表的字符串这个字母表中元素组成的有限长度的序列 ε 长度为0的字符串(空串) X和y的拼接 (concate ...
NTU 课程笔记：MAS714（9）动态规划
1 动态规划和分治的区别分治:问题分成几个独立的子问题,他们会分别解决.最后再将各个子问题的结果合并成一个大的结果动态规划:问题分成几个相互依赖或者重叠的问题.使用空间换时间的方法避免重复计算, ...
NTU课程笔记 MAS714（8）分治与排序
1 分治主要思想将问题分割成多个子问题(divide ) 递归地解决问题把子问题的结果合并成总问题的结果(conquer) 2 排序 2.1 插入排序假设输入是A[1...n] 2.1.1 时间 ...
ntu 课程笔记：MAS714(7) 最短路径和优先队列
DFS & BFS_UQI-LIUWJ的博客-CSDN博客中所说的图的遍历问题 1.2 naive shortest path 1.2.1 铺垫 BFS通过和源节点之间的距离,一层一层地向外 ...
NTU课程笔记 MAS714（2） Big-O notations
1 有效率的算法什么样的算法算是有效率呢? 如果一个算法的时间复杂度大于等于,那么可以认为这个算法是没有效率的原因在于,我们考虑暴力算法就是我们枚举所有可能的结果,判断他们是不是正确的答案,所有 ...
Lambda演算学习笔记
前言 blog好久没有更新了,上次更新还是4月28号.这段时间实在是很忙,4月的最后一周为了赶一篇论文,累死累活,最后在tom的帮助下总算在4月30号截稿之前完成了.4月29号的晚上一直改到了第二天凌 ...
【读书笔记】知易行难，多实践
前言: 其实,我不喜欢看书,只是喜欢找答案,想通过专业的解答来解决我生活的困惑.所以,我听了很多书,也看了很多书,但看完书,没有很多的实践,导致我并不很深入在很多时候. 分享读书笔记: <高效1 ...
【运维学习笔记】生命不息，搞事开始。。。
001生命不息,搞事不止!!! 这段时间和hexesdesu搞了很多事情! 之前是机械硬盘和固态硬盘的测速,我就在那默默的看着他一个硬盘一个机械测来测去. 坐在他后面,每天都能看到这位萌萌的小男孩,各 ...

mas714 笔记：undecidability