Turing Machines and Computability

The Turing Machine Halting Problem, by Brent Morgan

Computability, turing machines and lambda calculus

Turing: thesis, machine, completeness :: Vorakl's notes

PDF] Computability of the entropy of one-tape Turing machines

computation theory - How exactly do macros in a Turing Machine work? - Stack Overflow

L10b: Models of Computation

PDF] Universal Turing Machine and Computability Theory in Isabelle/HOL

turing machines - What do people mean they say set of all programs in computability theory? - Computer Science Stack Exchange

computability - Turing machine for unary subtraction $m-n$. If $m

Review of: Turing Computability: Theory and Applications by Robert Soare: ACM SIGACT News: Vol 47, No 4

L10b: Models of Computation

Computability Dr. Colin Campbell Course Element 2 (EMAT20531) - ppt download

PDF) On the Coding of a Turing Machines and Non - Recursive Languages

PPT - Turing Machines PowerPoint Presentation, free download - ID:3602718