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

Kommentiert: Beispiel zu ndet. KA

Thu, 03 Feb 2022 14:29:24 +0000

Ja okay, deinen ersten Fall hatte ich eigentlich auch gemeint.
Besten Dank!

Beantwortet: Unterscheidung von deterministischen und nichtdeterministischen Kellerautomaten

Wed, 02 Feb 2022 16:19:08 +0000

Hallo uwlxy,

wenn es zwei mögliche Zustandsübergänge im selben Zustand und mit demselben Kellerinhalt gibt, entspricht das genau der Definition eines nichtdeterministischen Kellerautomaten. Bei deterministischen Automaten ist dies nicht erlaubt, es muss abhängig vom aktuellen Zustand und Kellerinhalt eindeutig sein, welcher Zustandsübergang als nächstes erfolgt.

Viele Grüße

Jannik (Tutor)

Beantwortet: Automat in Aufgabe 41 a) nichtdeterministisch?

Fri, 28 Jan 2022 21:16:24 +0000

Hallo,

da sowohl bei Aufgabe 41, als auch bei Aufgabe 44 ein Lambda-Übergang notwendig ist, um den Automaten vollständig zu definieren, sind beide Automaten damit auch direkt nichtdeterministisch.

Bei einem Lambda-Übergang findet ein Zustandsänderung statt, ohne dass etwas in den Keller geschrieben, bzw. eingelesen wird. Dieser ist immer automatisch ein nichtdeterministischer Schritt, da man theoretisch alternativ auch das nächste Zeichen des abzuarbeitenden Wort "bearbeiten" könnte (Siehe Tut 2).

Beantwortet: verstandnis problem

Sun, 02 Jan 2022 11:15:48 +0000

Hallo uqyxt,

Die Wörter der Sprache besteht aus den Wiederholungen der Zeichenfolge aab (also z.B. aabaabaab).

Die Idee der ersten Zeile ist, dass das 1. a dieser Folge eingelesen und in den Keller gepusht wird.
In der dritten Zeile wird das 3. a dieser Folge eingelesen und das a im Keller bleibt einfach stehen. Hier muss auch der Zustand gewechselt werden, weil wir sonst nicht mehr aus der dritten Zeile nicht mehr herauskommen (kannst du ja mal ausprobieren, was passiert wenn statt s₁ s₀stehen würde)
In der vierten Zeile wird nun das b eingelesen und das a im Keller gepopt. Damit haben wir einmal die Zeichenfolge aab eingelesen und wechseln in den Endzustand.
Im Endzustand geht es aber weiter mit dem Einlesen des nächsten a und das Ganze fängt von vorne an (fünfte Zeile).
Nun soll aber auch das leere Wort akzeptiert werden, weshalb wir einen einen λ-Übergang von s₀ brauchen (zweite Zeile). Dies macht den Kellerautomaten dann nichtdeterministisch.

Ich hoffe, das hilft dir weiter.

Grüße
Jahn (Tutor)

Beantwortet: Aufgabenstellung HK 2019 Aufgabe 1

Sat, 20 Mar 2021 15:52:49 +0000

Hey, du hast L schon richtig verstanden. Jetzt wird aber die Sprache L(A)=L* (der Stern ist hier das Relevante) betrachtet, also kannst du die einzelnen Worte aus L mehrfach hintereinander ausführen. Daher sind auch solche Wörter wie abaaabcc in L(A) enthalten. Wichtig ist, dass die einzelnen Wörter aus L sind, in diesem Fall ab und aaabcc (hier gilt auch, wie du richtig gesagt hast, erst a, dann b und am Schluss c). Ich hoffe, das hilft dir weiter

Beantwortet: nicht deterministischer Kellerautomat

Fri, 19 Mar 2021 15:38:15 +0000

Hallo uzfnw,

ein Kellerautomat muss nur dann deterministisch sein, wenn es in der Aufgabenstellung so gefordert ist. Dass das in der Praxis sicherlich etwas anderes ist, ist klar - aber für die Klausur ist das der wichtige Punkt, auf den du achten musst.

Ob deine Variante mit den Lambda-Übergangen so immer funktioniert und sinnvoll ist, sei mal dahingestellt.

Beste Grüße,

Martin (Tutor)

Beantwortet: HK 2019 Aufgabe 1

Fri, 19 Mar 2021 11:15:00 +0000

Ein deterministischer Automat ist ein Spezialfall eines nichtdeterministischen Automaten ist. Also kann man da auch einen deterministischen Automaten auftsellen.

Beantwortet: Wann akzeptiert ein Kellerautomat das leere Wort?

Thu, 18 Mar 2021 10:37:54 +0000

Danke euch! Das hilft mir sehr :)

Antwort ausgewählt: zustandsübergang bei KA

Mon, 10 Feb 2020 16:40:45 +0000

Doch müsste auch gehen.

LG, Nico (Tutor) (Alle Angaben ohne Gewähr)

Beantwortet: was ist der unterschied zwischen dem Wort und der Bandinschrift

Mon, 10 Feb 2020 15:18:38 +0000

Hallo uivit,

beziehst du dich bei deiner Frage auf den Kellerautomaten? So ist deine Frage nämlich gelabelt. Kellerautomaten haben allerdings keine Bandinschrift, sondern nur ein Eingabealphabet. Das Eingabealphabet ist der Zeichenvorrat, aus dem das Wort besteht, das dein Schreib-/Lesekopf liest.

Den Begriff Bandinschrift hast du sicher von den Turingmaschinen. Bandinschrift ist so definiert: "Die Bandinschrift ist der Inhalt des Bandes beginnend mit dem linkesten "Nichtleer"-Feld rechts neben einem Leerfeld (*) und endend mit dem Zeichen im rechtesten Nichtleer-Feld links neben einem Leerfeld, sofern sich das Leerfeld rechts vom S/L-Kopf befindet. Andernfalls endet die Bandinschrift mit dem Zeichen an der Position des S/L-Kopfes."

Wenn deine TM entscheiden soll, ob ein Wort Teil der Sprache ist, dann wird tatsächlich dein Wort als Bandinschrift verwendet. Jetzt ist für jeden Zustand und jedes Zeichen des Wortes festgelegt, was die TM tun soll. Hält sie am Ende in einem Endzustand, ist das Wort erkannt, andernfalls nicht. Hier ist das Wort die initiale Bandinschrift. Die Bandinschrift kann allerdings im Laufe des Algorithmus verändert werden.

Ich hoffe, das beantwortet deine Frage.

Viele Grüße
Hannah (Tutorin)

Kommentiert: Ndet. Kellerautomaten Verständnis

Mon, 10 Feb 2020 14:58:15 +0000

Hallo,

ich habe die Anmerkung von KEL-AD falsch verstanden, sorry.
Ich dachte es wurden extra Übergänge eingefügt, zusätzlich zu (s0,lamda,k0), um den Automaten nicht-deterministisch zu machen.
Trotzdem danke für die Antwort!

Antwort ausgewählt: Keller erst später leeren

Mon, 10 Feb 2020 13:45:28 +0000

Ich glaube mit deinem ersten Satz liegst du falsch, denn auf Folie V9-57 steht, dass ein Wort akzeptiert wird, wenn das Wort vollständig abgearbeitet ist und der KA sich in einem Endzustand befindet. Der Keller muss meiner Meinung nach nicht leer sein.

Beantwortet: Kellerautomaten alternative Lösung

Thu, 06 Feb 2020 09:30:08 +0000

Es gibt auf jeden Fall mehrere Lösungen.

Zur Überprüfung sollte dein KA die gegebenen Wörter der Sprache akzeptieren und keine anderen. (Überprüf dies mit eigenen Worten)

LG, Nico (Tutor) (Alle Angaben ohne Gewähr)

Kommentiert: HK, WS 18/19, Aufgabe 1

Tue, 14 Jan 2020 11:02:03 +0000

Ok perfekt, hab’s verstanden. Danke Dir!

Beantwortet: Verständnisfrage (nicht-)deterministische Automaten

Sat, 11 Jan 2020 14:56:18 +0000

Hallo unveh,

ja, natürlich kannst Du einen deterministischen Kellerautomat in diesem Fall angeben. Dennoch ist es normalerweise einfacher, einen nicht deterministischen Kellerautomat zu erzeugen.

Viele Grüße,

Runxi (Tutorin)

Beantwortet: Kellerautomat Endzustand

Sat, 11 Jan 2020 09:23:27 +0000

Hallo uqysn,

Deine Aussage stimmt. Für das Wort "$a": der Automat bricht nach der Eingabe "$" in Endzustand s2 ab, trotzdem wird das Wort nicht akzeptiert.

Siehe Vorslesungsfolie V9-51:

Ein Wort wird akzeptiert, falls nach dem Halten:

LK steht rechts von w (Wort ist vollständig verarbeitet)

und

KA im Endzustand

Viele Grüße,

Runxi (Tutorin)

Kommentiert: Rückfrage zu der Frage zu Aufgabe 43

Sat, 11 Jan 2020 08:56:54 +0000

Hallo uqysn,

soweit ich das sehen kann, ist Deine Aussage richtig.

Viele Grüße,
Runxi (Tutorin)

Beantwortet: Verständnisproblem

Mon, 06 Jan 2020 15:02:03 +0000

Hallo uxgzf,

wie uqysn schon festgestellt hat, wir bei dem Zustandsübergang von (s0, $, a) → (s1,a) nur der Zustand gewechselt (von s0 in s1). Dies ist nötig, da nach dem $ überprüft werden muss, ob tatsächlich eine Spiegelung des Abschnitts vor dem $ vorliegt.

Die Sprache L = { w ∈ {a,b,$} | w = u$u', u ∈ {a,b}} besteht ja gerade aus Wörtern, deren Abschnitt u nach der Mitte des Wortes (gekennzeichnet durch $) nochmals gespiegelt als u' geschrieben wird.

Viele Grüße,

Dominik (Tutor)

Kommentiert: zusätzliche Regeln erforderlich?

Mon, 06 Jan 2020 14:48:23 +0000

Alles klar vielen Dank, ich bin fälschlicherweise davon ausgegangen, dass das b in der Notation der Regeln in dem Fall bedeutet, dass es auf die 1 geschrieben wird. Jetzt ist es klar :)

Kommentiert: Wie löse ich Aufgabe 46 unter Benutzung des Kellerspeichers?

Sat, 04 Jan 2020 15:26:00 +0000

Ja, der Algorithmus kann immer angewendet werden, solange nach einem nichtdeterministischen Kellerautomaten gefragt wird. Für die Generierung eines deterministisschen Kellerautomaten kann der Algorithmus nicht verwendet werden.

Viele Grüße,

Sören (Tutor)

Kommentiert: Kellerautomat - Mehr als ein Zeichen auf den Stack legen

Thu, 18 Jul 2019 13:34:00 +0000

https://info2.aifb.kit.edu/qa/index.php?qa=4840&qa_1=s3-1-b-s3-b1-kann-man-kellerzeichen-im-keller-tauschen&show=4840#q4840
Zitat Tutor:"Man kann nur das oberste Kellerzeichen lesen und dann durch ein beliebiges Wort

∈K∗∈K∗ ersetzen.

Bei (s3,1,b)→(s3,b1)(s3,1,b)→(s3,b1) werden nicht die obersten zwei Kellerzeichen getauscht, sondern nur das oberste Kellerzeichen bb durch b1b1 ersetzt. Diese Überführung ist also erlaubt und somit ist auch die Ableitung des Testwortes korrekt.

Viele Grüße

Philipp (Tutor)"

https://info2.aifb.kit.edu/qa/index.php?qa=5992&qa_1=mehrere-kellerzeichen-gleichzeitig-löschen
Zitat Tutor:"Schauen wir uns hierfür ein Teil der Definition aus dem Lehrbuch an (S.49-50):

"Wenn sich der Kellerautomat in Zustand s ∈ S beﬁndet und auf dem Eingabeband e gelesen wird und das oberste Kellerzeichen k ∈ K ist, dann wird k im Keller durch das ganze Wort v ∈ K* ersetzt, indem dieses von hinten nach vorne zeichenweise auf den Keller gepusht wird".

Desweiteren gilt für die Zustandsüberführungsfunktion folgendes:

δ∶ S × (E ∪ {λ}) × K → S × K*

Da der Lese/Schreibe-Kopf des Kellers immer auf dem obersten Kellerzeichensteht und nur dieses liest, sind nur Zustandsübergänge folgender Form erlaubt:

δ(s, e, k) = (s ′ , v) mit s, s' ∈ S, e ∈ E, k ∈ K und v ∈ K*.

k besitzt daher nur ein Element aus K (und nicht wie du es angeben wolltest zwei Elemente (00).

Zusammenfassend können wir also sagen, dass pro Rechenschritt jeweils nur das oberste Zeichen des Kellers überschrieben bzw. gelöscht werden kann."

Kommentiert: Kap.3 Kellerautomaten, Folie 15

Wed, 09 Jan 2019 12:48:32 +0000

Alles klar, das war soweit verständlich.. Danke!

Bearbeitet: Alternativlösung (a)

Fri, 16 Mar 2018 16:07:21 +0000

Hallo,

ist diese Lösung auch korrekt?

@[ID-31298]@

Vielen Dank im Voraus und viele Grüße!

Beantwortet: Voraussetzungen für die Terminierung des Kellerautomaten

Sat, 10 Feb 2018 07:13:40 +0000

Hallo,

der Keller muss nicht leer sein, der Automat muss sich lediglich in einem Endzustand befinden.

Viele Grüße

Niklas (Tutor)

Beantwortet: Wieso ist der KA bei einem Zustandsübergang wie diesem nichtdeterministisch?

Sun, 04 Feb 2018 11:19:25 +0000

Hallo,

sie sind nur dann nichtdeterministisch wenn es neben dem Lambda-Übergang noch einen anderen Übergang mit gleicher Zustand-Keller-Kombination gibt.

Mit freundlichen Grüßen

Laurin (Tutor)

Kommentiert: Neue Zeichenkette Keller-Automat

Fri, 19 Jan 2018 15:58:41 +0000

Genau, gerne!

Beantwortet: prüfen ob eine Überführungsfunktion richtig ist

Sat, 06 Jan 2018 15:53:52 +0000

Ich bin nicht sicher, ob ich ganz richtig verstehe, was Sie wissen möchten.

Sie haben recht, ein Testwort zeigt nur für den einen Fall, dass die Überführungsfunktion in diesem Fall korrekt ist; es kann keine Aussage über ihre Korrektheit im Allgemeinen abgeleitet werden (außer, wenn sie nicht korrekt ist - dann reicht u.U. ein einziger Testfall).

Durch Testen kann man nie vollständig sicher sein, dass die Überführungsfunktion korrekt ist.

Leider gibt es allerdings für alle Automatentypen ab det. Kellerautomaten kein automatisches Beweisverfahren, um zu zeigen, dass die Semantik der Überführungsfunktion korrekt ist (die Semantik ist "das, was das Programm tut"). Sie kennen das ja vom Programmieren in Java etc. Wenn man sicher sein will, dass ein Programm korrekt ist, muss man sich schon hinsetzen und das in jedem Einzelfall von Hand beweisen.

(Es gibt Model-Checking-Verfahren, die einen halbautomatischen Mittelweg darstellen, aber damit haben wir uns nicht beschäftigt.)

Kurz gesagt, können Sie also leider nicht mit dem XWizard überprüfen, ob eine Überführungsfunktion korrekt ist. Und auch sonst gibt es kein automatisches Werkzeug, das das kann. Für die Klausur müssen Sie trotzdem in der Lage sein, korrekte Überführungsfunktionen anzugeben - und diese Korrektheit eventuell beispielhaft an einem Testwort zu demonstrieren.

(Beweisen, dass eine Überführungsfunktion korrekt ist, müssen Sie dagegen normalerweise nicht.)

Beantwortet: diese Lösung auch möglich?

Fri, 05 Jan 2018 14:21:53 +0000

Hallo,

da sich in deinem Keller, sobald Zustand s3 erreicht wird, nur noch das initiale k0 befindet und dieses nicht gelöscht werden kann (vgl. neues Lehrbuch S.48/49), muss der entsprechende Zustandsübergang wie folgt lauten:

(s3, b, ko) -> (s4, k0)

Die letzte Zeile deiner Zustandsüberführungsfunktion ist überflüssig.

Um dir für die Klausur keine falschen Angewohnheiten anzugewöhnen, solltest du immer darauf achten, den Kellerautomaten immer vollständig anzugeben (dazu gehört das gesamte 6er-Tupel A = (E, K, S, δ, s0 , F) und nicht nur die Zustandsübergangsfunktion.

Ich hoffe ich konnte dir weiterhelfen.

LG Tutor

Beantwortet: zusätzliches Symbol für das Kelleralphabet

Fri, 05 Jan 2018 14:10:03 +0000

Hallo,

ein kurzer Blick in das neue Lehrbuch sollte deine Frage beantworten können.

Auf S.49 findest du die Definition eines det. Kellerautomaten mit u.a. folgendem Inhalt:

E ist das Eingabealphabet, das alle Zeichen enthält, aus denen die Eingabe (ohne k0 ) bestehen kann.
K ist das Kelleralphabet, das dem Bandalphabet bei Turingmaschinen entspricht. Dazu gehört insbesondere das k0 -Zeichen zur Kennzeichnung des Kellerbodens (aber nicht unbedingt die Zeichen aus E), und es können noch beliebige weitere Zeichen darin enthalten sein.

Eine pauschale Antwort auf deine Frage wann man wie vorgeht gibt es nicht.

In der Aufgabe wird das b dafür verwendet um anzuzeigen, dass noch eine weitere 0 gelesen werden muss, um eine bereits gelesene 1 auszugleichen (auszugleichen im Sinne der formalem Sprachdefinition, dass Wörter der Sprache doppelt so viele Nullen enthalten als Einsen).

Ich hoffe ich konnte dir weiterhelfen.

LG Tutor

Beantwortet: mehrere Kellerzeichen gleichzeitig löschen?

Fri, 05 Jan 2018 13:57:03 +0000

Hallo,

Schauen wir uns hierfür ein Teil der Definition aus dem Lehrbuch an (S.49-50):

"Wenn sich der Kellerautomat in Zustand s ∈ S beﬁndet und auf dem Eingabeband e gelesen wird und das oberste Kellerzeichen k ∈ K ist, dann wird k im Keller durch das ganze Wort v ∈ K* ersetzt, indem dieses von hinten nach vorne zeichenweise auf den Keller gepusht wird".

Desweiteren gilt für die Zustandsüberführungsfunktion folgendes:

δ∶ S × (E ∪ {λ}) × K → S × K*

Da der Lese/Schreibe-Kopf des Kellers immer auf dem obersten Kellerzeichen steht und nur dieses liest, sind nur Zustandsübergänge folgender Form erlaubt:

δ(s, e, k) = (s ′ , v) mit s, s' ∈ S, e ∈ E, k ∈ K und v ∈ K*.

k besitzt daher nur ein Element aus K (und nicht wie du es angeben wolltest zwei Elemente (00).

Zusammenfassend können wir also sagen, dass pro Rechenschritt jeweils nur das oberste Zeichen des Kellers überschrieben bzw. gelöscht werden kann.

Ich hoffe ihr konnte dir damit weiterhelfe.

LG Tutor

Beantwortet: Kellerautomaten auf Richtigkeit überprüfen

Sun, 23 Jul 2017 17:32:21 +0000

Hallo,

grundsätzlich gibt es für Kellerautomaten ja viele richtige Lösungen und wenn sich bei deinen eigenen Automaten die Testwörter ableiten lassen, ist das schon einmal ein guter Hinweis auf ihre Richtigkeit. Allerdings reicht das Erkennen der Wörter einer Sprache nicht aus, es dürfen anders herum die Wörter, die nicht zur Sprache gehören, auch nicht vom Automaten akzeptiert werden.
Am besten ist es immer sich zu überlegen, wenn er das Testworter erkennt, ob es wirklich nur die Möglichkeit gibt zugehörige Wörter der Sprache zu akzeptieren, oder ob es auch ein Gegenbeispiel gibt.

Liebe Grüße und viel Erfolg beim Lernen!

Kommentiert: Alternative Lösung

Tue, 18 Jul 2017 07:15:53 +0000

Also bei mir funktioniert es mit der Musterlösung:
@[ID-24668]@

Beantwortet: fehlender Zustand mit drin

Tue, 18 Jul 2017 06:41:22 +0000

Na ja, Sie können zum Beispiel Ihren neuen Übergang zum Skript aus dem verlinkten Post (das übrigens falsch war, ich habe es korrigiert) hinzufügen und sich dann die Berechnung für ein Beispielwort anschauen. Im Fall des Wortes $ababbaba$ funktioniert das bspw. wie unten angegeben (am Ende wird akzeptiert, also passt es in diesem Fall).

Allerdings ist das natürlich kein Beweis, dass es für alle Wörter der verlangten Sprache funktioniert. In vielen Fällen sehen Sie aber schnell, wenn etwas schiefläuft und woran es liegt. Sie können auch andere Wörter unter $inputs=...;$ angeben und sich die entsprechenden Berechnungen anschauen (dafür müssen Sie auf den Link zur XWizard-Seite klicken, das geht nicht direkt auf dieser Seite). Zum Animieren klicken Sie am besten in die Zustände des Automaten.

@[ID-24652]@

Antwort bearbeitet: lösung

Tue, 18 Jul 2017 06:34:41 +0000

Noch ein weiterer Hinweis zu Alternativlösungen: Sie können auch denXWizard nutzen, um Ihre Lösungen zu überprüfen.

Das Skript zu Ihrer Lösung wäre:

pda:

(s0,a,k)=>(s0,ak);

(s0,b,a)=>(s0,ba);

(s0,a,b)=>(s0,ab);

(s0,b,b)=>(s1,lambda);

(s1,a,a)=>(s1,lambda);

(s1,lambda,k)=>(se, k);

--declarations--

s0=s0;

F=se;

kSymb=k;

inputs=ababbaba

--declarations-end--

Hier ist die Berechnung für $ababbaba$:

@[ID-24647]@

Dort sehen Sie auch, dass genau der Fall, der von Marvin angesprochen wurde, nicht abgedeckt ist.

Antwort ausgewählt: KA |w|a mod 2 = 0

Mon, 13 Feb 2017 10:13:08 +0000

Hallo,

ja das ist durchaus möglich. Es ändert sich ja nichts am Prinzip eines Kellerautomatens, wenn du beim Einlesen des gleichen Zeichens löschst oder wenn das Löschen durch ein neues Zeichen initiiert wird.

Liebe Grüße

Erneut kategoriesiert: Übungsaufgabe 41a)

Sat, 11 Feb 2017 17:25:01 +0000

Hallo,

verstehe ich das richtig, dass bei einem Testwort (bspw. aab) der Keller im Endzustand nie leer ist? (Ein a bleibt drin stehen)

Ist das in Ordnung weil der KA nicht deterministisch ist oder wie kann ich das deuten? Ich dachte, dass das Wort immer vollständig gelesen sein muss + der Keller leer sein muss, sodass ein Wort akzeptiert wird.

Vielen Dank im voraus.

Beantwortet: Aufgabe 44 Übungsbuch

Tue, 07 Feb 2017 15:50:20 +0000

Hallo,

wenn du s3 und s4 zusammenfasst, nimmst du an, dass in diesem Zustand für die Eingabe "a" oder "b" immer gelöscht wird. Das würde aber auch bedeuten, dass nach der Eingabe bzw. dem Herauslöschen durch die hinteren "a"s weitere "b"s folgen dürften, da du den Zustand nicht wechselst. "aaaccbab" wäre dann akzeptiert. Die Sprache definiert aber strikt, dass hinten bnap gilt. Du darfst die Zustände also nicht zusammenfassen.

Kommentiert: Alternative Lösung?

Tue, 07 Feb 2017 14:20:53 +0000

Ja, stimmt, ein dummer Tippfehler. Danke!

Beantwortet: Zustände bei Kellerautomaten

Tue, 07 Feb 2017 10:27:31 +0000

Hallo,

es ist schwierig eine generelle Regel anzugeben, aber es ist überhaupt nicht relevant genau die Musterlösung zu haben. Solange dein Automat das macht was gefordert ist bekommst die die volle Punktzahl, auch wenn du 20 Zustände dafür brauchst.

Wenn du noch eine genauere Antwort möchtest, gib doch mal ein Beispiel an, das man dann gemeinsam durchsprechen kann.

Christian (Tutor)

Beantwortet: Alternativ

Fri, 27 Jan 2017 01:58:36 +0000

Man kann $(s_0, \$, k_0) \rightarrow (s_2,k_0)$ statt $(s_0, \$, k_0) \rightarrow (s_1,k_0)$ schreiben.

$(s_1, \lambda, k_0) \rightarrow (s_2,k_0)$ darf jedoch nicht weggelassen werden.

Viele Grüße

Philipp (Tutor)

Antwort ausgewählt: Lambda Übergang, KA nicht det

Thu, 26 Jan 2017 21:46:01 +0000

Wichtig beim Determinismus ist es, dass wenn ein Lamda-Übergang definiert ist, nicht auch noch ein weiterer Übergang für das gleiche Kellerzeichen und den gleichen Zustand definiert sein darf.

Kommentiert: Aufwand Spracherkennung

Wed, 25 Jan 2017 06:30:45 +0000

Ist übrigens ein typischer Informatiker-Trick, die Leute mit so einer Formulierung zu verwirren ;-)

Aber wenn man es einmal verstanden hat, macht man es auch selber gerne.

Bearbeitet: Ist folgender Übergang für $\delta(s_0, \$, k_0)$ auch möglich?

Tue, 24 Jan 2017 19:47:29 +0000

Kann anstelle von

$\delta(s_0, \$, k_0) = (s_1, k_0)$

auch

$\delta(s_0, \$, k_0) = (s_2, k_0)$

bei sonst gleicher Konfiguration von $\delta$ verwendet werden? Falls nch $\$$ noch Buchstaben kommen würden (also das Wort nicht mehr Teil der Sprache ist) wäre der KA ja im Endzustand aber hätte das Wort nicht abgearbeitet --> nicht akzeptiert oder?

LG

Kommentiert: Musterlösung, $(s_2, 1100000, k_0) \Rightarrow (s_3, 1100000, bk_0)$, wie kommt dieser Übergang zustande?

Tue, 24 Jan 2017 07:51:48 +0000

Hallo, schön dass du dir die Frage selbst beantworten konntest. Ja wenn du den Übergang definierst kannst du ihn natürlich auch verweden. Du musst aber darauf achten, dass dein Kellerautomat nur dann deterministisch bleibt, wenn du nur einen Lamda-Übergang für ein bestimmten Zustand und ein bestimmtes Kellerzeichen ODER einen Übergang mit Beachtung des Eingabebandes definierst.
Liebe Grüße
Verena (Tutor)

Kommentiert: Definition neuer Zustände

Mon, 16 Jan 2017 19:42:54 +0000

Danke für den (doppelten) Hinweis! ;)

Kommentiert: alternativlösung

Sun, 15 Jan 2017 17:44:02 +0000

Ja, da sieht es schon besser aus. Hier sollte die Lösung soweit korrekt sein. In deinem Fall müsstest du jedoch den Keller gar nicht mitbenutzen, da du bei jeder Eingabe sowieso den Zustand wechselst. (Siehe Aufgabenteil B)

Antwort bearbeitet: Alternativlösung Kellerautomat

Sun, 15 Jan 2017 16:36:52 +0000

Leider funktioniert das so nicht. Dein Automat erkennt folgende Wörter: $(ab)^m(ba)^n$. Es müsste also noch überprüft werden, ob wirklich m=n gilt, damit der Automat wirklich die Sprache L akzeptiert.

Viele Grüße,
Julia (Tutorin)

Antwort bearbeitet: (s3; 1; b) -> (s3; b1) Kann man Kellerzeichen im Keller tauschen?

Sat, 14 Jan 2017 14:09:39 +0000

Man kann nur das oberste Kellerzeichen lesen und dann durch ein beliebiges Wort $\in K^*$ ersetzen.

Bei $(s_3,1,b) \rightarrow (s_3,b1)$ werden nicht die obersten zwei Kellerzeichen getauscht, sondern nur das oberste Kellerzeichen $b$ durch $b1$ ersetzt. Diese Überführung ist also erlaubt und somit ist auch die Ableitung des Testwortes korrekt.

Viele Grüße

Philipp (Tutor)

Kommentiert: Alternativlösung (schon wieder)

Mon, 09 Jan 2017 11:08:33 +0000

Vielen Dank für die schnelle Antwort!

Kommentiert: Kellerautomat Zustandsüberführungsfunktion

Tue, 15 Nov 2016 17:18:27 +0000

Vielen Dank!