Turing machine

naam voor theoretische werktuig die eenvoudige ontvangst/verzendingsakties uitvoert gebruikt voor wiskundig bewijs

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 uiterst eenvoudig mechanisme dat symbolen manipuleert en ondanks deze eenvoud kan men hiermee de logica van elke mogelijke computer simuleren. Hoewel ze technisch realiseerbaar zijn, zijn ze niet bedoeld voor praktische computertechnologie maar als een gedachte-experiment rond de limieten van mechanische berekeningen; ze worden dus niet echt gebouwd.
Zie meer op Wikipedia.org...