An introduction to Turing Machines as a formal model, describes the idea, discusses an examples machine recognising a^nb^nc^n.
No download links available.
