Automata, Computability and Complexity: Theory & Applications

Background on Turing, Church, and Their Groundbreaking Work

The Lambda Calculus

Post (or Tag) Machines

Post Production Systems

Markov Algorithms

Conway’s Game of Life

One-Dimensional Cellular Automata

DNA (and other sorts of biological) Computing