Logotyp
Unionpedia
Kommunikation
Ladda ned på Google Play
Ny! Ladda ner Unionpedia på din Android™-enhet!
Fri
Snabbare tillgång än webbläsare!
 

Stopproblemet

Index Stopproblemet

Stopproblemet eller haltproblemet (en The Halting Problem) är ett grundläggande beslutsproblem inom beräkningsbarhetsteorin som informellt kan beskrivas så här: En annan beskrivning av problemet lyder: Alan Turing visade 1936 att en allmän algoritm för att lösa stopproblemet för samtliga (program, indata)-par inte kan existera.

8 relationer: Alan Turing, Algoritm, Beslutsproblem, Datorprogram, Funktion (programmering), Indata, Programspråk, 1936.

Alan Turing

Sir Alan Mathison Turing (IPA), OBE, FRS, född 23 juni 1912 i Maida Vale, London, död genom förgiftning den 7 juni 1954 i Wilmslow, Cheshire, var en brittisk matematiker, logiker och kryptoanalytiker.

Ny!!: Stopproblemet och Alan Turing · Se mer »

Algoritm

Flödesscheman ger en grafisk representation av algoritmer. sovjetiskt frimärke. En algoritm är, inom matematiken och datavetenskapen, en ändlig uppsättning (mängd) otvetydiga instruktioner som efter exekvering löser ett problem.

Ny!!: Stopproblemet och Algoritm · Se mer »

Beslutsproblem

Inom datavetenskapen, och särskilt komplexitetsteori är ett beslutsproblem ett beräkningsproblem som ska besvaras med ja eller nej.

Ny!!: Stopproblemet och Beslutsproblem · Se mer »

Datorprogram

editorn Geany Användargränssnitt för ett datorprogram som tillverkar grafiska figurer Ett datorprogram, även kallat dataprogram, är en serie instruktioner som styr en dator, och beskriver de operationer som datorn ska utföra, då programmet körs.

Ny!!: Stopproblemet och Datorprogram · Se mer »

Funktion (programmering)

Inom programmering är en funktion, även subrutin, procedur, metod, underprogram eller subprogram, en del av ett datorprogram som kan anropas för att utföra en viss uppgift oberoende av resten av koden.

Ny!!: Stopproblemet och Funktion (programmering) · Se mer »

Indata

Indata (stimuli) (även invärde, instorhet) är data (otolkad information, variabler) som matas in i ett system, ofta för någon typ av databehandling som producerar utdata.

Ny!!: Stopproblemet och Indata · Se mer »

Programspråk

Java. Programmet skriver ut meddelandet "Hello World!". Programspråk, eller programmeringsspråk, är ett formellt språk som en människa använder för att skapa datorprogram.

Ny!!: Stopproblemet och Programspråk · Se mer »

1936

1936 (MCMXXXVI) var ett skottår som började en onsdag i den gregorianska kalendern.

Ny!!: Stopproblemet och 1936 · Se mer »

UtgåendeInkommande
Hallå! Vi är på Facebook nu! »