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

Beantwortet: Zustandwechsel am Anfang notwendig

Sun, 12 Jan 2020 15:15:31 +0000

Hallo urgwq

Wenn du dir bei deiner Lösung deine ersten drei Übergänge anschaust, da hast du ja zum Beispiel die Möglichkeiten:

1) Erstes Zeichen ist ein 'a': Ich lese im Startzustand (s0) und leerem Keller (oberstes Kellerzeichen k0) ein 'a' ein und bleibe in s0 oder ich lese '

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

Tue, 07 Jan 2020 20:19:04 +0000

Hallo uipmv,

Bei dem PPL versuchen wir immer, unsere Testwort mit nur einer Variablen auszudrücken (in der Lösung zum Beispiel unser "n"). Dadurch wird zum Beispiel unsere Bedingung |w| >= n leichter zu überprüfen. Ich würde also empfehlen lieber Testwörter solcher Form zu verwenden. Da ich aber nichts widersprüchliches finden konnte bezüglich der Frage, ob auch eine zweite Variable im Testwort vorkommen darf, sollte Ihre Alternativlösung auch funktionieren.

Viele Grüße

Alex (Tutor)

Beantwortet: Verständnis von s2-Übergängen

Sat, 19 Jan 2019 17:54:55 +0000

Hallo uvlpj,

diese Zustandsüberführungen entleren den Keller.

Mit δ(s1, c, a) = (s2, λ) und δ(s1, c, b) = (s2, λ) erkennt das Automat, dass genau die Hälfte des Wörtes bearbeitet wurde und löscht das letzte im Keller gelegte Zeichen und die erste c. Mit der von dir genannte Zustandsüberführungen werden alle Weitere Zeichen gelöscht. Nur wenn das Wort fertig bearbeitet wurde und gleichzeitig den Keller leer ist, wird das Wort akzeptiert.

Viele Grüße,

Natalie (Tutorin)

Beantwortet: Pumping-Lemma alle Zerlegungen?

Mon, 15 Jan 2018 16:57:08 +0000

Sie meinen die Formulierung "Nach dem PPL existiert eine Zerlegung w = xyz mit..."?

Das bezieht sich auf die ANNAHME, das PPL wäre in diesem Fall anwendbar. Das führen wir im Anschluss zum Widerspruch, und bei der Negation wird aus dem "Existiert" ein "Für alle".

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

Sun, 14 Jan 2018 18:21:25 +0000

Hallo,

zu 1)

Die Antwort findet sich im Volesungsfoliensatz 3 auf Folie 16 oder auch in den Tutoriumsfolien Foliensatz Nr. 3 auf Folie 19.

"Bei allen Typen außer Typ 1, sind auch Übergänge A -> \lambda erlaubt."

zu 2)

Ich kann keinen Fehler entdecken.

Viele Grüße

Alex (Tutor)

Beantwortet: Ist das Wechseln von s1 in s2 notwendig?

Thu, 12 Jan 2017 20:17:44 +0000

Hallo,

ja der Zustandswechsel ist hier notwendig. In deinem Fall würden sonst beispielsweise auch Wörter wie abccabcc erkannt werden. Da ich ja ein c einlese und weiterhin in S1 bin kann ich im Anschluss also beispielsweise wieder ein a einlesen. Das ist bei den Wörtern der Sprache jedoch nicht der Fall. Sobald einmal ein c eingelesen wurde dürfen nur noch c kommen und zwar genau n+m viele.

Grüße, Sören (Tutor)

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

Thu, 12 Jan 2017 11:38:18 +0000

Hallo,

den Takt T haben wir immer, wenn wir Schaltwerke betrachten. Diese haben im Gegensatz zu den Schaltnetzen (wie im Tutorium behandelt) auch immer eine Rückführung des Ausgangssignals.
In dem Beispiel von q0 des unteren Flip-Flops zu dem „Und“ Gatter.
Da wir eine Rückführung von Signalen haben betrachten wir hier immer diskrete Zeitintervalle. Z.B. im ersten Zeitintervall wird noch die 0 zurückgeführt. Sobald in einem Intervall q0 auf 1 springt wird dann daraufhin im folgenden Intervall die 1 zurückgeführt (im aktuellen jedoch noch nicht).
Den Takt haben wir hier also, damit wir von diskreten Perioden sprechen können. Sprich T=0 beendet immer ein Intervall und sobald T=1, sind wir im nächsten Intervall und können/müssen dann auch die rückgeführten Werte aus der Vorperiode betrachten.

Grüße, Sören (Tutor)

Beantwortet: ist s3 notwendig?

Mon, 09 Jan 2017 15:59:25 +0000

Hier kann man s3 nicht weglassen, sonst könnte ich, wenn ich dann in s0 bin, quasi wieder anfangen und neue Zeichen einlesen.

Das Wort abccabcc würde damit z.B. erkannt werden, was jedoch nicht Teil der hier definierten Sprache ist.

Grüße, Sören (Tutor)

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

Sun, 17 Jan 2016 12:48:57 +0000

Vielleicht noch zur Ergänzung: Man darf nicht nur jedes Zeichen auf den Keller schreiben, das im Kelleralphabet steht, sondern auch beliebige Kombinationen von Zeichen aus dem Kelleralphabet. Man darf also sowohl $\lambda$ auf den Keller schreiben, als auch ein einzelnes Kellerzeichen als auch belibig lange Ketten von Kellerzeichen. Gelesen wird dabei aber immer nur ein einziges Zeichen, das oberste, und dieses wird vor dem Schreiben aus dem Keller gelöscht.

Schauen Sie sich als Bespiel für Kellerautomaten, die mehr als ein Zeichen auf den Keller schreiben, ruhig mal das Verfahren an, um aus einer kontextfreien Grammatik einen Kellerautomaten zu machen.

Auch der XWizard kann das, klicken Sie bei dieser Grammatik mal auf die Konversions-Methode "Kellerautomat":

http://www.xwizard.de:8080/Wizz?template=ID-12630#Output

Es kommt ein Automat heraus, der an einer Stelle $aSb$ auf den Keller schreibt, also ein Zeichen löscht und drei neue schreibt.

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

Sat, 10 Oct 2015 18:55:06 +0000

Hallo,

1) Deine PL Aussage ist nicht korrekt. Der erste Punkt müsste heißen:

|xy|<=n

2) Wie du oben sagst, überprüft man alle möglichen Zerlegungen, du aber überprüfst nur Zerlegungen mit

yz=b^j c^2j

Das ist nicht beliebig. Du sagst es muss doppelt so viele c's wie b's enthalten. Außerdem dürfte mit deinem Fehler 1) dein yz nur aus c's bestehen, da es das Ende vom Wort ist und maximal n-stellen nach links reicht. Dein gewähltes Wort hat aber 2n c's am Ende.

Schau die Definition nochmal genauer an und/oder frag deinen Tutor im Tut, falls du nicht weiter kommen solltest.

Gruß,

Adam (Tutor)

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

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

Es gibt immer mehrere richtige Lösungen, deine enthält zwar eine (nicht notwendige) Umbennung, aber ist genauso richtig.

Grüße,

Melanie (Tutorin)

Beantwortet: Können prinzipiell mehrere KA richtig sein?

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

Es ist oft der Fall, dass es mehrere mögliche richtige KA gibt. Meistens ist in der Musterlösung die einfachste/effizienteste Antwort dargestellt.

Wenn die in der Aufgabe gestellten Anforderungen erfüllt sind, dürfte es keinen Abzug geben.

Gruß Jörg (Tutor)

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

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

Du hast Recht, wenn alle a's und b's abgearbeitet sind, macht der Automat einen lambda Übergang. Erhält das Wort aber mehr c's also a's+b's, dann landen wir in einem Endzustand, aber das Wort ist nicht vollständig abgearbeitet, das Band ist also nicht leer, und das ist eine Voraussetzung dafür, dass ein Wort von einem KA akzeptiert wird:

Endzustand + Wort vollständig abgearbeitet

Gruß,

Adam (Tutor)

Beantwortet: Vereinfachung möglich?

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

Das hätten Sie hier auch machen können, das würde einige Übergänge sparen.

Viele Grüße

Friederike Pfeiffer-Bohnen und Lukas König

Beantwortet: Wann genau ist ein KA nicht deterministisch?

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

Hallo,

zu der ersten Frage:

Das hat nichts mit dem Determinismus zu tun. der Wechseln in s2 kommt, damit nur Wörter akzeptiert werden, die am Anfang a's und b's haben und am Ende alle c's. Würdest du den Zustand nicht wechseln, könntest du z.B. das Wort abccab erkennen, obwohl das Wort nicht Teil der Sprache ist.

Zur zweiten Frage:

Würdest du nach s0 wechseln, könntest du auch wieder mehr Wörter akzeptieren. Z.B. abccabcc. Nach abcc würdest du dann mit einem lambda-Übergang nach s0 wechseln und alles nochmal machen. Das Wort darf aber nicht akzeptiert werden.

Gruß,

Adam (Tutor)

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

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

Hallo,

in diesem Fall muss man in den Zustand s1 wechseln, da das leere Wort Teil der Sprache ist und anderenfalls dein Automat nicht deterministisch wäre! (Denn dann dürfte s0 kein Endzustand sein und du bäruchtest einen lambda Übergang der Form (s0,lambda,k0), womit dein Automat nicht mehr deterministisch ist!)

Gruß,

Adam (Tutor)

Beantwortet: Verständnis von Flip-Flop / Takt T

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

Hallo,

du musst hier aufpassen, dass die 1 an q0 erst im darauffolgenden Takt weitergegeben wird. Beim lesen der ersten 1 ist der untere FlipFlop noch mit 0 belegt. Erst im zweiten Takt wird die vorher eingelesene 1 weitergegeben und, sollte eine zweite 1 gelesen werden, zusammen mit dem "und" in den oberen Flipflop geleitet.

Ich hoffe das hat deine Frage beantwortet

Grüße Marc (Tutor)

Beantwortet: Wie sieht das ursprüngliche Schaltwerk aus?

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

Das ursprüngliche Schaltwerk sah wie folgt aus:

Viele Grüße

Friederike Pfeiffer-Bohnen, Lukas König und Lukas König