Induktionsbeweise der Korrektheit

Zusammenfassung

Hinweis für die Lehrperson Dieses Kapitel kann ohne Folgen für die Bearbeitung nachfolgender Kapitel übersprungen werden.Wenn man sich nur mit dem Automatenentwurf beschäftigen will, kann auf die formale mathematische Überprüfung der korrekten Funktionalität der endlichen Automaten verzichtet werden. Wenn man sich entscheidet, dieses Kapitel zu überspringen, empfehlen wir, mindestens den Begriff der Verifikation einzuführen und seine Wichtigkeit anzusprechen. Der Beitrag des Kapitels liegt nicht nur darin, dass man lernt, die Korrektheit der entworfenen endlichen Automaten vollständig nachzuweisen, sondern auch dass man an einfachen Beispielen die Methode der Induktion übt und sie als ein nützliches Instrument der Mathematik kennenlernt.