Theoretische und technische Informatik - ganz praktisch - Letzte Fragen in Saalübung 1

Wie sehen die gepumpten Wörter für i=2 aus?

Sat, 10 Feb 2018 18:23:41 +0000

Hallo,

ich bin mir unsicher, wie das gepumpte Wort z.B. für i=2 in den fünf Fällen aussieht.

Wenn im dritten Fall i=2 gewählt wird, gilt dann für das gepumpte Wort z'= a^n b^(2n+2m) c^(3n)?

Es wäre super, wenn jemand die gepumpten Wörter für i=2 in den einzelnen Fällen kurz aufschreiben könnte.

Danke im Voraus und viele Grüße!

Wie sieht das gepumpte Wort in den einzelnen Fällen für i=2 aus?

Sat, 10 Feb 2018 13:08:35 +0000

Hallo,

ich bin mir noch unsicher, wie das gepumpte Wort für die Pumpvariable i=2 in den fünf Fällen aus der Musterlösung aussieht.

Ist für den dritten Fall z.B. bei i=2 das gepumpte Wort a^n b^(2n+2m) c^(3n) richtig? Wenn nicht, wie müsste es richtig heißen?

Es würde mir helfen, wenn jemand die gepumpten Wörter für die fünf Fälle für i=2 auflisten könnte.

Danke im Voraus und viele Grüße! :-)

Grammatik angeben

Sun, 15 Jan 2017 12:21:55 +0000

Hallo,

Der Hinweis der SAA-1-3 a) ist mir leider unklar. Wie kann die Grammatik die richtige Anzahl an Zeichen erzeugen und diese unsortieren ?

Ich bedanke m ich im voraus für eine ausführliche Erklärung der Lösung

Formaler Frage bei Fallunterscheidung des PPL für kontextfreie Sprachen

Thu, 12 Jan 2017 20:06:34 +0000

Ich habe eine Frage zur Aufgabe 3.

Hier definieren wir in den 5 Fällen ja vwx= ... Müsste es hier nicht formal korrekt heißen, dass vx =..., also zB vx= a^m statt vwx= a^m in Fall 1?
In der Lösung wird behauptet, dass etwa bei vwx = a^m gelte: für i=0 lautet das gepumpte Wort: a^(k-m)b^(2k)c^(3k).
Vernachlässigen wir dabei nicht, dass w (welches nicht gepumpt und damit nicht rausgelöscht wird) ebenso Teile der a's enthalten kann, sodass die Anzahl der a's nach dem Pumpen nicht zwingend a^(k-m) wäre? Der Widerspruchsbeweis würde ja denke ich trotzdem funktionieren, da durch |vx|>=1 immer mindestens ein a (für i=0) gelöscht würde und somit das Verhältnis der a's zu den b's und c's gestört wäre..
Oder darf man trotz beliebiger Zerlegungen (bzw trotz aller möglichen Zerlegungen, die man formal überprüfen muss) davon ausgehen, dass w leer ist?

Vielen Dank für Eure Hilfe!

warum s2 in endzustands-menge aber nicht doppelt umkreist

Sun, 08 Jan 2017 11:50:05 +0000

bei 1b wird s2 als EZ aufgeführt aber im schaubild nicht doppelt umrandet, dafür aber s3. woher kommt das?

Saalübungen 1 (Folien) NOT FOUND

Wed, 14 Dec 2016 08:28:04 +0000

Leider habe ich keine Zugriff auf die Folien der ersten Saalübung.

Fehler: The requested URL /secure/Saaluebungen/Saaluebung1-Folien.pdf was not found on this server.

Woran kann das liegen?

Grüße.

Unbeantwortete nuKIT-Frage vom 5.12.2016

Mon, 05 Dec 2016 17:15:11 +0000

Eine nuKIT-Frage wurde während der Saalübung nicht beantwortet:

"Zu Aufgabe 2) Warum braucht man überhaupt s1 in Teil a) ?"

Endlicher Automat; Ich verstehe den Algorithmus nicht

Sun, 14 Feb 2016 12:11:35 +0000

Hallo,

ich war leider das Wintersemester im Praktikum und habe mir den nEA -> dEA Algorithmus von einem Informatiker erklären lassen. Mit dessen Algorithmus komme ich aber bei der Aufgabe 1 b) auf ein völlig anderes Ergebnis, nämlich:

Endliche Automaten
∂	0	1	2
s_0	s_2, s_3, s_4	-	-
s_2, s_3, s_4	s_4	s_1	s_1
s_4	s_4	-	-
s_1	s_2, s_3	-	s_1
s_2, s_3	-	s_1	s_1

Wenn ich nun zusammenfasse komme ich auf:

s'_0 = s_0
s'_1 = {s_2, s_3, s_4}
s'_2 = s_4
s'_3 = s_1
s'_4 = {s_2, s_3}

Und damit auf ein völlig anderes Ergebnis als A' in der Lösung.
Insbesondere in Hinblick auch auf Aufgabe 1 Teil a) ist ein Übergang von s_0 mit 1 oder 2 nicht möglich. Kann das mal jemand erklären, es macht für mich einfach keinen Sinn Übergänge einzubauen die nach dem regulären Ausdruck eindeutig nicht zulässig sind.

Danke für eure Hilfe!!!

Unklarheit bei Sprachdefinition

Fri, 05 Feb 2016 17:49:49 +0000

Hallo,

mir ist nicht ganz klar inwieweit ich bei dieser Aufgabe das Vereinigungszeichen beachten muss. Bedeutet dies, dass ein Wort der Sprache zwingend mit einem a anfangen muss, beeinflusst es also die Reihenfolge?

Vielen Dank!

Kellerautomat unvollständig?

Mon, 18 Jan 2016 19:22:44 +0000

Fehlt hier nicht das leere wort?

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

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

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

(s0, a, a) => (s0, aa);

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

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

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

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

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

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

müssen die Wörter nicht mit 0100 enden?

Sun, 17 Jan 2016 12:07:17 +0000

Hallo,

müssen bei der b) die Wörter, die die Sprache darstellt, nicht mit 0100 enden? In der Lösung steht, dass danach noch beliebig viele 0 und 1 kommen können, aber wenn die Turingmaschine bei Se (Endzustand) ist, passiert doch bei weiteren Eingaben nichts mehr.

Vielen Dank schon mal für die Antwort!

leere Menge im regulären Ausdruck

Thu, 14 Jan 2016 18:14:36 +0000

Hallo,

gehört zum regulären Ausdruck in der a) nicht auch noch die leere Menge hinzu?

Oder ist diese schon durch das 0* abgedeckt?

Falls ja, wäre es (in der Klausurr) ein Fehler sie trotzdem hinzuschreiben oder ist das egal, da es ja dann eigentlich nichts ändert?

Lösung der Saalübung

Tue, 12 Jan 2016 00:21:22 +0000

Hallo zusammen, wo kann ich genau die Lösungen zur Saalübung finden

Grüße

Beantwortung der nuKIT-Fragen, für die wir keine Zeit mehr hatten

Mon, 14 Dec 2015 14:45:18 +0000

Folgende Fragen konnten wir nicht (oder nicht vollständig) während der Saalübung behandeln:

Zu Aufgabe 1: Geht das auch? 0*+((01)*+(02*)*)*
1. Warum lässt man die leere Menge nicht einfach weg und lässt die betroffenen Eingaben undefiniert?
2. Lehnt der KA ein Wort automatisch ab, wenn für eine Konfiguration kein zustandsübergang definiert ist?
3. muss man generell bei nichtdeterministischen Automaten/Turingmaschinen die leere Menge in der Tabelle benutzt während man bei deterministischen die entsprechenden Felder undefiniert
Ist die Lösung bei A2, mit Angaben an den Übergängen mit 1x bzw Pfeil auf sich selbst, formal korrekt?
Ist in Info2 N (natürliche Zahlen) so definiert, dass es 0 nicht enthält, sodass man dafür immer N0 schreibt?

Warum fehlen die Zustände s2 und s3 ?

Tue, 22 Sep 2015 12:04:09 +0000

Heyho,

warum wird denn in der 1b) bei der Zustandsüberführungstabelle die Zustände s2 und s3 nicht mit aufgeommen?

Über Antworten wäre ich dankbar!

Gruß

Zusammenhang von monotonen und kontextsensitiven Grammatiken

Tue, 22 Sep 2015 12:01:02 +0000

Habe ich das richtig verstanden?

Für jede einzelne Ableitung in meiner Grammatik muss nach dieser Aufgabenstellung gelten, dass sie ENTWEDER kontextsensitiv ODER monoton ist, denn auch mir sind hier Elemente aufgefallen, die in beiden Varianten nicht erlaubt wären.

Z.B. wie oben schonmal erwähnt die Vertauschungen von Nonterminalsymbolen als nicht kontextsensitiv und die Ableitung von S' --> lambda als nicht monoton.

Heißt das nun, dass man z.B. bei der Ableitung S'--> lambda zwar weiß, dass sie nicht monoton ist, sie aber mithilfe der kontextsensitiven "lambda-Ausnahmeregel" "aufgefangen" hat?

Danke euch für die Antwort!

Warum werden bei der kontextsensitiven Grammatik nicht kontextsensitive Regeln verwendet?

Tue, 22 Sep 2015 11:58:31 +0000

Bei Aufgabe 3a) ist eine kontextsensitive Grammatik gefordert, benutzt werden aber nicht kontextsensitive Regeln (z.B. AB -> BA). Wie passt das zusammen?

Kann man die Regel (s1,c,a) -> (s1,lambda) auch weglassen?

Tue, 22 Sep 2015 11:56:37 +0000

Könnten wir eigentlich die Regel mit (s1,c,a) -> (s1,lambda) auch weglassen?

Bzw. wenn wir sie beibehalten, müssten wir dann nicht auch die Regel (s1,a,lambda) -> (s1,a) einfügen?