Theoretische und technische Informatik - ganz praktisch - Letzte Fragen in 2011 Bonusklausur

Zustandwechsel am Anfang notwendig

Sun, 12 Jan 2020 13:26:57 +0000

Hallo,

Ich möchte wissen, ob Zustandwechsel von S0 nach S1 notwendig ich , wenn Endzustand nur Se ist. Außerdem schreibt man (s0, λ, k0)–>(Se,k0)am ganz Anfang

Alternatives Pumpwort w = a^n b^m c^(m+n)

Tue, 07 Jan 2020 08:47:51 +0000

Hallo,

könnte man in der angegebenen Aufgabe beispielsweise auch das Pumpwort

w = a^n b^m c^(m+n) wählen?

Beim Pumpen erhält man für i = 0 dann : w' = a^(n-k) b^(m) c ^(m+n)

Es ist nicht ganz so offensichtlich wie in der Musterlösung, aber eigentlich dürfte w' auch nicht Teil der Sprache sein, da wegen k >0 der erste Teil aus a's und b's auf jeden fall um ein Zeichen kürzer ist als der zweite Teil bestehed nur aus c.

Wäre dies Argumentation richtig oder sollte beim der Wahl der Pumpwortes möglichst nur eine Variable vorkommen, wie z.B. n in der Musterlösung?

Danke und LG

Verständnis von s2-Übergängen

Sat, 19 Jan 2019 17:24:56 +0000

Hallo

Kann mir jemand erklären für was die letzten beiden Zustandsüberführungen gut sind.

(s2,c,a)-->(s2,lamda)

(s2,c,b)-->(s2,lamda)

Pumping-Lemma alle Zerlegungen?

Mon, 15 Jan 2018 16:34:05 +0000

Hallo,

ich habe immer noch Schwierigkeiten, das Pumping-Lemma zu verstehen. Bei Aufgabe 1 b) der Bonusklausur 2011 wird in der Lösung für eine mögliche Zerlegung gezeigt, dass es ein i gibt, sodass das Wort nach dem Pumpen von i nicht mehr in der ursprünglichen Sprache liegt.

Allerdings heißt es ja immer, man müsse für alle Zerlegungen beweisen, dass es ein i gibt, sodass für jede Zerlegung nach dem Pumpen von i das Wort nicht mehr in der Sprache liegt.

Wieso ist es in diesem Falle ausreichend, nur die eine einzige Zerlegung zu betrachten?

Bonus11, A1a, andere Lösung möglich?

Sun, 14 Jan 2018 16:32:33 +0000

1. wieso darf B auf Lamda abbilden? (kontextfrei ist spezieller als kontextsensitiv, und da kontextsensitiv Lamda-frei ist müsste auch kontextfrei Lamda-frei sein?)

2. Wäre auch { S -> Lamda I A I B,
A -> aSc,
B -> bSc} in Ordnung?

Ist das Wechseln von s1 in s2 notwendig?

Thu, 12 Jan 2017 18:20:40 +0000

Wäre dieser Lösungsansatz (ohne einen Zustandswechsel von s1 in s2) auch korrekt?

Vielen Dank, LG

Welchen Zweck erfüllt T in diesem Schaltwerk und Allgemein?

Thu, 12 Jan 2017 10:56:43 +0000

Hallo,

ich habe mich gerade gefragt, wozu der Takt T in diesem Schaltwerk eingeführt wurde (bzw. ob er einen Zweck hat). Wenn T den Wert 0 hat können ja keine Werte in die beiden RS FF eingelesen / gespeichert werden, bei 1 geht das. Sprich: T hat (bzw. muss) in diesem Fall doch ständig den Wert 1 haben, damit Wörter akzeptiert werden können?

Wie ist T hier überhaupt veränderbar?

Beste Grüße und vielen Dank im Voraus :)

ist s3 notwendig?

Mon, 09 Jan 2017 15:37:06 +0000

Hallo,

ist es notwendig noch einen weiteren Endzustand zu definieren oder könnte man s0 als einzigen Endzustand lassen (ist bei vielen anderen Beispielen ja so).

Danke!

Darf ich in den Keller was anderes schreiben, als ich lese?

Sun, 17 Jan 2016 12:20:04 +0000

Hallo,

woaas, jetzt bin ich verwirrt.

Ist folgender Übergang bei Kellerautomaten korrekt: (s0, a, k0) --> (s1, bk0) ?

Also darf ich, wenn ich ein a lese ein b in meinen Keller schreiben?

Wenn ich das dürfte wäre doch die Lösung der Aufgabe mit weniger Unterscheidungen lösbar, oder?

Nun hier könnte man doch den Spieß umdrehen?

Sat, 10 Oct 2015 18:54:50 +0000

ich habe mal eine grundlegene Frage zu diesem Pumping Lemma für EA:

Es heißt doch, dass man beim PPL alle möglichen Kombinationen wiederlegen muss, da wenn es eine Zerlegung (egal ob xyz oder uvwxy) gibt, diie funktioniert dann ist die Sprache doch regulär oddr eben kontextfrei.

Nun hier könnte man doch den Spieß umdrehen und das Lemma folglich aufbauen:

w = a^(n)b^(n)c^(2n) = xyz

(i) |yz|<=n

(ii) |y|>=1

(iii) für alle i Element N:xyz....

so nun sagt man yz=b^(j)c^(2j) und y=b^(k)c^(k)

--> z = b^(j-k)c^(2j-k)

nun ist x = a^(n)b^(n-j)c^(2n-2j)

wenn nun bei xy^(i)z i=0 ist gilt:

a^(n)b^(n-k)c^(2n-k)

und das wäre doch eine mögliche Zerlegung der anfänglichen Sprache, weil ja

(n)+(n-k) = (2n-k) ist und das ja die anfängliche Aussage war ...

Und nun Bitte ich einen Tutor diese Aussage zu wiederlegen, weil ich sonst dieses PumpingLemma net blicke =D

Danke

Gibt es hier Punktabzug wenn man noch ein zusätzliches A einführt?

Sat, 10 Oct 2015 18:53:43 +0000

Gibt es hier Punktabzug wenn man noch ein zusätzliches A einführt? Also dann die Fkt.

S -> A
A -> aAc / B / lambda
B -> bBC / lambda

erhält?

Danke im Voraus!

Können prinzipiell mehrere KA richtig sein?

Tue, 29 Sep 2015 10:09:47 +0000

Hallo,

kann man allgemein sagen, dass es möglicherweise mehrere richtige KA zu einer Aufgabe geben könnte? Bsp. zwei KA, die die geforderte Menge von Wörtern akzeptieren, sich aber in ihrer Zustandsmenge unterscheiden? Oder wird es immer nur einen eindeutigen KA geben, der die Anforderungen der Aufgabe vollständig erfüllt?

Falls es mehrere gibt, wie wird das in den Klausuren gehandhabt?

Gruß und Danke!

Akzeptiert KA auch Wörter die zu viele c's enthalten?

Tue, 29 Sep 2015 10:08:06 +0000

Hallo,

kann dieser Automat nicht auch Wörter akzeptieren die zuviele c's enthalten (aaccc) ? Der Automat macht doch am Schluss, wenn ich alle a's und b's gelöscht habe, einen Lamda-Übergang. Das heißt doch er würde in den Endzustand S3 wechseln und das Wort akzepieren (obwohl ja eigentlich nicht Teil der Sprache).

Steh gerade etwas auf dem Schlauch.

Vielen Dank

Vereinfachung möglich?

Tue, 29 Sep 2015 10:05:21 +0000

hätte man auch hier einfach für jede Eingabe von b auch ein a in den Keller schreiben können? So wurde es bei anderen Aufgaben teilweise gemacht, um wahrscheinlich weniger Übergänge definieren zu müssen. Wäre das hier auch korrekt?

Wann genau ist ein KA nicht deterministisch?

Tue, 29 Sep 2015 10:04:03 +0000

Hallo,

also wenn ich das richtig interpretiere, dann ist ja ein KA nicht det. wenn zb folgender Übergang existiert:

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

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

Da eben, durch lambda,k0 und a,k0 der "nicht Determinsimus" entsteht, stimmt das?

Und wenn ja, dann frage ich mich, warum hier in der Lösung in den Zustand s2 gewechselt wird/werden muss, wenn ich doch auch in s1 weiter lambda schreiben könnte sobald ich c lese.

Und warum ich s3 als zusätzlichen Endzustand brauche, kann ich nicht von

(s1 bzw. s2, lambda, k0) --> (s0, k0) wechseln?

Danke im Voraus!

Könnte man nicht bei den ersten beiden Übergängen in s0 bleiben?

Tue, 29 Sep 2015 10:02:36 +0000

Hallo,

muss ich bei den ersten beiden Übergängen in den Zustand s1 wechseln?

Könnte nicht in s0 bleiben?

Dazu würde ich die Übergänge s1 zunächst alle in s0 umbenennen.

Danke im Voraus

Verständnis von Flip-Flop / Takt T

Fri, 25 Sep 2015 16:11:10 +0000

Hallo,
Ich habe eine Frage zu den Flipflops bzw. zum Takt T, da ich es mir aus den Vorlesungsfolien leider auch nicht vollständig erschließen konnte.
Wenn ich hier z.B. Das Wort 11 habe, habe ich es richtig verstanden dass im ersten Takt, also wenn T eine 1 weitergibt das erste Zeichen meines Wortes ins Schaltwerk gegeben wird (auch eine 1)?

Dann wird doch im unteren Flipflop für q0 eine 1 ausgegeben und durch das & mit der antuellen 1 aus e eine 1 an den oberen Flipflop weitergegeben, der, da T im ersten Takt eine 1 "einfließen lässt" ja für q1 und somit a auch eine 1 ausgibt.
Ich weiß, dass ich etwas nicht verstanden habe, aber wie wird dann hier genau durch die Flipflops oder den Takt verhindert, dass schon bei Eingabe einer einzigen 1 für e bei a eine 1 ausgegeben wird?

Vielen Dank und liebe Grüße :)

Wie sieht das ursprüngliche Schaltwerk aus?

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

Hallo,

wie sah denn die ursprüngliche Aufgabe (das unvollständige Schaltwerk) aus? Leider ist die Klausur ja nur vollständig gelöst vorhanden. Mussten lediglich die Verbindungen (gestrichelten Linien) ergänzt werden oder noch mehr?

Vielen Dank.