Theoretische und technische Informatik - ganz praktisch - Letzte Fragen & Antworten in AU-2-1

Beantwortet: Frage zur Übung 2 :Reguläre Ausdrücke : Au-2-2:

Thu, 06 Jan 2022 09:57:47 +0000

Hallo uqyws,

nein, das ist keine Lösung dafür, da mit diesem a4 immer genau drei 1en im Wort wären. Zur Sprache gehören aber alle Wörter mit <=3 1en zb. auch 0010.

Viel Erfolg weiterhin und viele Grüße

Anne (Tutorin)

Beantwortet: AU-2-2 - Reguläre Ausdrücke

Thu, 07 Feb 2019 09:51:33 +0000

Hallo,

dein regulärer Ausdruck ist nicht ganz korrekt. Der Anfang stimmt, aber am Ende des Wortes kann es noch beliebig viele Nullen geben. Wenn du am Ende noch 0* schreibst ist ein Ausdruck auch richtig und kann so geschrieben werden.

Viele Grüße
Anne (Tutor)

Beantwortet: Reguläre Ausdrücke zusammenfassen?

Fri, 05 Jan 2018 17:38:44 +0000

Hallo,

die von dir angegebene Lösung ist leider nicht ganz richtig. Du könntest die Musterlösung auch so umschreiben:

(1+00) (01+000+ 00)*

Das Sternchen darf allerdings nicht in die Klammer gezogen werden, da somit nur eine der Folgen in der Klammer, also (01), (000) oder (00) beliebig oft ausgeführt werden könnte. In der Musterlösung kannst du aber jede der Folgen in jeglicher Kombination beliebig oft ausführen. Somit fehlt bei deiner Lösung die Möglichkeit, z.B. das Wort 101000 zu akzeptieren, obwohl dies vom Automaten akzeptiert wird.

Genrell gilt aber, dass reguläre Ausdrücke nicht vereinfacht werden müssen.

(1+00) (01+000+ 00)* ist also genau so richtig, wie (1+00) (0(1 + 00 + 0))*.

Ich hoffe, ich konnte dir damit weiterhelfen.

Liebe Grüße

Laura (Tutor)

Beantwortet: Können sie die Lösungen zu Aufgabenblatt hochladen?

Mon, 30 Nov 2015 10:43:46 +0000

Ist geschehen. Entschuldigen Sie bitte die Verzögerung!

Beantwortet: Übersicht alternativer Lösungsvorschläge aus dem alten ILIAS-Forum: b)

Wed, 16 Sep 2015 12:55:36 +0000

Kann jemand etwas zu meiner Lösung des regulären Ausdrucks für b) sagen: (00+1)((01)*+0*1)*

Beantwortet: b): Warum sind s1,s2 und s6 Endzustände?

Wed, 16 Sep 2015 12:51:46 +0000

Hallo,

Ein Zustand deines deterministischen Automaten ist ein Endzustand, wenn in der äquivalenten Zustandsmenge des nichtdeterministischen Automaten ein Endzustand vorkommt.

s6' = { s1, s2} da s1 im nichtdeterministischen Automaten ein Endzustand ist, ist s6' im deterministischen Automaten Endzustand.

Gruß, Lorena (Tutorin)

Beantwortet: b) Warum sind die Zustände nicht fortlaufend nummeriert?

Wed, 16 Sep 2015 12:49:47 +0000

Hallo,

dann tue ich mal mein Bestes, um diese Klarheit auch noch zu beseitigen ;-)

Wenn ich das richtig verstehe, beziehen Sie sich darauf, dass in der Tabelle die Zustände des deterministischen Automaten von oben nach unten nicht fortlaufend von s'0 bis s'6 durchnummeriert sind. Die Benennung ist schlicht egal, deswegen haben wir hier darauf nicht weiter geachtet. Ein bisschen schöner wäre es, da stimme ich Ihnen zu, wenn es fortlaufend nummeriert wäre - ich werde versuchen, unseren Algorithmus in der Hinsicht anzupassen, kann aber nicht versprechen, dass das zeitnah möglich sein wird. Merken Sie sich einfach, dass die Benennung völlig willkürlich ist.

Viele Grüße

Lukas König (Übungsleiter)

Beantwortet: a): Wie sieht die Übergangstabelle des nichtdeterministischen Automaten aus?

Wed, 16 Sep 2015 12:39:45 +0000

Hallo,

wenn du dir die Musterlösung zu der Aufgabe anschaust, siehst du, dass der reine Zustand {b} gar nicht in der Tabelle vorkommt. Beim Erstellen der Übergangstabelle nimmst du ja auch nur die Zustände auf, die du auch wirklich erreichen kannst. Beispielsweise bist du dir bei der Eingabe einer 1 im Zustand a nie sicher, ob du danach im Zustand a oder Zustand b landest. Deshalb wird als neuer Zustand {a,b} definiert.

In der Teilaufgabe b) siehst du jetzt, was passiert, wenn ein Übergang aus einem Zustand gar nicht definiert ist: Es wird ein Sackgassenzustand eingeführt (Symbol: Leere Menge), aus dem man nicht mehr raus kommt, also bei Eingabe von 0 und 1 wieder auf sich selbst zeigt. Dieser Zustand muss auf jeden Fall in der Übergangstabelle und in dem neuen deterministischen Automaten definiert werden!

Gruß

Lukas (Tutor)