In diesem Kapitel lernen wir die entscheidbaren Sprachen kennen und stellen mit der Turingmaschine das dazugehörige Rechenmodell vor. Die Turingmaschine ist das Modell, welches einen idealisierten Rechner nachbildet. Turingmaschinenprogramme(also konkrete Realisierungen von Turingmaschinen) sind genauso mächtig wie Programme in typischen Programmiersprachen wie zum Beispiel C, Java oder Python.