• Ariacx

    @诟屍
    任意输入的串包含 0n1n 0^n1^n
    但却是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

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

    发布在 计算理论讨论区 阅读更多
  • 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......

    发布在 CSAPP 讨论区 阅读更多

与 图灵班论坛 的连接断开,我们正在尝试重连,请耐心等待