A Turing machine is composed of an infinite tape bounded on the left, a read-write tape head, and a finite control.
