Theoretische und technische Informatik - ganz praktisch - Letzte Aktivität in Übungsblatt 2

Kommentiert: optionales Übungsblatt 2, Aufgabe 8

Sat, 08 Jan 2022 09:07:17 +0000

Alles Klar
Vielen Dank

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: Welche Produktionsregeln sind zulässig für die Angabe einer rechtslinearen Grammatik?

Mon, 16 Dec 2019 09:52:21 +0000

Typ-3-Grammatik (rechtslineare Grammatik): (siehe VL. 8)

alle Produktionen von einer der Formen A → lamda, A → a oder A → aB mit a aus T und A, B aus N.

Rechtslinear: jeder Ableitungschritt höchstens ein Zeichen hinzukommt, Ableitung ausschliesslich nach rechts weitergehen kann

Die Produktion der Form S → 01S wäre somit für eine rechtslineare Grammatik nicht zulässig.

Viele Grüße

Jara (Tutor)

Beantwortet: Produktionsfunktion bei rechtslinearer Grammatik

Thu, 12 Dec 2019 19:26:52 +0000

Hallo,

da hier nur allgemein nach einer Grammatik und nicht nach einer vom Chomsky-Typ 3 (rechts- oder linkslinear) gefragt wurde ist es egal wie viele Non-/Terminalsymbole auf der rechten Seite steht.

LG

Constantin (Tutor)

Beantwortet: Wieso handelt es sich bei dem Automat in a) um einen nEA?

Mon, 18 Nov 2019 09:17:10 +0000

Hallo!

Der Automat ist an mehreren Stellen nicht deterministisch.

Zum Einen, wie du schon schreibst, ist beispielsweise im Zustand s2 nicht definiert, was passiert, wenn eine 1 eingelesen wird.

Zum Anderen ist nicht eindeutig, in welchen Zustand der Automat wechselt, wenn sich der Automat in s0 befindet und eine 0 eingelesen wird.

Beides sind Merkmale für nichtdeterministische endliche Automaten.

Viele Grüße

Sebastian Frey (Tutor)

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: Alternative lösung

Wed, 06 Feb 2019 12:55:37 +0000

Hallo,

ja dein P wäre auch richtig.

Viele Grüße,

Verena (Tutorin)

Beantwortet: Produktzeichen an falscher Stelle

Tue, 29 Jan 2019 11:21:42 +0000

Hallo,

ich bin mir nicht ganz sicher, ob ich deine Frage richtig verstanden habe. Der kleine Punkt zeigt ja das Komplexprodukt (für "Hintereinanderschreiben") an und kann theoretisch sogar weggelassen werden, dient allerdings der Übersicht. Es ist als "und" zu verstehen, wohingegen das + als "oder" zu verstehen ist. Das Produktzeichen (großes Pi) ist einfach nur eine Kurzschreibweise, um mehrere Klomplexprodukte hintereinander zu schreiben.

Mit dem Produktzeichen hinter voxvo' zeigen wir also an, dass das, was danach kommt, einfach dahinter geschrieben werden kann, wobei das i hoch zählt. Wenn du einfach mal das Ganze ausschreibst, kommst du auf folgendes:

L(G) = v0xv0' + v1xv1' + v2xv2' + ... + vnxvn'

Ich hoffe, das hat beim Verständnis der Aufgabe geholfen.

Viele Grüße,

Nayeli (Tutorin)

Beantwortet: b) Alternativlösung

Fri, 25 Jan 2019 16:37:05 +0000

Hallo,

deine Grammatik wäre richtig, wenn die Bedingung i=j+k nicht in der Definition der Sprache enthalten wäre. Durch diese sind nur Wörter erlaubt, bei denen die Anzahl der as am Anfang gleich ist, wie die Anzahl der bs und as im zweiten Teil.

Mit deiner Grammatik könnte z.B. S-->A-->a oder S-->A-->B-->b abgeleitet werden, was allerdings nicht in der Sprache enthalten ist.

Viele Grüße,

Verena (Tutorin)

Antwort ausgewählt: Ist meine Alternativlösung so richtig? (Kontextfreie Grammatik Tut 2 Aufg.7 a)

Sat, 19 Jan 2019 16:21:32 +0000

Hallo uvtpu,

deine Lösung ist auch richtig.

Grüße,

Natalie (Tutorin)

Beschreibung L2

Wed, 16 Jan 2019 09:52:48 +0000

Hallo,

in der Lösung steht zur L2, dass |w| größer gleich 2 sein muss.

Wieso ist dies der Fall? Die Grammatik kann doch auch Wörter produzieren, die nur ein Zeichen lang sind?

Antwort ausgewählt: Wizzard fehler / Skript fehler? + Alternativlösung für Kellerautomat möglich?

Wed, 16 Jan 2019 08:28:04 +0000

Hallo unrqo,

leider ist deine Lösung nicht richtig.

Es gibt folgenden Probleme:

1.(s2, a, b) => (s2, lambda) hier muss du den Zustand wechseln. Ein Gegenbeispiel wäre das Wort "abbabaab", das nicht zur Sprache L4 gehört aber von deinem Kellerautomat akzeptiert wird.

2.(s2, b, a) => (s1, lambda) hier ist ein neuer Zustand (bspw. s3) notwendig, ansonst wird eine Schleife gebildet. Gegenbeispiel: das Wort "aababbab".

(Außerdem ist dein Kellerautomat nicht deterministisch wegen den zwei Übergangsfunktionen (s1, b, a) => (s2, ba) und (s1, b, a) => (s1, lambda). Obwohl es keine Anforderung an Determinismus gibt, könnte ein nicht deterministischer Kellerautomaten viele Probleme verursachen, wie eine "Schleife". Deshalb muss man vorsichtig sein, um ein ndet. KA zu bilden.)

3. In der Aufgabestellung m und n sind aus N statt N0, somit wird das leere Wort nicht akzeptiert. Deshalb ist F={s0} falsch.

Ich hoffe ich konnte dir damit helfen.

Viele Grüße,

Runxi (Tutorin)

Antwort ausgewählt: Nicht alle Wörter der Sprache L5 werden erzeugt

Sun, 06 Jan 2019 16:33:15 +0000

Hallo ugmwm,

du meinst die Aufgabe 3c auf dem 2. Tutoriumsblatt, wenn ich es richtig sehe.
Du hast recht, das Wort "0001" gehört zu der Sprache, dies kann aber von dem reguläre Ausdruck ((0+1)(0+1))* erzeugt werden. Allgemein: Bei (0+1) kannst du frei wählen, ob 1 oder 0 genommen werden soll (ein ausschließendes oder, als beide gehen nicht). Du kannst also in der ersten Klammer wählen und in der zweite genauso und musst nichts vertauschen. Diesen Vorgang kannst du durch den Stern beliebig oft wiederholen. Aber jedes mal kommen genau zwei weitere Zeichen zu deinem Wort, also eine gerade Anzahl. Dies ist genau die Sprache L5.
(Konkret: Beim ersten mal durchlaufen wählst du in beiden Klammern die 0, dann wiederholst du den Vorgang aufgrund des * und wählst dann 0 und 1 >> 0001)

Aber du hast Recht, generell darf die Zeichen wegen des Sternes nicht vertauschen, da nur ein Vorgehen wiederholt wird und das restliche Wort davor unverändert bleibt.

Ich hoffe es ist nun klar, liebe Grüße

Anne (Tutor)

Beantwortet: Verständnis Übergang

Mon, 26 Nov 2018 23:09:22 +0000

Hallo,

der erste Übergang beschreibt genau die Stelle, an der das i-te a eingelesen wurde und das erste b nun eingelesen wird. An dieser Stelle wirkt die anfangs definierte Idee:

Für alle folgenden b's und a's wird ein Zeichen (in diesem Fall a) aus dem Keller gelöscht, um " i = j + k " sicherzustellen.

Um dies entsprechend zu markieren, wird der Zustandsübergang von s1 zu s2 gemacht.

Der zweite Übergang beschreibt die Situation für alle weiteren eingelesenen b's. Der Kellerautomat bleibt im Zustand s2, solange b's eingelesen werden.

Ich hoffe, es ist klarer geworden.

Beste Grüße

Max (Tutor)

Beantwortet: Alternativlösung?

Fri, 09 Feb 2018 09:24:21 +0000

Hallo,

ja deine Grammatik ist auch korekt.

Liebe Grüße

Verena (Tutor)

Beantwortet: Fehlerhafte Lösung?

Fri, 09 Feb 2018 07:59:58 +0000

Hallo,

den Lambda-Übergang kannst du immer verwenden, sobald der Zustand und der Keller stimmt, da du das Leere Wort quasi überall einfügen kannst (deshalb muss man hier auch immer bei deterministischen Automaten aufpassen).

Wie du dann richtig erkannt hast, kann man so wieder zurück zum Anfang und das Wort weiter bearbeiten.

Viele Grüße

Youri (Tutorin)

Beantwortet: Zusammensetzung des DEA nicht verständlich

Sun, 14 Jan 2018 08:28:40 +0000

Hallo,

wenn wir einen nichtdeterministischen Automaten deterministisch machen wollen, beginnen wir immer mit unserem Startzustand, der in der Regel s0 ist.
Danach arbeiten wir aber nicht die anderen Zustände des NEA ab. In unserer Übergangstabelle steht, welche Zustandsmengen erreicht werden, wenn wir im Zustand s0 eine Eingabe von 0 bzw. 1 erhalten ({s0,s1} bzw. {s0}). Nun nehmen wir alle Zustandsmengen in die linke Seite der Tabelle auf, hier also nur {s0,s1}, da wir für s0 ja bereits im ersten Schritt die Zustandsübergänge bestimmt haben, und gehen analog zu s0 vor. Dies tun wir, damit für jede Zustandsmenge in unserer Tabelle (die jeweils einen Zustand in unserem DEA darstellt) für jede Eingabe der Folgezustand (hier noch eine Menge von Folgezuständen) definiert ist. Da jede so erhaltene Zustandsmenge zu genau einem Zustand unseres DEA wird, hat somit jeder Zustand für jede Eingabe genau einen Folgezustand (siehe Definition DEA).

Ich hoffe, ich konnte dir weiterhelfen.

Liebe Grüße

Laura (Tutor)

Beantwortet: Frage zu Skript:

Wed, 10 Jan 2018 16:13:26 +0000

Hallo,

deine Lösung ist leider nicht richtig. Wir betrachten w=00011. Dann sehen wir, dass wir dieses Wort aus deiner Sprache erzeugen können, indem wir aus der ersten Klammer 00 wählen und aus dem zweiten Block 01*. Die eins können wir aufgrund des Sternes verdoppeln. Somit erhalten wir w aus deiner Sprache. Allerdings liegt dieses Wort nicht in der XWizard- Sprache. Dort können wir immer nur eine eins einfügen und dann muss erst wieder eine Null kommen, bevor die nächste kommen kann. Deshalb können diese beiden Ausdrücke bereits nicht äquivalent sein.

Bei regulären Ausdrücken kann man leider nicht einfach den Stern "in die Klammer reinziehen". Was du allerdings machen kannst ist innerhalb der großen Klammer ausmultiplizieren, folgender Ausdruck wäre somit richtig:

(00+1)x(0(0+00+1))* = (00+1)x(00+000+01)*

Viele Grüße,

Julia (Tutorin)

Beantwortet: Zusammensetzung des DEA nicht verständlich

Wed, 10 Jan 2018 15:10:41 +0000

Hallo,

Die Zustände s1,s2 und s3 kommen bei diesem Automaten nie alleine vor. Egal welche Eingabe man macht, man erreicht immer entweder mindestens zwei Zustände oder keinen. Zum Beispiel wenn wir 0 eingeben erreichen wir zwar s1 aber gleichzeitig auch s0. Somit kommen diese drei Zustände nie einzeln vor, weshalb wir sie auch nicht einzeln betrachten müssen.

Beim Algorithmus zum Umwandeln eines nichtdeterministischen in einen deterministischen Automaten trägt man nur die Zustände in der linken Spalte ab, welche in den anderen beiden Spalten bereits vorkamen.

Ich hoffe, das beantwortet deine Frage.

Viele Grüße,

Julia

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: Irregulärer Parse-Baum

Thu, 04 Jan 2018 13:21:51 +0000

Hallo,

du kannst für eine Grammatik, die nicht Lambda-frei ist, keinen regulären Parsebaum angeben, da du am Ende immer eine Ableitung auf ein Terminalzeichen benötigst. Es gibt aber die Möglichkeit einen irregulären Parsebaum anzubegeben, genau wie du beschrieben hast. Für mehr Infos siehe auch diese Frage im Forum:

http://info2.aifb.kit.edu/qa/index.php?qa=5957&qa_1=warum-ist-lambda-für-parsebäume-problematisch

Gruß,

Maren (Tutorin)

Beantwortet: Striche beim Testwort

Thu, 04 Jan 2018 12:18:57 +0000

Hallo,

genau wie du vermutet hast: die Striche sollen eine Hilfestellung sein, welcher Teil von Wort im nächsten Schritt ersetzt wird (Strich über dem/den Zeichen) bzw. welcher Teil im Schritt davor ersetzt wurde (Strich unter dem/den Zeichen).

In der Prüfung kannst du diese natürlich angeben, wenn dir das hilft, ist aber nicht zwingend notwendig.

Gruß,

Maren (Tutorin)

Beantwortet: Benötigt man die 0* vor den 3 Klammern oder könnte man diese auch einfach weglassen?

Thu, 28 Dec 2017 16:35:16 +0000

Hallo,
du brauchst eine 0 am Anfang, um z.B. das Wort 010101 darzustellen. Ohne diese 0 kann man keine Wörter mit 3 1en und einer führenden 0 darstellen, die ja ebenfalls Teil der Sprache sind.
Liebe Grüße (Tutor)

Erneut kategoriesiert: Übung 2 Nr 5 - Lösung

Mon, 18 Dec 2017 13:14:08 +0000

Hallo

Kann es sein dass die Lösung fehlerhaft ist?

Es ist doch garkein Übergang für (s1,0,k0) definiert, wie kann man dann die Sprache und insbesondere das Testwort so ableiten?

Beantwortet: Warum ist lambda für Parsebäume problematisch?

Thu, 30 Nov 2017 08:45:42 +0000

Parsebäume leiten auf unterster Ebene immer in Terminalzeichen ab. Es gibt eigentlich keine Ableitung auf Lambda. Man kann das zusätzlich zulassen (in der Vorlesung machen wir das auch), aber die üblichen Algorithmen sind nicht in der Lage, Ableitungsbäume mit Lambda-Regeln zu erzeugen. Auch der XWizard kann Ableitungsbäume nur erzeugen, wenn es keine Lambda-Regeln gibt.

Der Trick mit dem Pseudo-Lambda-Symbol ist natürlich geschummelt, denn dabei gibt man dem Algorithmus explizit vor, an welcher Stelle er die "Lambda"-Ableitung nutzen soll. Tut man das nicht, ist es im Allgemeinen schwierig zu entscheiden, wo ein Wort erst aufgebaut und dann durch Lambda wieder abgebaut werden kann, sodass am Ende die korrekte Ableitung entsteht.

Ganz allgemein sind verkürzende Regeln immer problematisch und werden, wo es geht, gemieden.

Beantwortet: Übungsblatt 2 Aufgabe 4 b)

Thu, 20 Jul 2017 07:36:56 +0000

Hallo,
theoretisch wäre $e0$ auch möglich. Da $e^0$ aber gleich 1 ist, ist es nicht notwendig, das in den regulären Ausdruck mit aufzunehmen.

Viele Grüße
Julia (Tutorin)

Beantwortet: Tut 2 Auf 8b

Wed, 19 Jul 2017 17:49:27 +0000

Das ist nicht nötig. Entscheidend ist der Allquantor. $uabv$ steht für alle möglichen Zerlegungen von $w$. Daher muss die Bedingung für alle Zerlegungen $uabv$ von $w$ gelten.

Beantwortet: Anzahl der Zustände

Thu, 02 Feb 2017 19:05:46 +0000

Die Anzahl an benötigten Zustanden ist kein Kriterium dafür, welche Sprache ein Automat erkennt.
Sie können also so viele Zustände benutzen, wie sie wollen.

Kommentiert: 7a Lambda-frei

Thu, 26 Jan 2017 13:52:36 +0000

Ich habe Ihre Grammatik zur Lösung der Aufgabe hinzugefügt und das neue Übungsblatt hochgeladen - falls Ihnen das recht ist.

Antwort bearbeitet: Alternative Grammatik Aufgabenteil 7b

Sun, 15 Jan 2017 16:35:15 +0000

Hallo,

deine Grammatik ist auch richtig. Sie unterscheidet sich von der Musterlösung eigentlich ja nur dadurch,dass du den Übergang $S \rightarrow A$ "gespart" hast und du zusätzlich einen Übergang $S \rightarrow \lambda$ definiert hast.

Viele Grüße

Julia (Tutorin)

Antwort bearbeitet: L(G) formale Darstellung

Sun, 15 Jan 2017 09:29:05 +0000

Sie meinen diese Formulierung, oder?

$$L(G) = \{\underbrace{v_0xv'_0}_{A} \cdot \prod_{i=1}^n
\mbox{+}\underbrace{v_ixv'_i}_{A} \ | \ n \in \mathbb{N}_0 \mbox{ und } \forall i \in \{0, \ldots, n\} : v_i \in \{a, b\}^\star\}$$

Das ist so zu lesen: Zunächst bezeichnet ein Apostroph die Rückwärtsschreibung eines Strings (bspw. ist $(ababb)' = bbaba$. Das große $\prod$ bezeichnet die mehrfache Hintereinanderschreibung von Strings - wie die Summe in der Arithmetik durch das Große $\sum$-Symbol bezeichnet wird (oder eben die Multiplikation auch durch das große $\prod$).

Also haben wir hier Wörter, die eine $n+1$-fache Hintereinanderschreibung von $v_ixv'_i$ darstellen ($n+1$, weil es mit $0$ vor dem $\prod$ losgeht; mindestens einmal "$vxv'$" kommt also auf jeden Fall vor - oder anders gesagt: das leere Wort ist nicht Teil der Sprache), verbunden mit einem "+". (Das "+" ist hier vielleicht die verwirrende Stelle: Es ist hier tatsächlich ein Zeichen des der Sprache zugrunde liegenden Alphabets und kein Rechensymbol!) Die $v_i$ sind beliebige Wörter über $\{a, b\}$, wie der Teil nach dem $|$ zeigt. $x$ ist und bleibt $x$, und danach kommt das jeweilige $v_i$ nochmal rückwärts geschrieben. Dadurch ergibt sich genau die Sprache, wie auch im Fließtext beschrieben.

Beantwortet: und wie schaut es mit

Sun, 15 Jan 2017 08:43:00 +0000

Ja, dein regulärer Ausdruck ist auch richtig.

Viele Grüße,

Julia (Tutorin)

Beantwortet: Verständnis

Tue, 10 Jan 2017 20:37:18 +0000

Hallo,

nein das Wort ba kann mit der Grammatik nicht erzeugt werden.
Der Grund ist, dass immer von S4 aus gestartet werden muss wenn ein Wort gebildet wird.

unter dieser Bedingung ist das kürzeste Wort das gebildet werden kann: abab

Grüße, Sören (Tutor)

Kommentiert: Verständnisfrage

Tue, 10 Jan 2017 17:07:48 +0000

Stimmt an die Klammern habe ich nicht gedacht! Vielen Dank für die ausführliche Hilfe.

Beantwortet: Warum werden neue Zustände eingeführt?

Sat, 07 Jan 2017 18:15:56 +0000

Hallo,

ich kann deine Lösung nicht nachvollziehen, denn wie komme ich in den Zustand s2?

Du brauchst diese zusätzlichen Zustände, um zu gewährleisten, dass deine Wörter die der Kellerautomat erkennen soll von der Form $a^mb^na^nb^m$ sind.

Ich hoffe ich konnte dir weiterhelfen.

Viele Grüße

Julian(Tutor)

Antwort bearbeitet: Konfigurationsfolge lambda-Übergang

Thu, 05 Jan 2017 12:10:51 +0000

Hallo,

bei einem Kellerautomaten und dessen Zustandsübergängen, hat lambda auf der rechten und linken Seite der Definition eine unterschiedliche Bedeutung. Die beiden Seiten sind wie folgt aufgebaut (Der Zustand in dem sich der Kellerautomat befindet, das Zeichen das der Lesekopf einliest, das oberste Kellerzeichen) --> (Der Zustand in den der Kellerautomat wecheselt, die Operation die der Kellerautomat auf dem Keller ausübt). Bei den markierten Wechseln in der Konfigurationsfolge handelt es sich um folgenden Übergang: (s1,λ,k0) →(s0,k0) dieser besagt, dass der Lesekopf auf dem Zeichen auf dem er sich momentan befindet stehen bleibt (λ) und der Kellerautomat ledeglich den Zustand von s1 in s0 wechselt, ohne das sich der Lesekopf ein Zeichen nach rechts bewegt bzw. eine Operation auf dem Keller ausübt.

Viele Grüße
Timo (Tutor)

Kommentiert: Aufgabe HU - 2 -3 b)

Sun, 18 Dec 2016 10:59:34 +0000

Vielen Dank für die Antwort.

Kommentiert: Wie sieht es mit 0101010 aus ?

Thu, 09 Jun 2016 16:22:35 +0000

Nein, weil nach der dritten $1$ keine Nullen mehr kommen können.

Beantwortet: Alternativ-Lösung für kontextfreie Grammatik aus Teil b)

Mon, 08 Feb 2016 14:19:58 +0000

Hey,

das sollte so passen.

liebe grüße,

maren (tutorin)

Beantwortet: Verständnis Tut 2A4 b)

Mon, 08 Feb 2016 12:18:01 +0000

Hallo uqdrx,

das prinzipielle Vorgehen ist, sich anzuschauen, welche Regeln (a-f) für die Dezimaldarstellung gelten. Nun wird die Regel, welche die erste Auswirkung hat (a)) in einen regulären Ausdruck übersetzt:

Wort beginnt mit + $ ( \plus ) $, - oder direkt zu b) -> $ RA ( a ) : \alpha = ( \plus + - + \emptyset ) $.

Genauso geht man mit den nächsten Regeln vor und muss am Ende beachten, dass natürlich die Zahl mit einer Null beginnen kann, allerdings nur dann, wenn es sich um die "Null" handelt.

Viel Erfolg damit,

Marvin (Tutor)

Beantwortet: Verständnisfrage zu Teilaufgabe c)

Sun, 07 Feb 2016 06:31:42 +0000

Hallo,

ausführlich ab hier oder kurz im letzten Absatz:

Der reguläre Ausdruck ist ja ((0+1)(0+1))*.

Das Ganze hat drei entscheidende Bestandteile:

1) Die Iteration (*) außen, die die beliebige Wiederholung des Klammerinhalts erlaubt. Dadurch ist zunächst mal eine beliebige Wortlänge möglich.

2) Die zwei inneren Klammern mit jeweils 0 ODER 1 zur Auswahl. Sie erlauben also immer die Wahl irgendeines Zeichens und legen keine bestimmte Zeichenfolge fest.

3) Die Verbindung dieser zwei inneren Klammern mit UND, wodurch bei einem Durchlauf der äußeren Klammer automatisch 2 neue Zeichen geschaffen werden. Damit wird die gerade Anzahl an Zeichen im Wort eingehalten.

Also ließe sich beispielsweise dein Wort 0001 bilden, indem man die äußere Klammer zunächst einmal durchläuft und dabei in beiden inneren Klammer die 0 aus dem ODER-Ausdruck wählt. Bei einem weiteren Durchlauf der äußeren Klammer würde man dann in der ersten die 0 wählen, in der zweiten die 1.

Viele Grüße

Max (Tutor)

Beantwortet: Alternativer regulärer Ausdruck

Fri, 05 Feb 2016 15:08:19 +0000

Hallo,

leider ist die Lösung nicht richtig da du kein Wort darstellen kannst was mit einer 0 anfängt ;)

Viele Grüße,

Marc (Tutor)

Beantwortet: Ginge auch (0+1)(0+1)(0*+1) ?

Thu, 04 Feb 2016 13:32:30 +0000

Hallo uwduw,

die Bedingung ist, dass max. 3 Einsen im Wort vorkommen. Das bedeutet aber, dass die 0en egal wie verteilt sein dürfen. Bei dem oben angegeben regulären Ausdruck ist es z.b. nicht möglich nach der letzten 1 ein/mehrere Nullen zu haben. Genauso kann bei obigem regulären Ausdruck zwischen 3 Einsen keine Null sein. Damit ist der reguläre Ausdruck nicht korrekt.
Halte dich am besten an die vorgestellten Vorgehensweisen.
Viel Erfolg,
Marvin (Tutor)

Kommentiert: Verständnis

Wed, 03 Feb 2016 14:58:13 +0000

Genau, bei einem + wäre das leere Wort nicht mehr Element der Sprache und wir müssten auch im Automaten nicht mehr dafür sorgen, dass das Wort angenommen wird.
Die Zeile $ (s_0 , \lambda , k_0 ) \rightarrow (s_4 , k_0 ) $ sorgt dafür, dass auch Wörter akzeptiert werden können, die die Struktur $ w = a^nb^n, n \in IN $ akzeptiert werden können. Das ist durch den Kommentar in der Lösung angedeutet ($ k = 0 $ heißt gerade, dass es keine $ a $ am Ende des Wortes gibt).

Kommentiert: Unterschied Deterministischen und Nichtdeterministischen Kellerautomaten?

Tue, 02 Feb 2016 16:25:23 +0000

Wieso ist denn bei Tut 2 auf Folie 17 der Kellerautomat trotz Lambda-Übergang deterministisch ?

Kommentiert: Hat s0 einen Sonderstatus?

Tue, 02 Feb 2016 16:21:53 +0000

Wie erkenne ich denn das s0 mein Endzustand ist ?

Kommentiert: Alternativlösung

Tue, 02 Feb 2016 13:01:56 +0000

Ja da ist deine Antwort auch korrekt, das reicht völlig aus :)

Beantwortet: erster Lamda-Übergang, um das leere Wort zu akzeptieren

Sat, 30 Jan 2016 15:15:47 +0000

Hallo uedqa,

prinzipiell reicht es bei einem nichtdeterministischen Kellerautomaten nicht, sich nur eine mögliche Konfigurationsfolge anzuschauen, sondern sobald eine Konfigurationsfolge existiert, die nach Abarbeitung des Wortes zu einem Endzustand führt, wird das Wort akzeptiert (siehe VL Folie 3,12). Es ist also "kein Problem", dass es auch eine Konfigurationsfolge gibt, in der das Wort nicht akzeptiert würde, solange es eine andere "akzeptierende" Folge gibt.

Ich hoffe, das beantwortet die Frage...

Viele Grüße

Jonas (Tutor)

Beantwortet: Wie kann ich mit Hilfe des XWizards reguläre Ausdrücke vergleichen?

Mon, 18 Jan 2016 08:06:06 +0000

Tja, leider kann das der XWizard noch nicht. Es gibt noch einige (viele!) Funktionen, die ich gerne einbauen würde, für die ich aber bisher keine Zeit hatte. Dazu gehören vor allem auch Funktionen rund um die regulären Ausdrücke.

Was ich plane, ist folgendes: Man soll reguläre Ausdrücke in endliche Automaten umwandeln können (bisher geht ja nur das Umgekehrte). Diese kann man ja dann deterministisch machen und minimieren. Wenn man das mit zwei verschiedenen regulären Ausdrücken macht, kann man am Ende vergleichen, ob derselbe Automat herauskommt. Mal sehen, ob ich das noch in diesem Semester schaffe...

Was die angegebenen beiden Ausdrücke angeht: die sind beide äquivalent und definieren die Sprache mit mindestens einer 1. Ihr eigener Ausdruck ist sogar kürzer als unsere Lösung (dafür ist diese ein bisschen intuitiver).

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!

Theoretische und technische Informatik - ganz praktisch - Letzte Aktivität in Übungsblatt 2

Kommentiert: optionales Übungsblatt 2, Aufgabe 8

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

Beantwortet: Welche Produktionsregeln sind zulässig für die Angabe einer rechtslinearen Grammatik?

Beantwortet: Produktionsfunktion bei rechtslinearer Grammatik

Beantwortet: Wieso handelt es sich bei dem Automat in a) um einen nEA?

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

Beantwortet: Alternative lösung

Beantwortet: Produktzeichen an falscher Stelle

Beantwortet: b) Alternativlösung

Antwort ausgewählt: Ist meine Alternativlösung so richtig? (Kontextfreie Grammatik Tut 2 Aufg.7 a)

Beschreibung L2

Antwort ausgewählt: Wizzard fehler / Skript fehler? + Alternativlösung für Kellerautomat möglich?

Antwort ausgewählt: Nicht alle Wörter der Sprache L5 werden erzeugt

Beantwortet: Verständnis Übergang

Beantwortet: Alternativlösung?

Beantwortet: Fehlerhafte Lösung?

Beantwortet: Zusammensetzung des DEA nicht verständlich

Beantwortet: Frage zu Skript:

Beantwortet: Zusammensetzung des DEA nicht verständlich

Beantwortet: Reguläre Ausdrücke zusammenfassen?

Beantwortet: Irregulärer Parse-Baum

Beantwortet: Striche beim Testwort

Beantwortet: Benötigt man die 0* vor den 3 Klammern oder könnte man diese auch einfach weglassen?

Erneut kategoriesiert: Übung 2 Nr 5 - Lösung

Beantwortet: Warum ist lambda für Parsebäume problematisch?

Beantwortet: Übungsblatt 2 Aufgabe 4 b)

Beantwortet: Tut 2 Auf 8b

Beantwortet: Anzahl der Zustände

Kommentiert: 7a Lambda-frei

Antwort bearbeitet: Alternative Grammatik Aufgabenteil 7b

Antwort bearbeitet: L(G) formale Darstellung

Beantwortet: und wie schaut es mit

Beantwortet: Verständnis

Kommentiert: Verständnisfrage

Beantwortet: Warum werden neue Zustände eingeführt?

Antwort bearbeitet: Konfigurationsfolge lambda-Übergang

Kommentiert: Aufgabe HU - 2 -3 b)

Kommentiert: Wie sieht es mit 0*10*10*10* aus ?

Beantwortet: Alternativ-Lösung für kontextfreie Grammatik aus Teil b)

Beantwortet: Verständnis Tut 2A4 b)

Beantwortet: Verständnisfrage zu Teilaufgabe c)

Beantwortet: Alternativer regulärer Ausdruck

Beantwortet: Ginge auch (0*+1)(0*+1)(0*+1) ?

Kommentiert: Verständnis

Kommentiert: Unterschied Deterministischen und Nichtdeterministischen Kellerautomaten?

Kommentiert: Hat s0 einen Sonderstatus?

Kommentiert: Alternativlösung

Beantwortet: erster Lamda-Übergang, um das leere Wort zu akzeptieren

Beantwortet: Wie kann ich mit Hilfe des XWizards reguläre Ausdrücke vergleichen?

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

Kommentiert: Wie sieht es mit 0101010 aus ?

Beantwortet: Ginge auch (0+1)(0+1)(0*+1) ?