Theoretische und technische Informatik - ganz praktisch - Letzte Fragen & Antworten in Band I, Kapitel 1

Beantwortet: Übungsbuch Band 2 Aufgabe 7b

Tue, 29 Jan 2019 21:25:52 +0000

Hallo,

unser Endzustand ist S11. Du hast recht, dass man von S11 wieder zu S00 kommt, aber sobald das der Fall ist und wir uns wieder in S00 befinden, befinden wir uns nicht mehr in einem Endzustand.

Ein regulärer Ausdruck muss gerade so definiert sein, dass die Sprache durch einen Term aus Elementen definierter Basismengen und Operationen beschrieben wird (siehe Kapitel 1, Klassifizierung formaler Systeme). Wenn wir allerdings beim entsprechenden Automaten (Teilaufgabe a) nicht im Endzustand sind, nachdem ein Wort vollständig geprüft wurde, heißt das gerade, dass das Wort nicht Teil der Sprache ist.

Um also deine Frage zu beantworten: nein, es gehört kein * um den gesamten Ausdruck, da damit auch Wörter zugelassen würden, die nicht Teil der Sprache sind.

Ich hoffe, das hilft beim Verständnis der Frage.

Viele Grüße,

Nayeli (Tutorin)

Beantwortet: Aufgabe: END-AU gleiche Eingabe

Tue, 02 Jan 2018 07:56:43 +0000

Hallo,

bei Mealy-Automaten steht ein Eingabezeichen e vor einem Ausgabezeichen a an jeder Kante, weshalb man beide hinschreiben muss.

Gruß

Alex (Tutor)

Wahrheitstabelle bitserielle Subtraktion

Wed, 12 Jul 2017 11:39:52 +0000

Hallo,

mir ist noch nicht ganz klar, wie man in der Lösung mithilfe der Spalten a, b und c der Tabelle auf die beiden Spalten d und c' kommt.

Zur bitseriellen Addition steht in den Vorlesungsfolien, dass sich das Ergebnisbit der Addition über die XOR-Funktion bestimmen lässt (Bei einer ungeraden Anzahl der in die Addition eingehenden 1en ist das Ergebnisbit 1.) und für das Übertragsbit ist ebenfalls ein geschlossener Ausdruck angegeben (Wenn mindestens zwei oder mehr 1en [Summanden bzw. Übertragsbit aus verheriger Rechnung] in die Addition eingehen, dann ist der neue Übertrag 1).

Im Internet habe ich gelesen, dass sich das Ergebnisbit der bitseriellen Subtraktion genau wie bei dir Addition über die XOR-Funktion bestimmen lassen soll. Das würde in diesem Fall funktionieren. Ist das allgemein richtig? Und wie kann ich anhand der Parameter a, b und c in einem Ausdruck auf das neue Übertragsbit c' kommen?

Vielen Dank im Voraus und viele Grüße!

Beantwortet: Moore-Automat in Mealy-Automat umwandeln

Tue, 31 Jan 2017 15:41:21 +0000

Hallo,

der Moore-Automat gibt die Ausgabe von s0 erst beim Lesen des ersten Buchstabens des Wortes aus und nicht bereits im Anfangszustand. In diesem Beispiel wird also erst ein a ausgegeben, sobald das erste c eingelesen wird. Deshalb sind die beiden Automaten äquivalent.

Beantwortet: Wo finde ich die Zusammenfassung für dieses Kapitel?

Sun, 24 Jan 2016 23:07:48 +0000

Hallo,

wenn du dir das Buch über die KIT-Bibliothek herunterlädst, erhältst du neben den Aufgaben auch die Kapitelzusammenfassungen.

Viele Grüße

Sandra (Tutor)