An introduction to Turing machines and computation

Contents Introduction Should you read this? The Turing machine The intuitive approach A mathematical approach Languages Words/Strings Languages from words Distinguishing Turing machines with respect to a language A recogniser A decider Distinguishing languages A first result Proof of Turing-recognisability A second, more exciting result Proof of non-decidability A discussion of the proof The…