Turing Machines

Tilings and Symbolic Dynamics

Matrix groups and Quantum Computation