古董笔记
https://ariacx.me/2017/08/30/CSAPP/attack/
https://ariacx.me/2017/11/11/CSAPP/linker/
https://ariacx.me/2018/03/21/CSAPP/shell/

@诟屍
任意输入的串包含 $0^n1^n$
但却是regular language⊙▽⊙？！
牙败我滚去看第一章了x
已经弄懂啦(๑ˊ͈ ꇴ ˋ͈)ᵃʳⁱᵍᵃᵗᵒ〜♡॰ॱ

我不懂的地方其实是M2的构造代码为什么能有你引用的那句话的特性

论证的顺序（大概qwq）
我们要decide M 是否能 accept w
利用假设的REGULAR，把判断M accept w的问题转换成L(M2)是否是regular language上；

那么我们要构造的M2要有这样的特点：
如果M accept w，则L(M2)就是regular language， 然后就可以被REGULAR decide (accept)
如果M reject/loop on w，则L(M2)是nonregular language，然后就可以被REGULAR decide (reject)
这样通过REGULAR构造出的S对所有的w都能accept或reject，则出现了S decidable 的悖论

.
介里...

不管M是否accept w, 只要M2是regular的, S就accept.

M2是不是regular的, 和M是不是accept w之间有关系
M2是根据M构造出来的，M2会“recognize哪一种language”是和“M输入w的结果”挂钩的（其实就是你不懂的那句话OAO?）

.

M2是regular的, 如果M reject w, 那么M2识别的就是空语言

qwq这里看不懂qwqqwqqwq

(ごめん...我也是不是特别懂...还请指正qwq！

好巧...我也刚好卡在这里（逃

phase4
弱弱的问一下这三个有什么区别吗......

00000000004019a0 <addval_273>:
  4019a0:	8d 87 48 89 c7 c3    	lea    -0x3c3876b8(%rdi),%eax
  4019a6:	c3                   	retq   

00000000004019ae <setval_237>:
  4019ae:	c7 07 48 89 c7 c7    	movl   $0xc7c78948,(%rdi)
  4019b4:	c3                   	retq   

00000000004019c3 <setval_426>:
  4019c3:	c7 07 48 89 c7 90    	movl   $0x90c78948,(%rdi)
  4019c9:	c3                   	retq   

调用273和426都可以....
但237好像ret去了别的函数（424）
是我弄错了吗qwq......