Vorlesung 7 Lemke

Aus ProgrammingWiki
Archivierte Version vom 2021-05-07T14:50:54+00:00. Aktuelle Version

Inhaltsverzeichnis

Übungsaufgabe S. 15

Teil der Reduktionsmaschine des Reduktionsalgorithmus, prüft, ob Wort Form uu hat und hinterlässt u

Ein Entwurf eines Algorithmus:

Abc-TM-Algorithmus.jpg

Die Implementation mit einem Zustandsdiagramm:

Abc-TM.jpg

Übungsaufgabe S. 18

Beweis zur Kontraposition des Reduzierbarkeitssatzes

Beweis-mit-Wahrheitstafel.jpg