Das 2. Übungsblatt ist seit heute morgen im Portal und auf der Vorlesungsseite verfügbar. In meiner eben gerade hochgeladenen Version sind lediglich ein paar Rechtschreibfehler korrigiert.

Für die letzte Aufgabe auf dem Blatt gibt es 4 Punkte, was aber nicht bedeutet, dass der Beweis sehr lang ist. Dieser lässt sich im Grunde mit ein paar Sätzen und vielleicht noch einer Zeichnung zur Veranschaulichung durchführen. Voraussetzung ist allerdings, dass man den Beweis aus der Vorlesung voll verstanden hat, um den Beweis auf dem Blatt ebenso zu machen. Daher die 4 Punkte, weil das Nacharbeiten des Vorlesungsbeweises vielleicht etwas aufwändiger sein kann.

Bei Fragen einfach wieder hier posten!

Viele Grüße,
Linus

Bei Aufgabe 2. mussten wir einen Produktautomaten basteln. Für uns ist es jedoch nicht ersichtlich, in wiefern dieser Automat eine Antwort auf Aequivalenz geben soll, bzw. diesen Check vereinfacht. Aus den Folien war das leider nicht so ganz ersichtlich.

Bei der Erstellung des Produktautomaten schreibt man für jeden Zustandsübergang als Ausgangswert eine 1, wenn die beiden Ursprungsautomaten beim entsprechenden Übergang den gleichen Ausgangswert haben, und eine 0, wenn diese unterschiedlich sind. Wenn der fertige Produktautomat also keine Zustandsübergänge mit Ausgangswert 0 hat, weiß man, dass die beiden Ursprungsautomaten äquivalent sind.

Ist die Frage damit beantwortet? Wenn etwas aus den Folien nicht mehr ersichtlich ist, wären auch die electures-Aufzeichnungen der vergangenen Semester zu empfehlen.

Viele Grüße,
Linus

Jep, jetzt ist es uns klar! Vielen Dank!

Viele Gruesse
Raphael