タグ

関連タグで絞り込む (2)

タグの絞り込みを解除

turingに関するmanabouのブックマーク (1)

  • セミコロンレスJava はチューリング完全か? - プログラマーの脳みそ

    セミコロンレスJava (Semicolonless Java)というのは Java でセミコロンを使わずにコードを書くというチャレンジである。ネタであり言語の構文を駆使して行うプログラミングパズルの類の遊びである。(ときどき気にしてその有用性について聞いてくる人がいるので、この冗談がどういう冗談でどう面白いのかの解説のような無粋なことを書いている) ところで、セミコロンを使わずともJavaはチューリング完全なのであろうか? 証明方法 チューリング完全であるという証明は、すでにチューリング完全であることが知られている体系を該当環境で実装することで行うのが簡単な方法論である。 Brainf*ck といったチューリング完全な簡易プログラミング言語を実装するとか、チューリング完全であることが知られているライフゲームを実装するとかが考えられる。 今回は、ライフゲームの1次元版とも言える、1次元セ

    セミコロンレスJava はチューリング完全か? - プログラマーの脳みそ
  • 1