7. Automaten

7.1. Einführung



7.2. Touring-Maschine



7.3. Halteproblem



7.4. Entscheidungsproblem



7.5. Berechenbarkeit



Voriges Kapitel: 6. ANSI-Steuersequenzen