Turing Machine

A theoretical model of computation that defines what computers can do.