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

Turingmaskin

Index Turingmaskin

En modell av Turingmaskinen En Turingmaskin är en teoretisk modell för att utföra beräkningar.

12 relationer: Alan Turing, Avgörbarhetsproblemet, Church-Turings hypotes, Deterministisk algoritm, Diskreta värden, Enigma (kryptoapparat), Princeton University, Sanning, Tes, Tupel, Turingkomplett, Turingtestet.

Alan Turing

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!!: Turingmaskin och Alan Turing · Se mer »

Avgörbarhetsproblemet

Inom matematik och datavetenskap är Avgörbarhetsproblemet eller Entscheidungsproblemet, av ty Entscheidung - beslut, en fråga som ursprungligen formulerades av David Hilbert 1928: Finns det en algoritm som tar en given utsaga inom första ordningens logik som indata (möjligen med ytterligare ett begränsat antal axiom förutom de vanliga axiomen i första ordningens logik) och svarar "Ja" eller "Nej" på frågan om den är sann för alla möjliga giltiga värden av variablerna i utsagan? Enligt Gödels fullständighetssats för första ordningens logik är en utsaga universellt giltig om och endast om den kan härledas från dess axiom, så avgörbarhetsproblemet kan också ses som frågan om huruvida en utsaga är bevisbar utifrån axiomen eller inte.

Ny!!: Turingmaskin och Avgörbarhetsproblemet · Se mer »

Church-Turings hypotes

Inom matematik och beräkningsteori innebär Church-Turings hypotes påståendet att en matematisk funktion är effektivt beräkningsbar om och endast om den kan beräknas med hjälp av en algoritm på en Turingmaskin, d.v.s. om beräkningarna kan utföras med någon annan godtycklig manuell eller mekanisk metod, så kan de också utföras av en sådan maskin.

Ny!!: Turingmaskin och Church-Turings hypotes · Se mer »

Deterministisk algoritm

En deterministisk algoritm är en algoritm som har egenskapen att den - givet samma ursprungliga tillstånd och samma inkommande parametrar - alltid kommer att genomgå samma förlopp, och detta på ett förutsägbart sätt.

Ny!!: Turingmaskin och Deterministisk algoritm · Se mer »

Diskreta värden

Diskreta värden är värden som är åtskilda från varandra till skillnad från kontinuerliga värden.

Ny!!: Turingmaskin och Diskreta värden · Se mer »

Enigma (kryptoapparat)

En tysk militär tre-rotors Enigma med (nedifrån och upp) instickskort, tangentbord, lampor och fingerskivor som sticker ut ur höljet Kryptering av två lika tecken i följd med Enigma – spänning appliceras på rotorerna och fortsätter runt reflektorerna och tillbaka till rotorerna. Bokstaven A krypteras annorlunda för var gång den används, först till G, sedan till C. Detta beror på att den högra rotorn har stegats fram och nu skickar strömmen en helt ny väg.Tre rotorskivor i rad i maskinen Sprängskiss av en rotorskiva. 1) ring med markeringar 2) kontakt för "A" 3) alfabetiskt hjul 4) anslutningsytor 5) ledningar 6) bleck 7) hävarm med fjäderbelastning 8) nav 9) fingerskiva 10) kuggkrans för spärrhake Tre rotorskivor samt den axel de monteras på i maskinenFramstegningsrörelsen hos Enigma. Alla tre framvridningsknopparna (i grönt) trycker samtidigt. Den första rotorns (1) knopp (röd) är alltid i stegningsläge och flyttar sig vid varje tangenttryckning. Här är den andra rotorns (2) knopp i stegningsläge eftersom kugge och fals är i läge; rotorn kommer att vridas vid nästa tangenttryckning. Den tredje rotorn (3) är inte i framstegningsläge; kuggen kommer bara att glida längs höljet på den skivan. Enigma var namnet på en tysk kryptoapparat under andra världskriget.

Ny!!: Turingmaskin och Enigma (kryptoapparat) · Se mer »

Princeton University

Princeton University är ett av USA:s främsta universitet.

Ny!!: Turingmaskin och Princeton University · Se mer »

Sanning

Bocca della Verità ("Sanningens mun"), som enligt medeltida sägner biter av handen på den som ljuger. Sanning är ett ord som används såväl i dagligt tal, som inom vetenskapen och inom filosofin.

Ny!!: Turingmaskin och Sanning · Se mer »

Tes

Tes, från latinets thesis, av grekiska ϑενςιı (ställande, sättande, läggande), är ett påstående eller en åsikt som kan försvaras, bevisas eller vederläggas.

Ny!!: Turingmaskin och Tes · Se mer »

Tupel

Inom matematiken är en tupel en ändlig objektsekvens, vars komponenter har var för sig en bestämd typ.

Ny!!: Turingmaskin och Tupel · Se mer »

Turingkomplett

Turingkomplett är ett begrepp som lanserades av den brittiske matematikern Alan Turing (1912–1954).

Ny!!: Turingmaskin och Turingkomplett · Se mer »

Turingtestet

Den "vanliga tolkningen" av Turingtestet, där förhörsledaren har till uppgift att försöka avgöra vilken spelare är en dator och vilken är en människa. Turingtestet är ett test av artificiell intelligens (AI), utformat av Alan Turing 1950.

Ny!!: Turingmaskin och Turingtestet · Se mer »

Omdirigerar här:

Universell Turingmaskin.

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