scheme伪代码

; (test-halt program) -> true/false
(define (forever)(forever))
(define (f)(if (test-halt f)(forever)'()))
; (test-halt (lambda () (+ 1 1))) -> true
; (test-halt forever) -> false
; (test-halt f) -> ?

js伪代码

// any programs in javascript can be represented as a function call with no arguments
function func() {// any js codereturn 1 + 1;
}function forever() {while (ture) {}
}function testHalt(f) {// if f() runs forever return false, else return truereturn true;
}// testHalt(func) -> true
// testHalt(forever) -> falsefunction f() {if (testHalt(f)) {forever();} else {return false;}
}// testHalt(f) -> ?

转载于:https://my.oschina.net/crcc/blog/812244

Halting problem相关推荐

halting problem 详解
在讲解halting problem 问题之前,我们先来看一张图和一个小故事图片: 图片来自网络,如有侵权请联系删除故事: 理发师悖论: 在一个村子里只有有一个理发师,他说他只给不给自己理发的 ...
C Halting Problem
题目链接 C Halting Problem In computability theory, the halting problem is the problem of determining, f ...
Halting Problem的讨论
有关于Halting Problem的一点点讨论 Halting Problem with no input: Halting Problem with no input: Show that giv ...
ZOJ - 4049 Halting Problem 题解【c++】
题目如下: In computability theory, the halting problem is the problem of determining, from a description ...
图灵停机问题（The Halting Problem）
不存在这样一个程序(算法),它能够计算任何程序(算法)在给定输入上是否会结束(停机). 那么,如何来证明这个停机问题呢? 反证!假设我们某一天真做出了这么一个极度聪明的万能算法(就叫God_algo吧 ...
The halting problem
转自: http://www.matrix67.com/blog/article.asp?id=62 不可解问题(Undecidable Decision Problem)指的是这样一种问题:他无论如 ...
计算机无法解决停机问题,不可解问题之停机问题（Undecidable Problem Halting Problem）...
计算机技术已运用到人类生活的方方面面,帮助人类解决各种问题.可你是否有想过,计算机是否能为人类解决所有问题呢? 假如你是一个程序猿,你已编写过很多程序.有些程序一下子就能出结果,有些程序则好久都没有显 ...
2018 青岛网络赛C题Halting Problem
判断一个指定的程序是一直运行下去还是会停止.停止好判断,就是如何判断是否会一直运行下去.当第二次到达第n步的时候,如果此时的r仍然是第一次到达第n步时候的r,那么这个程序会一直运行下去. 通过这道题还 ...
Halting Problem图灵机问题
不存在这样一个程序(算法),它能够计算任何程序(算法)在给定输入上是否会结束(停机). 那么,如何来证明这个停机问题呢? 反证!假设我们某一天真做出了这么一个极度聪明的万能算法(就叫God_algo吧 ...

Halting problem

scheme伪代码

js伪代码

Halting problem相关推荐

最新文章

热门文章