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 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 inkl. dennes inddata, og så udføre dens beregninger.

Se også

• Turingtest.

Datalogi | Matematik

آلة تورنج | Машина на Тюринг | Turingova mašina | Màquina de Turing | Turingův stroj | Turingmaschine | Turing machine | Maŝino de Turing | Máquina de Turing | Turingi masin | Turingin kone | Machine de Turing | מכונת טיורינג | Turing-gép | Mesin Turing | Macchina di Turing | チューリングマシン | 튜링 기계 | Turingmaschinn | Tiuringo mašina | Turingmachine | Maszyna Turinga | Máquina de Turing | Maşină Turing | Машина Тьюринга | Turingov stroj | Turingov stroj | Тјурингова машина | Turingmaskin | เครื่องจักรทัวริง | Turing makinesi | Машина Т'юрінга | 图灵机