Turingmaskin

Fra Wikipedia, den frie encyklopedi
Hopp til: navigasjon, søk
En turingmaskin er en formelt beskrevet, universell datamaskin

En turingmaskin er en tenkt, formelt beskrevet maskin som utfører ordre etter en helt bestemt oppskrift eller en tabell. Maskinen er en idealisert og formell beskrivelse av en datamaskin, og hvilke beregninger eller oppgaver en datamaskin kan utføre. Maskinen er idealisert i den forstand at den har uendelig stor lagringsplass (hukommelse), og den gjør aldri feil på grunn av sine fysiske mekanismer. Det var Alan Turing som først beskrev en slik maskin i sin avhandling On Computable Numbers i 1936.

En turingmaskin består av et lese/skrive-hode som kan lese/skrive tegn fra/til ruter på en papirstrimmel. Maskinen har mange, men et endelig antall tilstander som beskriver hva som skal gjøres når et bestemt tegn leses. For hvert tegn som leses, gjøres to ting: maskinen skriver eventuelt et nytt tegn til strimmelen, og endrer tilstanden. Maskinen har en start-tilstand og en slutt-tilstand. «Resultatet» av beregningene står til slutt på strimmelen.

Alan Turing brukte en formell beskrivelse av en slik maskin for å bevise setninger innen matematikken. Siden har interessen rundt hans abstrakte maskiner (de ble først senere kalt turingmaskiner) vokst i forbindelse med fremveksten av datamaskiner, og hva datamaskiner egentlig kan utføre av beregninger. Det ser ut til at ingen maskin kan være «kraftigere» enn en turingmaskin i den forstand at ingen annen maskin kan utføre oppgaver som ikke også turingmaskinen klarer.

Formell definisjon[rediger | rediger kilde]

Det er flere måter å definere turingmaskiner på, typiske forskjeller handler om hvor mange teiper maskinen har og om teipen skal være uendelig begge veier, eller bare en vei. Det som er fint, er at disse forskjellene ikke har noe å si for hva turingmaskinen greier å beregne. Følgelig kan man velge den definisjonen av turingmaskiner som man selv finner mest passende.

Her gis en formell definisjon av en turingmaskin med èn teip, og hvor teipen er uendelig begge veier. En turingmaskin kan defineres som et 7-tuppel hvor

  • er en endelig, ikke-tom mengde tilstander,
  • er input-alfabet, som ikke inneholder det blanke symbolet ,
  • er tape-alfabetet, som inneholder det blanke symbolet, og ,
  • er transisjonsfunksjonen,
  • er starttilstanden,
  • er den akspeterende tilstanden, og
  • er den avvisende tilstanden, hvor .


Man tenker seg en turingmaskin som en endelig tilstandsmaskin som manipulerer en teip. Tilstanden til en turingmaskin kan dermed representeres ved å huske følgende: tilstanden til den endlige tilstandmaskinen, innholdet på teipen og lokasjonen til lese/skrive-hodet. Dette kan representeres som et tretuppel , hvor maskinen står i tilstand , og og representerer innholdet på teipen til henholds vis venstre og høyre side av lesehodet (det første elementet i er hva lesehodet peker på). Merk at strengene og er endelige, de teip-lokasjonene som ikke blir gitt av dem er antatt å være blanke (). Et slikt tuppel kalles en konfigurasjon.


Det er nå mulig å definere hvordan er turingmaskin beregner som en relasjon , hvor og er konfigurasjoner. Inuitivt betyr at hvis en tilstandsmaskin står i tilstanden , så kan den i ett steg gå til tilstanden .

Formellt kan dette defineres som: Gitt , og , hvor og . Så er det slik at:

  • Hvis , så holder .
  • Hvis , så holder .

Formålet med funksjonen er å legge til blanke symboler hvis man beveger seg «utenfor» teipen. Funksjonen kan defineres som

hvor er den tomme strengen.

Det er nå mulig å definere språket til en turingmaskin. Intuitivt er det de ordene som turingmaskinen godtar. Dette kan defineres formelt som hvor , og er den refleksiv, transitive tillukningen av .


Kilder[rediger | rediger kilde]

  • Turing, A.M. (1936), «On Computable Numbers, with an Application to the Entscheidungsproblem», Proceedings of the London Mathematical Society, 2 42: 230–65, 1937  (and Turing, A.M. (1937), «On Computable Numbers, with an Application to the Entscheidungsproblem: A correction», Proceedings of the London Mathematical Society, 2 43: 544–6 ). Reprinted in many collections, e.g. in The Undecidable pp.115–154; available on the web in many places, e.g. at Scribd.