xxx
xxx
xxx
xxx
xxx
xxx
xxx
xxx
xxx
xxx
xxx
xxx
xxx
xxx

Turing Machines
Turing Thesis
Variations of Turing Machines
Universal Turing Machine
Recursive and Recusrvively Enumerable Languages
Chomsky's Hierarchy, Decidability
Decidability
The Post-Correspondence Problem
Other Models of Computation, Computational Complexity

newer:

Turing Machines
Turing Thesis, Variations of Turing Machines
Universal Turing Machines
Recursive and Recursively Enumerable Languages
Chomsky's Hierarchy, Decidability
Decidability
The Post-Correspondence Problem
Time Complexity
NP-completeness, NP-completeness