Theoretische und technische Informatik - ganz praktisch - Letzte Aktivität in 2013 Bonusklausur

Beantwortet: Mit einem bestimmten Gegenbeispiel nicht kontextfreie Sprache zu zeigen

Mon, 20 Jan 2020 08:47:24 +0000

Hallo,

ein Gegenbeispiel reicht nicht aus. Man muss für alle möglichen Zerlegungen $w=uvzxy$ ein $i$ finden, so dass $uv^izx^iy \notin L$.

Viele Grüße,
Julia (Tutorin)

Antwort bearbeitet: Warum werden -1/-2 abgezogen

Sun, 20 Jan 2019 12:08:57 +0000

Hallo uyuee,

wir haben z = anbn+1cn+2 als Wort gewählt. Mit der Beziehung |uviwxiy|a > |uviwxiy|c − 2 zeigen wir, dass es in das aufgepummtes Wort nicht zwei c's mehr gibt als a's und somit, dass uviwxiy nicht in L liegt.

Viele Grüße,

Natalie (Tutorin)

Beantwortet: Alternativlösung

Thu, 08 Feb 2018 08:50:54 +0000

Hallo uldvb,

das geht natürlich auch, allerdings wurde das hier nicht in der Aufgabenstellung gefragt und würde dich somit in der Klausur unnötig Zeit kosten.

Grundsätzlich gilt, dass du beim BDD einfach die aus der finalen Form ablesbaren Terme unverändert hinschreiben kannst.

Viele Grüße

Youri (Tutorin)

Antwort ausgewählt: Alternativlösung

Mon, 16 Jan 2017 19:27:33 +0000

Hallo,

was ich auf den ersten Blick direkt sehe ist, dass du versucht hast einen Zustand einzusparen indem du bei (s0,a,b) in keinen neuen Zustand übergehst. Hier musst du jedoch den Zustand wechseln, damit du dir „merken“ kannst, dass du jetzt quasi a^ib^n abgearbeitet hast und als nächstes nur noch a’s lesen darfst bis zum #. Wechselst du hier nicht in den Zustand werden auch Wörter der Form:
abababab#... erkannt, welche nicht Teil der Sprache sind.
Es müssen aber nicht unbedingt zwingend 5 Zustände sein. Mehr Zustände können es z.B. generell immer sein.

Grüße, Sören (Tutor)

Beantwortet: Alternativlösung

Mon, 16 Jan 2017 18:35:03 +0000

Hallo,

theoretisch kannst du auch deinen Ansatz mit z= a^nb^2nc^3n verwenden, jedoch stimmt deine Argumentation unten nicht.
a^(n-m)b^2nc^3n ist doch noch Teil der Sprache. Es sind weniger a als b und c und weniger b als c.

Du darfst hier eben nicht mit 0 pumpen, sondern z.B. mit i>n, damit du mehr a als b hast.

Grüße, Sören (Tutor)

Kommentiert: Ausführliche Erklärung des Schritts mit dem #

Sun, 15 Jan 2017 22:29:16 +0000

Eine allgemeine Frage dazu, da ich in meinem ersten Entwurf den Übergang von s0 auf s1 nicht hatte: Sind "zu viele" Zustände falsch - beispielsweise in dieser Aufgabe nach jedem neuen Buchstaben ein neuen Zustand? So könnte man diverse Eventualitäten abfangen. Mit Sicherheit ist es nicht die schönste Lösung.

LG & danke! :)

Kommentiert: Bonusklausur 2013

Fri, 13 Jan 2017 15:05:48 +0000

Ganz genau. Nicht jedes $\lambda$ auf der linken Seite führt allerdings dazu, dass der Automat nichtdeterministisch wird. Es hängt immer davon ab, ob es sein kann, dass der Automat "vor der Wahl steht", eine von mehreren Möglichkeiten zu verfolgen. Im obigen Fall wüsste ein deterministischer KA nicht, ob er auf dem Eingabezeichen $a$ bei Lesen des Kellersymbols $k$ den ersten oder den zweiten Übergang nutzen soll.

Beantwortet: Unterscheidung i=0 und i=2

Mon, 18 Jan 2016 23:24:46 +0000

Hallo ukdxs,

in der vorherigen Frage war die FRage, ob allgemein immer i=10 getestet werden koenne. Wie damals beantwortet muss man sich eine geschickte Pumpvariable waehlen und dazu ist weder i=0 noch i=1 gut geeignet. $ i=2$ oder groesser, eignet sich meist besser, da schnell eine der zwingenden Belegungne widerlegt werden kann. Auf jeden Fall haengt es von der konkreten Sprache ab.

Viel Erfolg,

Marvin (Tutor)

Beantwortet: wie hoch darf man pumpen

Sun, 17 Jan 2016 17:15:52 +0000

Sie dürfen auch $i$ abhängig von den im PPL vorkommenden Variablen wählen, denn die dritte Bedingung sagt ja, dass es für alle $i$ gelten muss (also reicht es, ein einziges $i$ zu finden, für das es nicht gilt).

$i=n, 2n, 3n, n^2$ usw. wäre also zulässig. Allerdings weiß ich nicht, wie Sie das in diesem Fall ausnützen wollen - vielleicht erklären Sie das nochmal genauer? Bei dieser Aufgabe brauchen Sie das im Prinzip nicht, weil $i=0$ bzw. $i=2$ je nach Fall ausreicht (siehe Lösung).

Beantwortet: Beispiel + Lösung: so korrekt?

Fri, 25 Sep 2015 16:21:45 +0000

Hallo,

naja, im Prinzip geht es in die richtige Richtung. Aber auf jeden Fall fehlt hier die Unterscheidung zwischen i=0 und i=2. Sie können nicht immer mit dem gleichen i pumpen, sondern müssen es anpassen, je nachdem, welche Verteilung sie vorfinden.

Viele Grüße

Lukas König

Beantwortet: verkürzen des Lösungswegs?

Fri, 25 Sep 2015 16:20:49 +0000

Hallo,

das hängt sehr davon ab, was genau Sie schreiben würden. Ich sehe ein, dass es gewisse Symmetrie-Eigenschaften der verschiedenen Fälle gibt, aber es ist wichtig, dass wirklich alle Möglichkeiten abgedeckt werden. Wenn Sie schreiben "kurz" und "erwähnen", dann bin ich nicht sicher, ob Sie das in Ihrer Vorstellung wirklich hinkriegen würden. Das heißt aber nicht, dass es nicht kürzer geht als in der Musterlösung.

Vielleicht können Sie ja mal einen konkreten Vorschlag posten (also einen wirklichen Text, wie Sie ihn in der Bonusklausur schreiben würden)?

Viele Grüße

Lukas König

Beantwortet: alternative Lösung möglich?

Fri, 25 Sep 2015 16:19:09 +0000

Allgemein zu Pumpinglemma-Aufgaben:

- n muss variabel sein ( $ " n \in N " $ ), man darf also kein Wort mit einer fixen Länge wählen.

- Der Widerspruch muss für alle möglichen Partionen gezeigt werden, nicht nur eine

Ich vermute, dass es bei deinem Beweis zumindest der zweiten Punkt problematisch ist.

Um deinen Beweis konkret beurteilen zu können: Kannst du dein Wort + kurze Erklärung, warum x und v in den b's liegen muss, posten? Vielleicht hilft dir auch dieser Thread, in dem schon einige prinzipielle Fragen geklärt wurden:

HU-1-4

Tobias (Tutor)

Beantwortet: Festgelegte Vorgehensweise bei BDD?

Fri, 25 Sep 2015 16:16:46 +0000

Prinzipiell ist nur der Endgraph von Bedeutung (solange durch die Aufgabenstellung nicht anders verlangt), es hat für Sie jedoch große Vorteile, wenn Sie die wichtigen Zwischenschritte angeben (z.B. Zusammenfassen der Knoten, etc.). Sobald Sie nämlich einen Fehler einbauen und wir bei der Korrektur nicht erkennen können, wo der Fehler entstanden ist und was noch richtig gemacht wurde und was falsch, können wir auch keine Teilpunkte vergeben.

Für die Bonusklausur, bei der es ja nur um richtig und falsch geht, haben Sie mit einem fehlerhaften BDD ohne Zwischenschritte natürlich auch keine Chance mehr auf ein NOCH richtig.

Demnach würde ich Ihnen sehr ans Herz legen, den ein oder anderen Zwischenschritt anzugeben.

Viele Grüße

Friederike Pfeiffer-Bohnen

Beantwortet: Warum nur 4 Summanden bei DNF?

Fri, 25 Sep 2015 16:15:53 +0000

Hier gibt es zwei Erklärungen:

1. In der Aufgabenstellung steht, dass man den Boolschen Ausdruck aus dem BDD ablesen soll. Der BDD ist das vollständig reduzierte Diagramm.

2. Du könntest auch erst alle 6 Summanden bilden und dann zu den 4 Summanden vereinfachen (aufwändiger, da das BDD sowieso verlangt wird):

xy'z+xy'z' wird vereinfacht zu xy'

x'y'z+x'y'z' wird vereinfacht zu x'y'

Gruß Jörg (Tutor)

Beantwortet: Vorgehensweise beim Lesen eines Wortes?

Fri, 25 Sep 2015 16:14:28 +0000

Hallo!

Beim Lesen eines Testwortes schreibst du immer den kompletten Kellerinhalt hin (wie beispielsweise beim Kellerautomaten auf dem Heimübungsblatt 2, Aufgabe 3 zu sehen).

Bei der Definiton der Zustandübergange schreibt man immer nur das oberste Kellerzeichen, da das ja auch das einzige ist, auf das der Kellerautomat zugreifen kann (LIFO-Prinzip) und was somit relevant ist für einen Zustandübergang.

Ich hoffe, ich konnte dir weiterhelfen!

Gruß, Janine (Tutorin)

EDIT:

Tut mir leid, der obere Link ist falsch und führt nicht zum Heimübungsblatt 2, sondern zum Anwesenheitsblatt 2. Dort wird in Aufgabe 3 zwar auch ein Kellerautomat und das Lesen eines Testwortes behandelt, aber bei diesem Kellerautomaten sieht man den Unterschied nicht so schön, da hier auch bei der Abarbeitung des Testwortes maximal 2 Zeichen im Keller stehen, weil immer wieder welche gelöscht werden.

Deshalb hier nochmal der richtige Link zum Heimübungsblatt 2, wo bei der Abarbeitung des Testworts auch mal mehrere Zeichen im Keller stehen.