A Turing Machine is an abstract computational device described by Alan Turing which are meant to help with investigating the extent and limitations of what can be computed.

Turing Machine He made it with the intention of solving the Entscheidungsproblem.