universell Turingmaskin

en Turingmaskin som kan ersätta alla andra Turing­maskiner. Eftersom en Turing­maskin närmast motsvarar ett dator­program är en universell Turing­maskin en maskin som kan ersätta alla dator­program. Den mot­svarar därför vad vi kallar en dator. När man talar om ”Turingmaskiner” menar man ofta universella Turing­maskiner, men det är alltså skillnad. (Observera att Turingmaskiner är teoretiska konstruktioner – det finns inga praktiskt användbara Turingmaskiner, så som de beskrevs av Alan Turing, utom för mycket enkla operationer.)

[datorvetenskap] [ändrad 6 juni 2017]

Dagens ord: 2017-12-21