-
Ariacx
@诟屍
任意输入的串包含
但却是regular language⊙▽⊙?!
牙败我滚去看第一章了x
已经弄懂啦(๑ˊ͈ ꇴ ˋ͈)ᵃʳⁱᵍᵃᵗᵒ〜♡॰ॱ -
Ariacx
我不懂的地方其实是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!
-
-
Ariacx
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......