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. Turingmaskiner blev først beskrevet af Alan Turing i 1936. De spiller en central rolle inden for datalogien i teorierne vedrørende beregnelighed og beregningers kompleksitet og generelt i matematisk logik.
En Turingmaskine kan være en specifik Turingmaskine som er konstrueret til at løse et bestemt problem, eller det kan være en universel Turingmaskine som kan læse en kodet beskrivelse af en vilkårlig Turingmaskine og dennes inputdata, og derefter udføre dens beregninger.
Uformel beskrivelse
[redigér | rediger kildetekst]Turingmaskinens koncept er baseret på ideen om, at en person udfører en veldefineret procedure, ved at ændre på indholdet af et uendeligt bånd, der er inddelt i kvadrater, som hver kan indeholde ét ud af en endelig mængde symboler. Personen skal huske én ud af en endelig mængde af tilstande, og proceduren er formuleret som meget basale skridt på formen: "Hvis din tilstand er 42 og symbolet du ser er et '0', så udskift dette med et '1', ryk et symbol til højre på båndet, og som din nye tilstand; gå i tilstand 17."
Mere præcist består en Turingmaskine af:
- Et BÅND som er inddelt i celler på en række. Hver celle indeholder et symbol fra et endeligt alfabet. Alfabetet indeholder et specielt blank-symbol og et eller flere andre symboler. Celler som endnu ikke er tilskrevet noget, forudsættes at indeholde det blanke symbol.
- Et HOVED som kan læse og skrive symboler på båndet og rykke sig til højre og venstre på båndet, en celle af gangen.
- En TABEL
- Et tilstandsregister
Bemærk at enhver del af maskinen -- dens tilstands- og symbolmængde -- dens mulige skridt -- skrivning, sletning og bevægelse af hoved -- er endelig, diskret og skelnelig; det er det uendelige bånd som giver den en ubegrænset mængde lagerplads.
Formel definition
[redigér | rediger kildetekst]En Turingmaskine er en 7-tuple , hvor er endelige mængder.
- er mængden af tilstande,
- er inputalfabetet, uden det specielle blanke symbol .
- er båndalfabetet, og ,
- er transitionsfunktionen,
- er starttilstanden,
- er accepttilstanden, og
- er den afvisende tilstand,
Se også
[redigér | rediger kildetekst]- Flerbånds-Turingmaskine
- Nondeterministisk Turingmaskine
- Turingtest
- Enumerator
- Church-Turing-tesen
- Turing-komplet
- Halting-problemet
- Beregnelighed
![]() | Spire Denne artikel om datalogi eller et datalogi-relateret emne er en spire som bør udbygges. Du er velkommen til at hjælpe Wikipedia ved at udvide den. |
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.