Turing-Maschinen, Algorithmen und berechenbare Funktionen

Zusammenfassung

Es hat sich im 2. Kapitel herausgestellt, daß die Leistungsfähigkeit von endlichen Automaten und von Kellerautomaten beschränkt ist, denn wir können jeweils Sprachen angeben, die durch diese Automatentypen nicht charakterisierbar sind. Wir werden in diesem Kapitel mit der Turing-Maschine einen Automatentyp kennenlernen, dessen Leistungsfähigkeit viel weiter reicht, d. h. es ist damit eine größere Menge von Sprachen akzeptierbar als beispielsweise mit Kellerautomaten.