Theoretische und technische Informatik - ganz praktisch - Letzte Aktivität in Band I, Kapitel 5

Beantwortet: Aufgabe 43

Sat, 20 Mar 2021 16:00:37 +0000

Hallo, nein, das leere Wort gehört nicht zu der Sprache, wegen des Dollarzeichen. Das $-Zeichen muss immer in dem Wort enthalten sein, wenn es zur Sprache gehören soll. (Man muss immer auf die Definition achten, lambda gehört nicht automatisch zur Sprache, wenn im linken Teil E* steht)

Daher kann der Kellerautomat nicht direkt in den Endzustand, wie du richtig festgestellt hast

Kommentiert: Aufgabe 41 a) Alternative Lösung

Fri, 19 Mar 2021 15:54:51 +0000

Top! Dankeschön :)

Kommentiert: Aufgabe 46 / alternative Lösung

Fri, 22 Jan 2021 16:25:07 +0000

Hallo Anne,
ich habe endlich Zeit gefunden, die Aufgabe zu überarbeiten.

Vielen Dank für deine Antwort!

Beantwortet: Alternative A44

Tue, 14 Jan 2020 09:44:15 +0000

Hallo,

ich habe deinen Kellerautomat angeschaut und etwas getestet; für mich sieht er eigentlich richtig aus.

Meiner Meinung nach ist er ist in der Lage, die Wörter zu akzeptieren, die in der Sprache L liegen. Schwieriger ist es allerdings zu entscheiden, ob er auch nur die Wörter akzeptiert, die in der Sprache liegen.

Wie gesagt, für mich scheint dieser KA richtig zu sein.

Viele Grüße,

Tim (Tutor)

Beantwortet: Alternative zu Aufgabe 42

Sun, 12 Jan 2020 20:59:40 +0000

Hallo uzqqk,

deine Idee war gut. Dein KA ist aber leider falsch.

Zuerst soll s2 kein Endzuständ sein, ansonst wird ab auch akzeptiert.

Außerdem gibt es keinen eindeutigen "Wendepunkt", deshalb können ab und ba abwechselnd vorkommen. Z.B. das Wort ababbaabbaba wird von deinem KA akzeptiert.

Ich würde emfehlen, dass du zum nächsten Mal deinen KA (oder EA) mit einigen typischen Wörtern selbst testest, was dir viel helfen könnte.

Viele Grüße,

Runxi (Tutorin)

Beantwortet: Übungsaufgabe A42 Sprache

Sat, 19 Jan 2019 14:45:32 +0000

Hallo uvlpj

ababbaba, abababbababa wären z.b. Element der Sprache.

Liebe Grüße
Philipp (Tutor)

Beantwortet: Kellerautomaten A42

Sun, 13 Jan 2019 10:42:46 +0000

Hallo uyuee,

zu 1: Ja, er ist auch deterministisch, aber entspricht der Sprach L nicht. Weil die Endzustandsmenge {s0,se} ist. Ein Gegenbeispiel wäre das Wort "a". Mit deinem Automaten landet es mit der Übergangsfunktion(s0,a,k0) -> (s0,ak0) in den Zustand s0, der ein Endzustand ist. Somit wird "a" von deinem Automaten akzeptiert, aber "a" gehört nicht zur Sprache L.

Zu 2: Da s0 ein Endzustand ist, wird das leere Wort akzeptiert.

Ich hoffe ich konnte dir damit helfen.

Viele Grüße,

Runxi (Tutorin)

Beantwortet: KEL-AD: Lambda - Übergang

Sun, 09 Dec 2018 18:17:32 +0000

Hallo,

Ja das mit dem Lambda-Übergang bei NEA hast du richtig verstanden.

Dein Automat ist jedoch nicht korrekt, da er beispielsweise das leere Wort (m=n=p=q=r=0) oder das Wort aaba (bzw. alle Wörter mit r=0), welche beide in der Sprache enthalten sind, nicht akzeptiert.

Viele Grüße

Jannik (Tutor)

Kommentiert: Übungsaufgabe 43

Fri, 19 Jan 2018 14:55:23 +0000

Genau, bei der Sprache handelt es sich um Palindrome, die in der Mitte ein $ enthalten. Damit ist deine Antwort genau richtig.
Viele Grüße,
Julia (Tutor)

Beantwortet: Wann muss man immer einen Zustandswechsel machen?

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

Hallo,

das kann ich so allgemein leider nicht beantworten. Das hängt selbstverständlich sehr von den weiteren Übergängen ab.

Merken kannst man sich aber auf jeden Fall immer, dass es sich bei der angegebenen Lösung nur um EINE mögliche Lösung handelt.

Es gibt außerdem bereits eine sehr gute Erklärung hier im Forum bzgl. der Frage wann und warum Zustandsübergänge gemacht werden.

Ich hoffe ich konnte weiterhelfen. Falls nicht bitte ich, die Frage zu präzisieren bzw. Ihre Lösung der Aufgabe hier zu posten.

LG ein Tutor

Beantwortet: Übungsaufgabe 41 a), Band 1

Sun, 15 Jan 2017 14:51:35 +0000

Hallo,

in deinem Fall, so wie du den Kellerautomaten dargestellt hast bräuchtest du den Keller gar nicht zu benutzen, da du sowieso bei jedem Übergang den Zustand wechselst. Schau dir dafür den Aufgabenteil b an.

Desweitern wird bei deinem KA aktuell z.B. nicht das Leere Wort erkannt (außer du definierst S0 noch als Endzustand))
Ein weiterer Fehler den ich auf Anhieb noch sehe ist, dass du in deinem letzten Übergang (se, a, k0) --> (s0, k0) das bereits wieder in den Keller schreiben müsstest und direkt in den Zustand s1 musst.

Grüße, Sören (Tutor)

Aufgabe 42a) Zustandsüberführungsfunktion

Tue, 28 Jun 2016 09:23:36 +0000

Guten Tag,

Ich verstehe bei der oberen Aufgabe die dritte Zeile der Zustandsüberführung nicht.

Wieso fügt man (s1,a,b)->(s1,ab) hier ein?

Zu diesem Ereignis kann es doch laut Sprachdefintion gar nicht kommen?

Vielen Dank für ihre Antwort!

Kommentiert: s0 Endzustand?

Sun, 31 Jan 2016 11:19:42 +0000

Doch: die Hauptseite zu dieser Aufgabe (mit ID KEL-AE) ist diese: http://info2.aifb.kit.edu/qa/index.php?qa=85
Von dort kommen Sie zur Kategorie. Oder Sie klicken die ID in der PDF an.

Erneut kategoriesiert: Wann bei Kellerautomat Zustand wechseln?

Thu, 25 Dec 2014 21:53:20 +0000

Hallo,

ich habe noch ein Problem mit den Zustandsübergängen bei Kellerautomaten. Ich bin mir oft nicht sicher, wann genau ich meinen Zustand wechseln muss. Gibt es da irgendeine "Faustregel", an die ich mich halten kann?

Kommentiert: Wann ist ein KA (nicht-)deterministisch?

Thu, 06 Nov 2014 11:37:05 +0000

Fast richtig. "bei gegebenem Zustand und oberstem Kellerzeichen" darf es in einem deterministischen KA auch mehrere Überführungen geben, wenn man anhand dem eingelesenen Zeichen eindeutig feststellen kann, welche Überführung "passt". Siehe dazu auch mein Beispiel von oben:
$$(s_0, a, k_0) \rightarrow (s_0, ak_0) \\ (s_0, b, k_0) \rightarrow (s_1, bk_0)$$
$\lambda$ ist ein Sonderfall, da anstelle des nächsten Zeichens immer auch $\lambda$ (=nichts) eingelesen werden kann. Deshalb "passen", wenn beispielsweise das nächste Zeichen $a$ ist und man die beiden Überführungen
$$(s_0, a, k_0) \rightarrow (s_0, ak_0) \\ (s_0, \lambda, k_0) \rightarrow (s_1, bk_0)$$
hat, beide Überführungen.
Gruß
Tobias (Tutor)

Kommentiert: Identische Übergänge bei nichtdeterministischen KA

Thu, 06 Nov 2014 11:14:28 +0000

Okay, das lässt sich ja in einer Zeile kurz durch $(s_0, \lambda, k_0) \rightarrow (s_e, k_0)$ hinzufügen. Danke!