Theoretische und technische Informatik - ganz praktisch - Letzte Fragen in Band I, Kapitel 5

Aufgabe 43

Tue, 16 Mar 2021 21:54:08 +0000

Hallo,

ich stelle mir die Frage warum bei dieser Aufgabe:

(S0, lambda , ko) → (Se, k0)

weggelassen wird?

Das leere Wort ist ja in der Sprache enthalten, oder? Falls nein, liegt es an dem hinteren Teil der Definition der Formalen Sprache? Das es also immer mindestens ein Dollarzeichen geben muss?

Liebe Grüße und Vielen Dank!

Aufgabe 41 a) Alternative Lösung

Tue, 16 Mar 2021 21:43:13 +0000

Hallo, da die Lsg sehr kurz gefasst ist und ich auf eine andere Lsg gekommen bin wollte ich sicher gehen, dass meine Lsg auch "richtig" ist:

Delta:

(S0, lambda , ko) → (Se, k0)

(S0, a , ko) → (S1, ak0)

(S1, a , ko) → (S1, ak0)

(S1, a , a) → (S1, lambda)

(S1, b, ko) → (Se, k0)

(S1, b , ko) → (S1, bk0)

(S1, a , b) → (S1, ab)

(S1, b , b) → (S1, lambda)

(S1, lambda , ko) → (Se, k0)

Vielen Dank und Liebe Grüße!

Aufgabe 46 / alternative Lösung

Fri, 08 Jan 2021 15:42:23 +0000

Hallo,

da in der Lösung nur ein Kellerautomat gegeben ist der den Keller nicht benutzt, wollte ich festellen ob meine Lösung ebenfalls richtig ist?

Hier meine Lösung:

A=({a,b},{S0,S1,S2},{K0,a,b},delta,S0,K0,{Se})

delta:

(S0,b,K0) -> (S1,bK0)

(S0,a,K0) -> (S1,aK0)

(S1,b,bK0) -> (S0,lambda)

(S1,a,aK0) -> (S2, lambda)

(S2,b,K0) -> (Se, lambda)

Vielen Dank im Voraus!

Alternative A44

Mon, 13 Jan 2020 09:56:14 +0000

Hallo,

ich wollte mal fragen, warum mein KA zur A44 höchstwahrscheinlich falsch ist?

Endzustand: se

Übergänge:

(s0, lambda, k0) -> (se, k0)

(s0, a, k0) -> (s0, ak0)

(s0, c, k0) -> (s0, ck0)

(s0, a, a) -> (s0, aa)

(s0, c, a) -> (s0, ca)

(s0, c, c) -> (s1, lambda)

(s1, c, k0) -> (s1, ck0)

(s1, c, a) -> (s1, ca)

(s1, c, c) -> (s1, lambda)

(s1, a, a) -> (s3, lambda)

(s1, b, a) -> (s2, lambda)

(s1, lambda, k0) -> (se, k0)

(s0, b, a) -> (s2, lambda)

(s0, a, a) -> (s3, lambda)

(s2, b, a) -> (s2, lambda)

(s2, lambda, k0) -> (se, k0)

(s2, a, a) -> (s3, lambda)

(s3, a, a) -> (s3, lambda)

(s3, lambda, k0) -> (se, k0)

Danke im Voraus!

Alternative zu Aufgabe 42

Sun, 12 Jan 2020 19:14:28 +0000

Hallo,

ich bin noch relativ unsicher bezüglich Kellerautomaten. Ich habe auch eine andere Lösung bei der 42a raus und wollte mal fragen, ob diese Version auch richtig wäre:

Endzustände: s2 , se

Zustandsübergänge:

(s0, a, k0) -> (s1, ak0)

(s1, b, a) -> (s2, a)

(s2, a, a) -> (s3, aa)

(s3, b, a) -> (s2, a)

(s2, b, a) -> (s4, a)

(s4, a, a) -> (s2, lambda)

(s2, lambda, k0) -> (se, k0)

Danke im Voraus!

Übungsaufgabe A42 Sprache

Sat, 19 Jan 2019 14:22:41 +0000

Hallo

ich habe gerade etwas Probleme das Konzept der Sprache zu verstehen.

Sind die Wörter ababbaba in der Sprache oder aabbbbaa , wenn i = 2 ist ?

Kellerautomaten A42

Sat, 12 Jan 2019 09:53:25 +0000

Hallo,

ich habe zwei Fragen zu der Aufgabe.

1. Habe ich den Automaten genauso aufgebaut, nur alle s1 in der Lösung sind bei mir s0 und die s2 eben s1, also ich habe letzlich einen Zustand weniger, da ich beim ersten Übergang (s0,a,k0) -> (s0,ak0) erneut auf s0 verwiesen habe. Der Automat müsste doch dann auch deterministisch sein oder?

2. Das leere Wort müsste doch eigentlich in der Sprache liegen, da wir ja einen Exponenten hoch 0 provozieren können. Das ist in der Musterlösung doch gar nicht der Fall?!

KEL-AD: Lambda - Übergang

Sun, 09 Dec 2018 16:33:08 +0000

Hallo,

verstehe ich richtig, dass bei einem nichtdeterministische Kellerautomaten ein Lambda-Übergang definiert werden kann, auch wenn ein anderer Übergang existiert, der aus dem selben Zustand und dem selben obersten Kellerzeichen abbildet?

Ist meine Lösung zu der Aufgabe (http://www.xwizard.de:8080/Wizz?template=ID-32626) damit auch korrekt?

Vielen Dank für die Hilfe!

Übungsaufgabe 43

Wed, 17 Jan 2018 13:21:14 +0000

Hallo,

ich vestehe die Sprache so: Es werden alle Wörter akzeptiert die in ihrer zweiten Hälfte (nach $\$$) immer das Komplement ihrer ersten Hälfte enthalten, also zum Beispiel: $aa\$bb$, $b\$a$, $ab\$ba$,... ist das so korrekt?

Wenn ja, verstehe ich die vorvorletzte und vorletzte Zeile bei der Konfiguration des KA nicht. Es müsste dann statt

$(s_1,a,a) \rightarrow (s_1,\lambda)$

$(s_1,b,b) \rightarrow (s_1,\lambda)$

eher

$(s_1,a,b)\rightarrow(s_1,\lambda)$

$(s_1,b,a)\rightarrow(s_1, \lambda)$

sein.

Kann mir jemand weiterhelfen?

Wann muss man immer einen Zustandswechsel machen?

Thu, 04 Jan 2018 16:54:54 +0000

In der Aufgabe 44:

Wieso muss ich hier (So, a, ko) -> (S1, ako) einen Zustandsübergang/wechsel machen? hätte ich nicht auch in so bleiben können und einfach das Zeichen a in den Keller geschrieben?

Übungsaufgabe 41 a), Band 1

Sun, 15 Jan 2017 13:47:34 +0000

Hallo zusammen,

für die Beantwortung der Aufgabe habe ich mir folgenden KA überlegt, der im Gegensatz zur angegebenen Lösung deterministisch ist.

(s0, a, k0) --> (s1, ak0)
(s1, a, a) --> (s2, aa)
(s2, b, a) --> (s3, lambda)
(s3, lambda, a) --> (se, lambda)
(se, a, k0) --> (s0, k0)

Wäre dieser nicht auch korrekt?

Wenn das b dann auf dem Eingabeband auftaucht, lösche ich das oberste der beiden a's im Keller. Anschließend bleibe ich aber noch auf der b-Position des Eingabebandes und lösche noch das zweite a, sodass der Keller dann in einen Endzustand kommt.

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!

s0 Endzustand?

Sun, 31 Jan 2016 10:34:45 +0000

Müsste in Aufgabe 42a) s0 nicht als Endzustand definiert werden, da das leere Wort auch zur Sprache gehört und hier ein deterministischer KA vorliegt?

Wann bei Kellerautomat Zustand wechseln?

Thu, 13 Nov 2014 07:58:30 +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?

Wann ist ein KA (nicht-)deterministisch?

Thu, 06 Nov 2014 11:21:03 +0000

Verstehe ich das richtig, dass sich der Nichtdeterminismus dadurch auszeichnet, dass ich aus einem Zustand zwei voneinander verschiedene Zustände erreichen kann?

zB in der Musterlösung:

$$(s_0,a,k_0) \rightarrow (s_0,ak_0)\\(s_0,\lambda,k_0) \rightarrow (s_e,k_0)$$

$s_0 \neq s_e$

Identische Übergänge bei nichtdeterministischen KA

Thu, 06 Nov 2014 11:11:01 +0000

Mal eine grundsätzliche Frage:

Wäre bei einem nichtdeterministischen Automaten auch folgen Lösung korrekt, mir geht es hierbei vor allem darum, ob auf der linken seite zwei mal das gleiche stehen darf:

$$(s_0, a, k_0) \rightarrow (s_1, ak_0) \\ (s_1, a, a) \rightarrow (s_2, a) \\ (s_2, b, a) \rightarrow (s_0, \lambda) \\ (s_2, b, a) \rightarrow (s_3, \lambda) \\ (s_3, \lambda, k_0) \rightarrow (s_e, k_0)$$