On Approximating Real-World Halting Problems
نویسندگان
چکیده
No algorithm can of course solve the Halting Problem, that is, decide within finite time always correctly whether a given program halts on a certain given input. It might however be able to give correct answers for ‘most’ instances and thus solve it at least approximately. Whether and how well such approximations are feasible highly depends on the underlying encodings and in particular the Gödelization (programming system) which in practice usually arises from some programming language. We consider BrainF*ck (BF), a simple yet Turing-complete real-world programming language over an eight letter alphabet, and prove that the natural enumeration of its syntactically correct sources codes induces a both efficient and dense Gödelization in the sense of [Jakoby&Schindelhauer’99]. It follows that any algorithm M approximating the Halting Problem for BF errs on at least a constant fraction εM > 0 of all instances of size n for infinitely many n. Next we improve this result by showing that, in every dense Gödelization, this constant lower bound ε to be independent of M; while, the other hand, the Halting Problem does admit approximation up to arbitrary fraction δ > 0 by an appropriate algorithm Mδ handling instances of size n for infinitely many n. The last two results complement work by [Lynch’74].
منابع مشابه
Uncomputability Below the Real Halting Problem
Most of the existing work in real number computation theory concentrates on complexity issues rather than computability aspects. Though some natural problems like deciding membership in the Mandelbrot set or in the set of rational numbers are known to be undecidable in the Blum-Shub-Smale (BSS) model of computation over the reals, there has not been much work on different degrees of undecidabil...
متن کاملChaitin Ω Numbers and Halting Problems
Chaitin [G. J. Chaitin, J. Assoc. Comput. Mach., vol. 22, pp. 329–340, 1975] introduced Ω number as a concrete example of random real. The real Ω is defined as the probability that an optimal computer halts, where the optimal computer is a universal decoding algorithm used to define the notion of program-size complexity. Chaitin showed Ω to be random by discovering the property that the first n...
متن کاملChaitin Omega Numbers and Halting Problems
Chaitin [G. 1975] introduced Ω number as a concrete example of random real. The real Ω is defined as the probability that an optimal computer halts, where the optimal computer is a universal decoding algorithm used to define the notion of program-size complexity. Chaitin showed Ω to be random by discovering the property that the first n bits of the base-two expansion of Ω solve the halting prob...
متن کاملThe Extent of Correspondence between the Content of the 9th Grade Math Textbook and the Real World Issues
Education has always been one of the main concerns of human societies, but in different periods and different communities educational goals have varied. Nowadays, and especially here in Iran, the main goal of education is to prepare children for real life and its problem. More specifically, the goal in mathematics education is help students with solving real life problems using their acquired m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005