标签：可判定性 lang rang return 读书笔记 accept TM decide

「 图灵机识别语言是否正则 」不可判定

所有证明都偷自 《计算理论导引》(Micheal Sipser)

正则图灵机不可判定 \(REGULAR_{TM}~is~undecidable\)

\[REGULAR_{TM} = \{ \lang M \rang ~|~ L(M) ~is~regular\} \]

证明思路：假设 \(R\) 判定 \(REGULAR_{TM}\) ，构造一个 \(S\)：

\[ S~decide~A_{TM} \iff R ~ decide ~REGULAR_{TM} \]

之前判定 \(E_{TM}\) 的关键在于利用 \(R\) 消除任意 \(\lang M, w \rang\) 的所有非停机状态，而这里是一种看起来不太一样的问题规约思路

对任意输入 \(\lang M, w \rang\) ，构造 \(M_w\) ：

\[M_w = \begin{cases} accept & if~x~has~the~form~0^n1^n \\ M(w) & otherwise \end{cases} \]

注意这里 \(M\) 接收的是 \(w\)。那么 \(R\) 判定这样的 \(M_w\) 是什么结果呢？

1. 若 \(M~accpet~w\)，则 \(M_w~accept\) 所有输入 \(x\), 因此 \(L(M_w)=\Sigma^*\) 是正则语言
2. 若 \(M~doesn't~accept~w\)，那么 \(L(M_w)=0^n1^n\)，不是正则语言

所以可以将 \(M~accept~w\) 转化为 \(R~decide~M_w\):

\[R(\lang M_w\rang) = \begin{cases} accept & if~M~accept~w \\ reject & if~M~doesn't~accept~w \end{cases} \]

假设 \(C~decide~0^n1^n\) (\(C\) 显然是存在的)

bool M_w(x){
	if(C(x)) return true;
	return M(w);
}

bool S(<M,w>){
	if(R(M_w)){
		return true;
	}
	else{
		return false;
	}
}

这样就得到了一个 \(S~decide~\lang M, w \rang\)， 因而矛盾

标签：可判定性,lang,rang,return,读书笔记,accept,TM,decide
来源： https://www.cnblogs.com/human-in-human/p/15073035.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。