Logotyp
Unionpedia
Kommunikation
Ladda ned på Google Play
Ny! Ladda ner Unionpedia på din Android™-enhet!
Ladda ner
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.

19 relationer: Alan Turing, Andra världskriget, Avgörbarhetsproblemet, Church-Turings hypotes, Delmängd, Deterministisk algoritm, Diskreta värden, Enigma (kryptoapparat), Indata, Kryptoanalys, London, Matematiker, Oändlighet, Princeton University, Sanning, Tes, Tupel, Turingkomplett, Turingtestet.

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

Andra världskriget

Andra världskriget var en väpnad konflikt som pågick från hösten 1939 till hösten 1945, med inledande konflikter redan 1938 och tidigare, och involverade de flesta av världens nationer, inklusive alla stormakter, vilka till slut bildade två motsatta militärallianser: de allierade, ledda av Storbritannien, vilka stod mot axelmakterna, ledda av Nazityskland.

Ny!!: Turingmaskin och Andra världskriget · Se mer »

Avgörbarhetsproblemet

Inom matematik och datavetenskap är Avgörbarhetsproblemet eller Entscheidungsproblemet (av tyskans Entscheidung 'beslut') en fråga som ursprungligen formulerades av David Hilbert 1928: 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 »

Delmängd

Inom mängdteorin är en mängd A en delmängd av en mängd B om alla element som ingår i A även ingår i B. Detta skrivs.

Ny!!: Turingmaskin och Delmängd · 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 »

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

Kryptoanalys

Kryptoanalys är en delvetenskap av kryptologin som studerar hur man kan forcera krypton, utan tillgång till kodnyckeln.

Ny!!: Turingmaskin och Kryptoanalys · Se mer »

London

London är huvudstad i Storbritannien och (de facto) i riksdelen England.

Ny!!: Turingmaskin och London · Se mer »

Matematiker

Emmy Noether (1882−1935), tysk matematiker. En matematiker är en person som gjort viktiga matematiska upptäckter eller på yrkesmässig basis sysslar med matematik, vanligen matematisk forskning, matematisk undervisning eller tillämpad matematik.

Ny!!: Turingmaskin och Matematiker · Se mer »

Oändlighet

Oändlig tid. Oändlighet är ett begrepp för obegränsning och obundenhet i storlek, antal eller utsträckning.

Ny!!: Turingmaskin och Oändlighet · 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 enligt vanligt tänkesätt en uppfattnings överensstämmelse med dess föremål, eller yttrande eller tanke som överensstämmer med verkligheten.

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! »