This is an amazingly well put together explanation of Turing machines.