Conversation

Notices

1. まちカドおるみん御嬢様 (orumin@mstdn.maud.io)'s status on Tuesday, 17-Aug-2021 00:42:15 JST まちカドおるみん御嬢様

   増えてしまうも何ももう数年前からとっくに turing complete だった気がする

   • コロコロコロ助 (naota344@social.mikutter.hachune.net)'s status on Tuesday, 17-Aug-2021 00:43:23 JST コロコロコロ助

     in reply to

     @orumin ループできないぴよ

   • まちカドおるみん御嬢様 (orumin@mstdn.maud.io)'s status on Tuesday, 17-Aug-2021 00:43:23 JST まちカドおるみん御嬢様

     in reply to

     • コロコロコロ助

     @naota344 あれ、バイトコードフォーマットに関しては turing complete な表現力持ってるってどこかで読んだ気がしてきてた

   • コロコロコロ助 (naota344@social.mikutter.hachune.net)'s status on Tuesday, 17-Aug-2021 00:47:55 JST コロコロコロ助

     in reply to

     @orumin たし蟹アレはruntime checkなのでそうっぽい。というか、結局back jumpできればそれでいいので・・・うむ・・・

   • まちカドおるみん御嬢様 (orumin@mstdn.maud.io)'s status on Tuesday, 17-Aug-2021 00:47:55 JST まちカドおるみん御嬢様

     in reply to

     • コロコロコロ助

     @naota344 仕様上 turing complete ではあるけれど現実的には Linux kernel 内の check でそのようなコードは動作しないので事実上 turing complete ではない、みたいな感じに考えれば良いのかしら。