Theoretische und technische Informatik - ganz praktisch - Letzte Aktivität in 2013 Nachklausur

Beantwortet: neues Nonterminal S' zwingend notwendig?

Thu, 18 Mar 2021 17:20:27 +0000

Hallo,

die Einführung von S' ist zwingend der erste Schritt der Überführung in CNF, wenn es einen Lambda-Übergang von S gibt und S auf einer der rechten Seiten vorkommt.

Schau dir am besten nochmal die Definition einer Chomsky Normalform an. Zur Überführung in diese gibt es auch sehr gute Videos auf dem YouTube Kanal von "nLogSpace".

Beste Grüße,

Martin (Tutor)

Beantwortet: CNF- JA oder NEIN?

Thu, 06 Feb 2020 11:31:59 +0000

In Tutorium 4 steht es eindeutig.

Einfach gesagt sind folgende Regeln erlaubt:

1.Von Nonterminalsymbolzu 2 Nonterminalsymbolen
2.Von Nonterminalsymbolzu 1 Terminalsymbol

Also muss die Grammatik Lambda frei sein abgesehen von Startsymbol zu Lambda, dies ist aber nur möglich wenn Startsymbol nicht auf der rechten Seite vorkommt.

LG, Nico (Tutor) (Alle Angaben ohne Gewähr)

Beantwortet: Zahlendarstellung

Wed, 06 Feb 2019 17:53:50 +0000

Hallo,

wenn man den Bitstring als Zahl im Zweierkomplement interpretieren soll (Aufgabenteil a) ist das Vorgehen aus dem Tutorium richtig. Allerdings soll man es bei der Aufgabe als ganze Zahl interpretieren (-2^31+2^19+...). Alternativ könnte man auch 1 subtrahieren und alle Bits flippen, wodurch man die zugehörige positive Zahl erhält.

In Aufgabenteil b) soll die Zahl als Fixpunktzahl interpretiert werden. Dabei codiert das erste Bit das Vorzeichen. Also ist hier der Vorschlag deines Tutors richtig.

Ich hoffe ich konnte dir weiterhelfen.

Viele Grüße,

Verena (Tutorin)

Antwort ausgewählt: Ähnliche Vorgehensweise zur Angabe des Dezimalwertes einer ganzen Zahl in Einskomplementdarstellung

Mon, 12 Feb 2018 14:50:43 +0000

Hallo,

um den Wert der Zahl in der Einskomplementdarstellung zu bekommen, muss noch eine 1 addiert werden, also: $-(2^{31}-1)+2^{29}+2^{28}+ \dots$.
Hier wurde das schon mal ausführlich erklärt: http://info2.aifb.kit.edu/qa/index.php?qa=5005&qa_1=lösung-zu-aufgabenteil-c-d&show=5005#q5005

Viele Grüße
Julia (Tutorin)

Antwort ausgewählt: Lückenhafte Lösungen

Mon, 12 Feb 2018 08:40:44 +0000

Die Aufgabe 2013-N-01 ist vollständig mirt Lösung enthalten. Wenn Sie an anderen Lösungen der Klausur interessiert sind, so schauen Sie bitte in die entsprechenden Threads der jeweiligen Aufgaben. Die entsprechenden eventuell fehlenden Lösungen müssten dort schon diskutiert worden sein.

Beantwortet: CNF akzeptiert doch das leere Wort garnicht?

Sat, 10 Feb 2018 18:58:47 +0000

Um eine Grammatik in CNF zu überführen, muss man sie zunächst $\lambda$-frei machen. Deshalb wird in der Aufgabe der neue Startzustand S' eingeführt, von dem aus ein $\lambda$-Übergang erlaubt ist.

Viele Grüße
Julia (Tutor)

Kommentiert: Fehlende Lösung (Aufgabe 5 - Nachklausur 2013)

Fri, 12 Jan 2018 22:36:49 +0000

Warum ist die Schlussfolgerung NP = Co-NP dennoch nicht möglich?
Ist die oben getroffene Annahme gültig, dann muss (nach meinem Verständnis) für jede Sprache L aus NP L-Komplement in NP liegen, da es ausreicht die charakteristische Funktion von L zu berechnen und das Ergebnis zu negieren. Folglich wäre jede Sprache aus NP Element von Co-NP.

Antwort ausgewählt: Ausgabe

Sun, 30 Jul 2017 17:59:03 +0000

Ja, das stimmt als Lösung für den (a)-Teil.

Beantwortet: warum ist diese spräche von typ 2

Thu, 27 Jul 2017 08:03:19 +0000

Hallo,

mit dem PPL für EA-Sprachen zeigen wir, dass die Sprache nicht vom Typ 3 ist.

Um zu zeigen, dass sie nicht vom Typ 2 ist benötigst du das PPL für KA-Sprachen.

Viele Grüße

Lukas (Tutor)

Antwort ausgewählt: Alternativlösung

Mon, 13 Feb 2017 20:01:52 +0000

Ja, das stimmt so. Schöne Lösung! (Wenn auch nicht sie kürzeste, aber das ist ja egal.)

Beantwortet: Alternative Lösung

Sun, 12 Feb 2017 18:27:22 +0000

Ja stimmt so. Schaue bitte bevor du eine frage hier stellst, ob die frage schonmal gestellt wurde, was hier der fall ist: http://info2.aifb.kit.edu/qa/index.php?qa=2861&qa_1=übersicht-alternativer-lösungsvorschläge-alten-ilias-forum

dafür gibt es die netten verlinkungen;)

gruß, maren (tutor)

Kommentiert: Diskussion

Wed, 08 Feb 2017 12:54:19 +0000

Hi,

ja ich weiß jetzt was du meinst und was bei der Aufgabe gefordert war.
Finde die Kuh ist nicht das beste Pipeline Beispiel in Hinsicht spekulativer Programmausführund :D

Lieben Dank.

Beantwortet: Wie heißt der Algorithmus, um aus einem booleschen Term eine Schaltung bestehend aus NAND und NOR Gattern zu bauen?

Tue, 07 Feb 2017 21:42:52 +0000

Hallo,

Denke mir würden da 2 bestimme Tricks einfallen.

Ein ¬a lässt sich auch durch NOR(a,a) oder NAND(a,a) realisieren. Damit lässt sich schonmal jede Negation umschreiben.

Mit der DeMorgan´schen Regel lässt sich jedes "a v b" zu einem NAND(¬a,¬b) umformen (Doppelnegation und eine Negation aus der Klammer ziehen mit DeMorgan´scher Regel) und jedes "a und b" zu einem NOR(¬a,¬b) umschreiben.

Die Umkehrung wenn man mit AND-, NOT- und OR-Gattern schreiben muss geht selbstverstädnlich auch.

Hoffe ich konnte damit helfen :)

Kommentiert: S' -> S entspricht nicht der CNF

Sun, 14 Feb 2016 15:52:03 +0000

Hallo,

ich wüsste jetzt schon gerne,
1. als Ausnahme der CNF gilt (so steht es auf Wikipedia)
2. ob ich es in der Klausur morgen so schreiben darf!

Ich hoffe es kommt noch eine Antwort.

Kommentiert: a): einfache Erklärung zum Vorgehen?

Sun, 14 Feb 2016 10:32:24 +0000

Daran, dass die erste Stelle eine 1 ist (wie üblich in der 1-/2-Komplement-Darstellung).

Kommentiert: Bestätigung von Übungsleiter

Wed, 10 Feb 2016 17:52:30 +0000

Okay, da haben Sie recht, Herr Schmeck definiert "reduziert" und "minimiert" tatsächlich synonym. Da haben wir uns damals bei der Klausur vertan (allerdings kann man es ja kaum falsch verstehen...) Jedenfalls gibt es also "vereinfachte" end. Automaten, das sind die, bei denen es keine unerreichbaren Zustände gibt, und "minimierte" oder "reduzierte" end. Automaten, die die minimale Zustandsanzahl haben. Die alte Klausur werde ich korrigieren, danke für den Hinweis!

Antwort ausgewählt: Lösung für Teil c?

Wed, 10 Feb 2016 09:20:04 +0000

wäre es richtig zu sagen, dass durch die spekulative ausführung beide befehlsströme ausgeführt werden, die durch den Sprung folgen könnten und dadurch eine Pipeline- Leerung verhindert werden kann?

Also ja, es könnte eine Verbesserung erzielt werden.

Antwort bearbeitet: Verständnisproblem der Aufgabenstellung

Mon, 08 Feb 2016 17:46:45 +0000

Hallo uedqa,

zunächst einmal zu deiner ersten Frage. Ich vermute, dass bei dieser Aufgabe mit "reduzierter" endlicher Automat eigentlich der vereinfachte Automat gemeint ist, also der Automat bei dem alle nicht erreichbaren (und damit überflüssigen) Zustände entfernt wurden. Hier in dieser Aufgabe können wir Zustand s4 direkt weglassen.

Bei deiner zweiten Frage sehe ich das genauso wie du. Ich hätte hier auch die 1-äquivalenten, 2-äquivalenten und k-äquivalenten Zustände angegeben. Übrigens sind diese Mengen hier alle identisch. Die Angabe der 0-äquivalenten Zustände würde ich in diesem Fall als Zusatz auffassen.

Viele Grüße,

Tim (Tutor)

Kommentiert: Lösungen nicht vorhanden

Fri, 05 Feb 2016 14:24:42 +0000

Statt 2³ = 3

Aufgabe 8 :
a) 5+6+7+8+11+12+17+18+19+21+22+25+26+30 (natürlich alles in 2 hoch)

b)15+13+12+11+8+7+4+1+-1+-2+-3+-6+-7+-11

Stimmt das ?

Beantwortet: Stoppt die Schleife überhaupt?

Fri, 25 Sep 2015 15:49:07 +0000

Hallo,

die Zuweisung n=R1 steht zwar nicht im Programm, jeoch in der Aufgabenstellung "Das Register R1 ist zu Beginn mit einem Wert n belegt". Von diesem n wird in der Schleife dann jedesmal 1 subtrahiert und der Befehl JUMPZERO führt falls n=0 zu FERTIG, was wiederum in der letzten Zeile das Programm beendet.

Viele Grüße,

Janina(Tutorin)

Beantwortet: Übersicht alternativer Lösungsvorschläge aus dem alten ILIAS-Forum

Fri, 25 Sep 2015 15:35:37 +0000

Hallo,

Sie können den Rechnungsverlauf Ihrer Turingmaschine auch selbst mit dem Info-II-Generator testen. Ich habe für Ihre angegebene Turingmaschine mal beispielhaft ein Skript erzeugt, das Sie ausprobieren können:

turing: s0: se: *: 11111:

(s0,1) => (s1,*,R);
(s0, *) => (se, *, N);
(s1,1) => (s2,*,R);
(s1, *) => (s0, 1, R);
(s2,1) => (s0,*,R);
(s2, *) => (s1, 1, R);

Dabei wird das ganz oben rechts angegebene Wort "11111" als Eingabe genommen, und es ergibt sich diese Ausgabe:

Viele Grüße

Lukas König

PS. Ich mache Werbung für den Generator nicht, weil wir nicht gerne Ihre Fragen auch im Forum beantworten. Diese können Sie unabhängig davon gerne immer stellen! :-) Ich glaube nur, dass es Ihnen beim Verständnis helfen kann, wenn Sie mit den verschiedenen Algorithmen selbst ein wenig herumspielen.

Beantwortet: Müsste man die Umbennung nicht im 2. Schritt eliminieren?

Wed, 23 Sep 2015 14:32:24 +0000

Hallo,

Eine reine Umbenennung wäre es, wenn man von S' nicht auch auf das leere Wort kommen könnte. Da S' somit auf keiner rechten Seite mehr stehen darf kann dies nicht eliminiert werden.

Viele Grüße,

Janina (Tutorin)

Lösungsansätze füt a) & b)

Wed, 23 Sep 2015 14:23:46 +0000

a) Reicht es hier schon, wenn man den polynomialzeitalgorithmus von L noch einmal negiert um einen Algorthmus für L-Komplement zu bekommen? Daraus könnte man schließen, das auch dieses Problem von einem deterministischen Automaten in polynomieller Zeit gelöst werden kann und somit L-Komplement in P liegt.

b) Mein Ansatz ist hier, dass NP-Probleme von nichtdeterministischen Turingmaschinen in polynomieller Zeit gelöst werden können und somit das Problem zu lösen deutlich schwieriger ist und exponenziell so groß ist wie Probleme, die von einer deterministischen Turingmaschine gelöst werden können.

Was fehlt hier noch in der Argumentation?-

Beantwortet: b): ausführliche Erklärung?

Wed, 23 Sep 2015 14:07:18 +0000

Hallo,

das lässt sich aus der Dreieckstabelle ablesen. Jeweils die beiden Zustände zu denen ein X0 gehört sind nicht 0-äquivalent, dürfen somit nicht in eine Mengenklammer. Also in der Aufgabe ist nur x1 nicht 0-äquivalent zu allen anderen, kommt also in eine extra Klammer und der Rest in die andere. So geht man dann auch mit übrigen k-äquivalenten Zuständen vor.

Viele Grüße,

Janina(Tutorin)

Beantwortet: alternativer Lösungsvorschlag: nur aus NAND

Wed, 23 Sep 2015 13:47:26 +0000

Hallo,

Ihre Umformung ist korrekt, aber die Umsetzung mit NAND-Gattern, die nur zwei Eingänge haben, so nicht. Wenn wir die drei negierten Klauseln Ihrer unteren Formel als $ A,B,C $ bezeichnen, also die Formel so angeben:

$ \neg({A\wedge B \wedge C}) $

dann nehmen Sie in der Schaltung an, dass

$ \neg({A\wedge B \wedge C})=\neg(\neg(AB)C) $

gilt. Das stimmt aber nicht. Ich habe das in der folgenden Wahrheitstabelle in den letzten beiden Spalten dargestellt.

Viele Grüße

Lukas König

Beantwortet: Wie kann ich (a AND c) aus der Schaltung ablesen?

Wed, 23 Sep 2015 13:38:48 +0000

Hallo,

Ihre Formel ist so korrekt, das entspricht ja genau der Anwendung der de Morganschen Regel.

Sie können (a AND c) relativ einfach ablesen. Wenn Sie die ersten beiden Teile der Formel verstanden haben, dann müssen Sie an dieser Stelle nur noch beachten, dass die beiden Eingänge der dritten reihenschaltung vorher negiert wurden. Wenn Sie dies beachten, dann kommen Sie direkt au den Term (a AND c).

Ich hoffe, dass Ihnen das weiter hilft.

Viele Grüße

Friederike Pfeiffer-Bohnen, Micaela Wünsche und Lukas König

Beantwortet: Warum ist dieses eine Typ1-Sprache?

Tue, 22 Sep 2015 12:53:49 +0000

Hallo,

ersteinmal entsprechen den Typ-1-Sprachen die kontextsensitiven Sprachen. Weiter musst du hier Sprachen und Grammatiken unterscheiden. Da sowohl S als auch Lambda auf der rechten Seite auftreten, kann dies schonmal keine kontextsensitive Grammatik sein. Das heißt aber nicht, dass die Sprache der Grammatik nicht auch kontextsensitiv ist.

Max (Tutor)

Beantwortet: Müsste Zahl nach VL nicht negativ sein?

Tue, 22 Sep 2015 12:33:34 +0000

Hallo Alexandra,

da vor der Fixpunktzahl kein - steht ist das + quasi impliziert. Wir schreiben ja wenn wir von +1 reden auch nur 1. Wenn die Fixpunktzahl negativ sein sollte würde das entweder irgendwo im Text stehen oder eindeutig ein - davor. Ich hoffe ich habe deine Frage richtig verstanden, ansonsten wäre es gut wenn du nochmal erklärst was du meinst.

Viele Grüße,

Janina (Tutorin)

Kommentiert: Übersicht alternativer Lösungsvorschläge aus dem alten ILIAS-Forum

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

Hallo,

Ihre Lösung für a) ist korrekt.

Bei b) haben Sie, wenn ich das richtig verstehe, ebenfalls eine zugrundeliegende Zweikomplement-Darstellung angenommen. So war das nicht gedacht, sondern eigentlich viel einfacher. Wenn wir schreiben "Fixpunktzahl", dann meinen wir (sofern nichts anderes dabeisteht) einfach die Binärdarstellung mit entsprechend verschobenem Komma, in diesem Fall um 16 Stellen. Die richtige Lösung wäre also:
$ 2^{15} + 2^{13} + 2^{12} + 2^{11} + 2^{8} + 2^{7} + 2^{4} + 2^{0} + 2^{-1} + 2^{-2} + 2^{-3} + 2^{-6} + 2^{-7} + 2^{-11} $
(Um das nochmal deutlich zu machen, da offenbar die Frage davor, die aus mir unbekannten Gründen schon seit einem Jahr offen ist, auf einem ähnlichen Fehler beruht: Wenn nichts anderes dabeisteht, ist die führende 1 bei Fixpunktzahlen kein Negationszeichen, sondern schlicht die erste Ziffer der Binärzahl.)

Viele Grüße

Lukas König