Theoretische und technische Informatik - ganz praktisch - Letzte Fragen in 2013 Nachklausur

neues Nonterminal S' zwingend notwendig?

Wed, 17 Mar 2021 22:18:26 +0000

Hallo,

muss man bei der Umwandlung in CNF zwingend das neue Startsymbol S' einfügen (wenn S nach lambda abgeleitet wird)? Oder ist das nur "Zusatz" ?

Vermutlich hat es auch damit was zu tun, dass man sonst gar nicht mehr das leere Wort ableiten kann..?

Beste Grüße

CNF- JA oder NEIN?

Thu, 06 Feb 2020 11:21:19 +0000

Hallo zusammen,

zu dieser Aufgabe gibt es bereits 3 Threads, jedoch findet man keinen gemeinsamen Konsens:

Ist in der CNF nun ein Lambda erlaubt oder nicht?

- Nach der VL (Foliensatz 10, Folie 73) steht geschrieben: "Sprache darf nicht leeres Wort enthalten bzw. keine Regel Sg -> Lambda"

- Die Musterlösung gibt in der ersten Produktionszeile ein Lambda an und hat sogar nur ein Nonterminalzeichen auf der rechten Seite.

- Ein Thread behauptet zudem folgendes:

https://info2.aifb.kit.edu/qa/index.php?qa=6408&qa_1=cnf-akzeptiert-doch-das-leere-wort-garnicht

Wo steht in unseren VL-Folien geschrieben, dass in der ersten Zeile ein Übergang zu Lambda erlaubt sei?

Um aufklärende Mithilfe wäre ich dankbar.

Zahlendarstellung

Wed, 06 Feb 2019 17:34:14 +0000

Hallo,

mir ist nicht ganz klar welche Lösung bei Aufgabe 8 b richtig ist.

Muss man hier -2^15+2^13+2^12... rechnen (Vgl Tut 5 Aufgabe 5b)

oder muss ich -(2^15+2^13+2^12...) rechnen? (dieser Vorschlag wurde von einem Tutor als korrekt eingestuft, was aber den Tutlösungen widersprechen würde.

Danke schonmal
Grüße

Lückenhafte Lösungen

Sun, 11 Feb 2018 16:00:11 +0000

Hallo,

ich habe gerade die Nachklausur 2013 gerechnet und festgestellt, dass in der Musterlösung einige Lösungen einfach fehlen und es direkt mit der nächsten Aufgabe weitergeht.

Könnt ihr bitte eine vollständige Lösung noch hochladen?

Danke!

LG

CNF akzeptiert doch das leere Wort garnicht?

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

Hallo
Im Vorlesungsskript steht doch das man immer nur eine äquivalente Grammatik angeben kann die aber las leere Wort nicht akzeptiert, da dies dann keine CNF mehr wäre. Wieso wird hier dann doch so vorgegangen ?
Lg un danke

Fehlende Lösung (Aufgabe 5 - Nachklausur 2013)

Fri, 12 Jan 2018 12:19:12 +0000

Für Aufgabe 5 aus der Nachklausur 2013 fehlt (wie bereits in mehren anderen Fragen erwähnt) für Telaufgabe a) und b) die Lösung. Leider fehlt mir ein Ansatz, wie die Aufgabe zu lösen ist. Wäre es evtl. möglich eine Lösung zu veröffentlichen bzw. die Vorgehensweise kurz zu erläutern.

Ergänzung:
Ich bin mir nicht sicher, wie die Komplexitätsklasse einer Sprache genau definiert ist. Ist bei der Einordnung ausschlaggeben, dass eine Turingmaschine existiert, die bei Eingabe eines gültigen Wortes in polinomieller Zeit in einem Endzustand terminiert oder ist hierfür die Zeitkomplexität des Wortproblems ausschlaggebend. In diesem Fall müsste nach meinem Verständnis für die L-Komplement lediglich das Ergebnis der TM, die das Wortproblem für L löst negiert werden und somit P = Co-P gelten.

Allerdings erschließt sich mir für diesen Fall nicht, warum nicht auch NP = Co-NP gelten sollte.

Ausgabe

Fri, 28 Jul 2017 08:02:52 +0000

Ist meine Lösung zur Ausgabe richtig?

n=0 -> 1

n=1 -> 1

n=2 -> 2

n=3 -> 3

n=4 -> 5

warum ist diese spräche von typ 2

Wed, 26 Jul 2017 19:54:48 +0000

Wir haben in den b gezeigt dass a^(n) b^(n) nicht von einer endliche automat akzeptiert werden dass bedeutet dass die Sprache nicht von typ 2 ist.

Warum in c haben wir gesagt dass die sprache von typ 0-1-2 ist.

Alternativlösung

Mon, 13 Feb 2017 19:12:11 +0000

Meine Lösung ist zwar nicht die schönste, da die Turingmaschine unter Umständen sehr weit rechts stehen bleibt, sie sollte aber die Anforderungen der Aufgabe erfüllen. Stimmt das so?

@[ID-23358]@

Alternative Lösung

Sun, 12 Feb 2017 17:58:16 +0000

Hallo,

Stimmt das auch so?

Meine Idee:

Es kann ja nur den Rest 0,1 oder 2 geben und sehe die Zahl immer als 3er Blöcke an. also ersetze ich jede 1 durch eine Sternchen bei falls auf ein Sternchen stoße weiß ich dass ich in s1 Rest Null habe sprich ich schreibe nichts aufs Band, in s1 Rest 1 also schreibe ich eine 1 aufs Band und bei s2 schreibe ich 11 aus Band.

Viele Grüße!

Diskussion

Tue, 07 Feb 2017 11:32:19 +0000

Also ich hätte jetzt gesagt, da die Abfolge der Verdauung streng sequentiell ist (bis auf die Rückführung vllt.) würde eine spekulative Programmausführung hier nichts bringen. Die spekulative Programmausführung ist ja dafür da, schon mal Teilprozesse durchzuführen, wo man mit einem "geratenen" oder vorläufigen Ergebnis aus dem vorigen Tteilprozess arbeitet. Bei der Kuh muss ja aber alles erstmal verdaut werden sequentiell, was sollte also vorraus bearbeitet werden? "Teilergebnisse" gibt es so gesehen ja nicht.

Wie ist denn hier die offizielle richtige Lösung?

PS: generell ist in Nach KL 2013 die Lösungsverklinkung nicht ganz korrekt, unter Alt Klausuren ohne Lösung sind in dieser KL immer nohc Lösungen drin, und in der mit Lösungen fehlen Lösungen.

Danke und Grüße

S' -> S entspricht nicht der CNF

Sun, 14 Feb 2016 08:13:21 +0000

Hallo,

ich bin gerade über die Lösung zu dieser Aufgabe gestolpert.

Die Überführung S' -> S entspricht nicht der Chomsky-Normalform, da sich auf der rechten Seite keine zwei Nonterminalsymbole befinden oder sehe ich das falsch?

Siehe Bild inklusive Lösungsvorschlag.

LG urdsc

Bestätigung von Übungsleiter

Mon, 08 Feb 2016 18:42:21 +0000

könnte sich hierzu vielleicht nochmal einer der Übungsleiter äußern? Die Aufgabenstellung mit zugehöriger Lösung ist doch schon sehr verwirrend und wenn diese so in der Klausur kommen würde, wüsste ich nicht was jetzt von mir verlangt wird, obwohl es sich ja um keinen allzu schweren Sachverhalt handelt..

Verständnisproblem der Aufgabenstellung

Mon, 08 Feb 2016 16:26:41 +0000

1. was ist der Unterschied zwischen einem reduzierten Automat und einem minimierten? hier wird angegeben, dass k-äquivalente Zustände und äquivalente Zustände des reduzierten (explizit nicht minimierten) Automat angegeben werden sollen. ist das nicht dasselbe?

2. man soll alle k-äquivalenten Zustände für k in {1,2} angeben und alle äquivalenten Zustände. Demnach hätte ich die 1-äuqivalenten Zustände angegeben und die 2-äquivalenten, die hier ja den äquivalenten Zuständen entsprechen. In der Aufgabe werden aber 0-äquivalente, 1-äquivalente und k-äquivalente angegeben.

Was verstehe ich hier falsch?

Vielen Dank für die Antwort

Lösung für Teil c?

Sun, 07 Feb 2016 11:54:42 +0000

Was wäre eine Lösung für die Teilaufgabe c?

Lösungen nicht vorhanden

Fri, 05 Feb 2016 13:49:39 +0000

Ich wollte fragen, wieso bei der Nachklausur die Antworten zu einigen Fragen fehlen.

Liegt es daran, dass es nicht mehr klausurrelevant ist ?

Stoppt die Schleife überhaupt?

Fri, 25 Sep 2015 15:48:54 +0000

Hallo,

Mir ist unklar, ob die Schleife überhaupt nach dem Assemblerprogramm halten würde: In der Aufgabenstellung steht lediglich geschrieben, dass die for-Schleife für n=0 abgebrochen wird.

Jedoch sehe ich keine Zuweisung der Art: n=R1 und frage mich daher, woher man weiß, dass die Schleife stoppt (beispielsweise im Fall n=1)?

Danke im Voraus

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

Fri, 25 Sep 2015 15:30:09 +0000

Dieser Post wurde der Übersichtlichkeit halber erstellt, um die alternativen Lösungsvorschläge aus dem alten ILIAS-Forum nicht überzubetonen. Wenn Sie neue alternative Lösungsvorschläge diskutieren wollen, sollten Sie eine neue Frage erstellen - und NICHT hier posten!

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

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

Durch S' -> S in der endgültigen Lösung habe ich doch noch eine reine Umbenennung, die ich im zweiten Schritt hätte eliminieren müssen, oder nicht?

Vielen Dank für eine Antwort

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?-

b): ausführliche Erklärung?

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

Kann jmd. bitte mir erklären,wie man Teil b) löst?

Danke!

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

Wed, 23 Sep 2015 13:49:13 +0000

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

Mit De-Morgan verstehe ich das nicht so ganz, irgendwie werden die Negationsstriche einfach willkürlich reingezogen.

Gibt es da einen Algorithmus?

Bitte um Rückmeldung :)

alternativer Lösungsvorschlag: nur aus NAND

Wed, 23 Sep 2015 13:41:29 +0000

Ist meine Alternativlösung, Schaltnetz nur aus NANDs so richtig?

Bitte um Bestätigung.

Danke für jeden Hinweiß.

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

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

Hallo,

ich versteh nicht, wie man bei (a) auf die Formel kommt.

Meine Frage bezieht sich auf die dritte Klausel:

Gilt (a & c) = nicht (nicht a ODER nicht c)?

Wie kann man (a & c) aus der CMOS-Schlatung sehen. Der Rest der Schaltung ist soweit klar.

Danke.

Grüße

Warum ist dieses eine Typ1-Sprache?

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

zu Teilaufgabe c):

Kontextfreie Sprachen, also Typ-1-Sprachen, dürfen doch eigentlich den Lambda-Übergang nur als aller ersten Übergang enthalten und sonst nicht.
Warum ist es bei der c) dann trotzdem eine Typ-1-Sprache?

Bei 2010-H-01 a ist es nämlich keine Typ-1-Sprache.

Vielen Dank und liebe Grüße!

a): einfache Erklärung zum Vorgehen?

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

hallo,

kann mir vielleicht nochmal jemand erklären wie man im teil a) am einfachsten auf die Dezimalzah kommt?

vielen dank!

Müsste Zahl nach VL nicht negativ sein?

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

Hallo,

ich hätte doch noch eine Frage. In den Vorlesungsfolien steht jedoch bei der Festpunktdarstellung bei der graph. Abbildung ein Plus/Minus vorne dran (7-44). Müsste das dann laut Vorlesung nicht doch eine negative Zahl sein?

Lg Alexandra

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

Tue, 22 Sep 2015 12:19:44 +0000

Theoretische und technische Informatik - ganz praktisch - Letzte Fragen in 2013 Nachklausur

neues Nonterminal S' zwingend notwendig?

CNF- JA oder NEIN?

Zahlendarstellung

Ähnliche Vorgehensweise zur Angabe des Dezimalwertes einer ganzen Zahl in Einskomplementdarstellung

Lückenhafte Lösungen

CNF akzeptiert doch das leere Wort garnicht?

Fehlende Lösung (Aufgabe 5 - Nachklausur 2013)

Ausgabe

warum ist diese spräche von typ 2

Alternativlösung

Alternative Lösung

Diskussion

S' -> S entspricht nicht der CNF

Bestätigung von Übungsleiter

Verständnisproblem der Aufgabenstellung

Lösung für Teil c?

Lösungen nicht vorhanden

Stoppt die Schleife überhaupt?

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

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

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

b): ausführliche Erklärung?

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

alternativer Lösungsvorschlag: nur aus NAND

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

Warum ist dieses eine Typ1-Sprache?

a): einfache Erklärung zum Vorgehen?

Müsste Zahl nach VL nicht negativ sein?

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