A Turing machine is the most stripped-down model of a computer, that still contains all of the elements of a true computer. It is a device for manipulating boolean(T/F) statements. A program defines states. Depending on the state new symbols may be written or erased and the machine may move to a different location on the tape. This framework is sufficient to produce every computer program that has **ever** been written. Every single one.