Back Turingmaschine ALS آلة تورنغ Arabic Машына Цьюрынга Byelorussian Машына Т’юрынга BE-X-OLD Машина на Тюринг Bulgarian Turingova mašina BS Màquina de Turing Catalan مەکینەی تیورینگ CKB Turingův stroj Czech Turingmaskine Danish
| Principes |
| Computationele complexiteitstheorie |
| Modellen |
| Algoritme |
| Turingmachine |
| Lambdacalculus |
| Theorieën |
| Berekenbaarheid |
| Complexiteitsgraad |
| NP-volledig |
In de informatica is de turingmachine een model van berekening en berekenbaarheid, ontwikkeld door de wiskundige Alan M. Turing in zijn beroemde artikel On computable numbers, with an application to the Entscheidungsproblem uit 1936-37.
De turingmachine is een eenvoudig mechanisme dat symbolen manipuleert. Ondanks deze eenvoud kan men hiermee de logica van elke mogelijke computer simuleren. Hoewel technisch realiseerbaar (zo lang we willekeurige hoeveelheden band kunnen aanleveren) is deze machine niet bedoeld voor praktische computertechnologie, maar als een gedachte-experiment rond de limieten van mechanische berekeningen; ze wordt dus niet echt gebouwd.