BuK/IIm20/Vorlesung 7 Lemke

Wiki-Quelltext dieser Seite.

== Übungsaufgabe S. 15 ==

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

Ein Entwurf eines Algorithmus:

[[Bild:Abc-TM-Algorithmus.jpg]]

Die Implementation mit einem Zustandsdiagramm:

[[Bild:Abc-TM.jpg]]

== Übungsaufgabe S. 18 ==

=== Beweis zur Kontraposition des Reduzierbarkeitssatzes ===

[[Bild:Beweis-mit-Wahrheitstafel.jpg]]