Przedstawiona zostanie idea i definicja maszyny Turinga. Zaprezentowana zostanie przykładowa maszyna oraz cechy, które czynią ją niezwykłą pośród innych modeli obliczeń.