Versionen fra 31. mar. 2006, 17:46 redigér Byrial (diskussion \| bidrag) Patruljanter 16.531 edits Omskrevet og udvidet stub lidt. Introducerer begreberne specifik/universel TM ← Gå til forrige forskel		Versionen fra 31. mar. 2006, 17:47 redigér fjern redigering Byrial (diskussion \| bidrag) Patruljanter 16.531 edits m Typo Gå til næste forskel →
Linje 1: 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 beskrevet af [[Alan Turing]] i [[1936]]. De spiller en central rolle inden for [[datalogi]]en i teorierne vedrørende [[beregnelighed]] og [[kompleksitetsteori\|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 '''''~~universal~~universel turingmaskine''''' som kan læse en kodet beskrivelse af en vilkårlig turingmaskine inkl. dennes inddata, og så udføre dens beregninger.

Turingmaskine: Forskelle mellem versioner