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.