Halting-problemet

Halting-problemet er et problem indenfor komputabilitetsteori.

3 relationer: Beregnelighed, Turing-ækvivalens, Turingmaskine.

Beregnelighed

Beregnelighed (også kaldet komputabilitetsteori) er et emne indenfor diskret matematik, som handler om om en givet funktion kan komputeres (beregnes) af en givet maskine (ofte Turing-maskinen).

Ny!!: Halting-problemet og Beregnelighed · Se mere »

Turing-ækvivalens

Et Turing-ækvivalent system er et system som er ækvivalent med en Turing-maskine.

Ny!!: Halting-problemet og Turing-ækvivalens · Se mere »

Turingmaskine

En Turingmaskine er en matematisk model for en simpel symbolmanipulerende maskine som trods sin enkle opbygning kan udføre ikke-trivielle beregninger og simulere logikken i enhver computer.

Ny!!: Halting-problemet og Turingmaskine · Se mere »

Unionpedia er et koncept kort eller semantisk netværk organiseret som et leksikon eller ordbog. Det giver en kort definition af hver koncept og dets relationer.

Dette er en kæmpe online mental kort, der tjener som grundlag for koncept diagrammer. Det er gratis at bruge og hver artikel eller et dokument kan downloades. Det er et værktøj, ressource eller reference for studier, forskning, uddannelse, læring eller undervisning, der kan bruges af lærere, pædagoger, elever eller studerende; for den akademiske verden: til skole, primær, sekundær, gymnasium, midten, college, teknisk grad, gymnasium, universitet, bachelor, kandidat- eller ph.d.-grader; til papirer, rapporter, projekter, ideer, dokumentation, undersøgelser, resuméer, eller speciale. Her er definitionen, forklaring, beskrivelse, eller betydningen af hver væsentlig, som du har brug for information, og en liste over deres tilknyttede begreber som en ordliste. Fås i Dansk, Engelsk, Spansk, Portugisisk, Japansk, Kinesisk, Fransk, Tysk, Italiensk, Polere, Hollandsk, Russisk, Arabisk, Hindi, Svensk, Ukrainsk, Ungarsk, Catalansk, Tjekkisk, Hebraisk, Finsk, Indonesisk, Norwegian, rumænsk, tyrkisk, vietnamesisk, koreansk, thai, græsk, bulgarsk, kroatisk, slovakisk, litauisk, filippinsk, lettisk, estisk og slovensk. Flere sprog snart.

Alle oplysninger blev ekstraheret fra Wikipedia, og den er tilgængelig under Creative Commons Navngivelse/Del på samme vilkår 3.0.

Unionpedia er ikke godkendt af eller tilknyttet Wikimedia Foundation.

Google Play, Android og Google Play-logoet er varemærker tilhørende Google Inc.

Fortrolighedspolitik