Find link

language:

Find link is a tool written by Edward Betts.

searching for Halting problem 15 found (478 total)

GTK Scene Graph Kit (1,152 words) [view diff] case mismatch in snippet view article find links to article

(2014-07-29). "The GTK+ Scene Graph Kit". Bassi, Emmanuele (2014-07-30). "Halting Problem – Future in the Past". "2014 Developer Experience Hackfest: A scene

Joel David Hamkins (1,791 words) [view diff] exact match in snippet view article find links to article

computability work, Hamkins and Miasnikov proved that the classical halting problem for Turing machines, although undecidable, is nevertheless decidable

Nqthm (847 words) [view diff] exact match in snippet view article find links to article

invertibility of the RSA encryption algorithm (1984) unsolvability of the halting problem for Pure Lisp (1985) FM8501 microprocessor (Warren Hunt) (1986) Gödel's

Normal form (abstract rewriting) (1,284 words) [view diff] exact match in snippet view article

property cannot be Turing complete, otherwise one could solve the halting problem by seeing if the program type checks. This means that there are computable

Operator (computer programming) (1,147 words) [view diff] exact match in snippet view article

Turing-complete, so even constructing the syntax tree may require solving the halting problem, which is impossible. This occurs for Perl, for example, and some dialects

Gérard Huet (1,136 words) [view diff] case mismatch in snippet view article find links to article

S2CID 27669838. Gérard Huet, D.S. Lankford (Mar 1978). On the Uniform Halting Problem for Term Rewriting Systems (PDF) (Technical report). IRIA. p. 8. 283

Cristian Calude (1,311 words) [view diff] exact match in snippet view article find links to article

Monica (7 June 2018). "A probabilistic anytime algorithm for the halting problem". Computability. 7 (2–3): 259–271. doi:10.3233/COM-170073. Calude,

Military robot (2,430 words) [view diff] case mismatch in snippet view article find links to article

Consequences to Lethal Autonomous Weapons. Also discussed in: Does the Halting Problem Mean No Moral Robots? Robots in War: Issues of Risk and Ethics - 2009

Meta-circular evaluator (1,945 words) [view diff] exact match in snippet view article find links to article

normalizing cannot be Turing complete, otherwise one could solve the halting problem by seeing if the program type-checks. That means that there are computable

Average-case complexity (2,834 words) [view diff] case mismatch in snippet view article find links to article

to (L′, D′). An example of a distNP-complete problem is the Bounded Halting Problem, (BH,D) (for any P-computable D) defined as follows: B H = { ( M ,

Rewriting (4,424 words) [view diff] case mismatch in snippet view article find links to article

1016/0304-3975(92)90022-8. Gerard Huet, D.S. Lankford (Mar 1978). On the Uniform Halting Problem for Term Rewriting Systems (PDF) (Technical report). IRIA. p. 8. 283

Sheri Markose (1,187 words) [view diff] case mismatch in snippet view article find links to article

Self-referential basis of undecidable dynamics: from The Liar Paradox and The Halting Problem to The Edge of Chaos, Mikhail Prokopenko, Michael Harré, Joseph Lizier

GNOME 1 (1,217 words) [view diff] exact match in snippet view article find links to article

com. Retrieved March 24, 2022. Bassi, Emmanuele (October 25, 2018). "halting problem :: Episode 1.1: GNOME". Retrieved March 24, 2022. "Interview with International

Turing machine equivalents (2,667 words) [view diff] case mismatch in snippet view article find links to article

Inc., N.J., 1967. See Chapter 8, Section 8.2 "Unsolvability of the Halting Problem." Pippenger, Nicholas; Fischer, Michael J. (1979), "Relations Among

X-machine (2,547 words) [view diff] case mismatch in snippet view article find links to article

COLING 2012, pp 1011–1028 [2] M. Stannett (1990) 'X-machines and the Halting Problem: Building a super-Turing machine'. Formal Aspects of Computing 2, pp