Theoretische und technische Informatik - ganz praktisch - Letzte Aktivität in AU-2-1

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

Thu, 06 Jan 2022 10:10:36 +0000

Alles Klar
Vielen Dank

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)

Antwort ausgewählt: Können sie die Lösungen zu Aufgabenblatt hochladen?

Thu, 10 Dec 2015 08:17:51 +0000

Ist geschehen. Entschuldigen Sie bitte die Verzögerung!

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

Wed, 16 Sep 2015 12:56:33 +0000

Abgesehen von dem 0*1 Teil ist es schon mal korrekt, so wie es da steht könntest du aber z.B. 101 machen, was ja nicht geht. Oder anders gesagt: es sind nicht beliebig viele Nullen sondern entweder ein vielfaches von zwei oder drei, danach dann keine Eins mehr. Versuch also den Teil noch zu verbessern!

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)

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

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

Hallo,

bei der Übergangsfunktion des nichtdeterministischen Automaten bei Teilaufgabe a) ist für Zustand b nicht definiert, was bei der Eingabe einer 0 passiert und bei Zustand c ist nicht definiert, was bei der Eingabe einer 0 oder einer 1 passiert.

Wie sieht also die zuständige Übergangstabelle des nichtdeterministischen Automaten aus (was trägt man für die nicht definierten Eingaben in die Tabelle ein?)? Weil die Übergangstabelle des nichtdeterministischen Automaten ist ja die Grundlage um auf die Übergangstabelle des äquivalenten deterministischen Automatens zu kommen.

Danke und Gruß