Automata, Computability and Complexity: Theory & Applications

The Entscheidungsproblem

  1. Turing, Alan, “On computable numbers, with an application to the Entscheidungsproblem”.

Tilings

  1. References on tilings