Theoretische und technische Informatik - ganz praktisch - Letzte Fragen in 2012 Bonusklausur
https://info2.aifb.kit.edu/qa/index.php?qa=questions&qa_1=2012-bonusklausur
Powered by Question2Answeralternativ
https://info2.aifb.kit.edu/qa/index.php?qa=7462&qa_1=alternativ
Hallo,<br />
<br />
Kann ich für 1.Frage in Bonus Klausur 2012, <br />
<br />
xy= (a hoch 2) hoch j,<br />
<br />
y= (a hoch 2) hoch k,<br />
<br />
z= (a hoch 2) hoch n-j,<br />
<br />
wahle i=2, xyhoch2z= a hoch 2n + a hoch k ist nicht in der Sprache.2012-B-02https://info2.aifb.kit.edu/qa/index.php?qa=7462&qa_1=alternativThu, 06 Jan 2022 16:54:15 +0000Grammatik zu a^m b^(m-n) c^n [BONUS 2012]
https://info2.aifb.kit.edu/qa/index.php?qa=6871&qa_1=grammatik-zu-a-m-b-m-n-c-n-bonus-2012
<p>
Hallo,</p>
<p>
</p>
<p>
L = { a^m b^(m-n) c^n | m,n ∈ N0,m ≥ n}.</p>
<p>
</p>
<p>
ich bin noch auf eine andere Produktionsfunktion gekommen, bin mir aber nicht ganz sicher ob diese stimmt.</p>
<p>
S -> aAbC | λ</p>
<p>
A -> aAb <span style="display: inline !important; float: none; background-color: rgb(255, 255, 255); color: rgb(34, 34, 34); font-family: Arial,Verdana,sans-serif; font-size: 12px; font-style: normal; font-variant: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: left; text-decoration: none; text-indent: 0px; text-transform: none; -webkit-text-stroke-width: 0px; white-space: normal; word-spacing: 0px;">| </span><span style="display: inline !important; float: none; background-color: rgb(255, 255, 255); color: rgb(34, 34, 34); font-family: Arial,Verdana,sans-serif; font-size: 12px; font-style: normal; font-variant: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: left; text-decoration: none; text-indent: 0px; text-transform: none; -webkit-text-stroke-width: 0px; white-space: normal; word-spacing: 0px;">λ</span></p>
<p>
<span style="display: inline !important; float: none; background-color: rgb(255, 255, 255); color: rgb(34, 34, 34); font-family: Arial,Verdana,sans-serif; font-size: 12px; font-style: normal; font-variant: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: left; text-decoration: none; text-indent: 0px; text-transform: none; -webkit-text-stroke-width: 0px; white-space: normal; word-spacing: 0px;">bC -> Cc <span style="background-color: rgb(255, 255, 255); color: rgb(34, 34, 34); display: inline; float: none; font-family: Arial,Verdana,sans-serif; font-size: 12px; font-style: normal; font-variant: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: left; text-decoration: none; text-indent: 0px; text-transform: none; -webkit-text-stroke-width: 0px; white-space: normal; word-spacing: 0px;">| </span><span style="background-color: rgb(255, 255, 255); color: rgb(34, 34, 34); display: inline; float: none; font-family: Arial,Verdana,sans-serif; font-size: 12px; font-style: normal; font-variant: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: left; text-decoration: none; text-indent: 0px; text-transform: none; -webkit-text-stroke-width: 0px; white-space: normal; word-spacing: 0px;">λ // b wird gelöscht</span></span></p>
<p>
<span style="display: inline !important; float: none; background-color: rgb(255, 255, 255); color: rgb(34, 34, 34); font-family: Arial,Verdana,sans-serif; font-size: 12px; font-style: normal; font-variant: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: left; text-decoration: none; text-indent: 0px; text-transform: none; -webkit-text-stroke-width: 0px; white-space: normal; word-spacing: 0px;"><span style="background-color: rgb(255, 255, 255); color: rgb(34, 34, 34); display: inline; float: none; font-family: Arial,Verdana,sans-serif; font-size: 12px; font-style: normal; font-variant: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: left; text-decoration: none; text-indent: 0px; text-transform: none; -webkit-text-stroke-width: 0px; white-space: normal; word-spacing: 0px;">Meine Idee dahinter war zuerst die x - beliebige Menge an a's hinzuzufügen, in dem gelichen Schritt wird die geliche Anzahl an b`s hinzugefügt. Nachdem alle a´s hnzugefügt wurden werden die benötigten c´s hinzugefügt, dabei wird immer für ein hinzugefügtes c ein b gelöscht. Dies ist auch nur solange möglich bis es keine b`s mehr gibt. </span></span></p>
<p>
Ist das auch richtig?</p>
<p>
Danke im Vorraus</p>
<p>
</p>
<p>
Roman</p>2012-B-02https://info2.aifb.kit.edu/qa/index.php?qa=6871&qa_1=grammatik-zu-a-m-b-m-n-c-n-bonus-2012Mon, 06 Jan 2020 13:52:13 +0000Wieso sind Umbenennungen nicht erlaubt?
https://info2.aifb.kit.edu/qa/index.php?qa=4868&qa_1=wieso-sind-umbenennungen-nicht-erlaubt
Wieso sind reine Umbennenungen nicht erlaubt?<br />
<br />
Kontextsensitive Grammatiken haben folgende Produktionen:<br />
<br />
ϕ1Aϕ2 →ϕ1ψϕ2, wobei A∈ N;ϕ1,ϕ2,ψ∈(N∪T)*, ψ != λ<br />
<br />
somit wäre für N ={A,B} die Produktion A -> B für ϕ1,ϕ2 = λ und ψ= B erlaubt.<br />
<br />
Oder wo liegt mein Denkfehler?<br />
<br />
Vielen Dank2012-B-02https://info2.aifb.kit.edu/qa/index.php?qa=4868&qa_1=wieso-sind-umbenennungen-nicht-erlaubtSun, 15 Jan 2017 13:47:28 +0000Definition kontextsensitiver Grammatiken, Umwandlung in NT
https://info2.aifb.kit.edu/qa/index.php?qa=3547&qa_1=definition-kontextsensitiver-grammatiken-umwandlung-in
<p>
Hallo,</p>
<p>
ich verstehe das nicht.</p>
<p>
Die Definition von kontextsensitiven Grammatiken ist doch ua.:</p>
<p>
aXb --> aCb , mit a, b aus (NT U T)* und C aus (NT U T)+</p>
<p>
Warum muss ich dann erst alles in Nonterminalsymbole umwandeln? Dementsprechend dürfte ich doch NT- und T-Symbole mischen...</p>
<p>
angenommen man muss nicht alles erst in Nonterminalsymbole umwandeln, warum ist folgende Produktion aus der Aufgabe falsch:</p>
<p>
P: S --> S' I <em>lamda</em></p>
<p>
S' --> aS'c I aB I ac</p>
<p>
B --> aBb I b</p>
<p>
?</p>
<p>
</p>2012-B-02https://info2.aifb.kit.edu/qa/index.php?qa=3547&qa_1=definition-kontextsensitiver-grammatiken-umwandlung-inSun, 17 Jan 2016 14:45:28 +0000Wo ist hier der Definitionsbereich von k angegeben?
https://info2.aifb.kit.edu/qa/index.php?qa=3224&qa_1=wo-ist-hier-der-definitionsbereich-von-k-angegeben
<p>
<span style="color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 18px;">Ich hätte zu dieser Aufgabe ein paar Fragen.</span></p>
<p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 18px; vertical-align: baseline; color: rgb(0, 0, 0);">
1) Wo ist hier der Definitionsbereich von k angegeben? Fehlt der nicht? Klar fliegt k am Ende raus, doch muss es der Definitionsbereich nicht vollständigkeitshalber auch dabei stehen?</p>
<p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 18px; vertical-align: baseline; color: rgb(0, 0, 0);">
2) Ich habe die Aufgabe entwas anders gelöst, indem ich a^2n in a^n * a^n umgeformt habe und würde gern wissen, ob folgender Lösungsweg erlaubt ist.</p>
<p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 18px; vertical-align: baseline; color: rgb(0, 0, 0);">
Annahme: L wird von EA erkannt.</p>
<p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 18px; vertical-align: baseline; color: rgb(0, 0, 0);">
EA A habe n element No Zustände. Wähle w = a^2 ^n =a^ (2*n) = a^n * a^n mit |w| >= n und w element L.</p>
<p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 18px; vertical-align: baseline; color: rgb(0, 0, 0);">
Sei w = xyz eine beliebige Partiton von w. Dann gilt laut PPL:</p>
<p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 18px; vertical-align: baseline; color: rgb(0, 0, 0);">
(1) |xy| <= n</p>
<p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 18px; vertical-align: baseline; color: rgb(0, 0, 0);">
(2) |y| >= 1</p>
<p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 18px; vertical-align: baseline; color: rgb(0, 0, 0);">
(3) Für alle i element N0: xy^iz element L</p>
<p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 18px; vertical-align: baseline; color: rgb(0, 0, 0);">
aus (1) |xy| <= n folgt xy = a^j mit j >= 0</p>
<p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 18px; vertical-align: baseline; color: rgb(0, 0, 0);">
aus (2) |y| >=1 folgt y = a^k, x=a^(j-k), z= a^(n-j)a^n mit 1<=k<=n</p>
<p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 18px; vertical-align: baseline; color: rgb(0, 0, 0);">
Wähle nun i = 0, damm folgt xy^0z = xz = a^(j-k)a^(n-j)a^n = a^(n-k)a^n nicht element L.</p>
<p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 18px; vertical-align: baseline; color: rgb(0, 0, 0);">
Widerspruch zur Annahme und damit wird L nicht von einem EA akzeptiert.</p>
<p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 18px; vertical-align: baseline; color: rgb(0, 0, 0);">
</p>
<p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 18px; vertical-align: baseline; color: rgb(0, 0, 0);">
3) Ich hatte auch überlegt für i = 2 einsetzen, dann würde da am Ende a^(n+k) a^n stehen, aber das ist für mich eigentlich kein logischer Unterschied, ob es nun + oder - k heißt, oder? Im Endeffekt sieht man doch durch das k, dass es sich nicht mehr um eine 2er Potenz handeln kann, da k den Wert 1 annehmen kann und ob ich nun 1 abziehe oder dazuaddiere macht keinen Unterschied, oder?</p>2012-B-01https://info2.aifb.kit.edu/qa/index.php?qa=3224&qa_1=wo-ist-hier-der-definitionsbereich-von-k-angegebenFri, 16 Oct 2015 08:20:36 +0000Sind reine Umbenennungen in der kontextsensitiven Grammatik erlaubt?
https://info2.aifb.kit.edu/qa/index.php?qa=2894&qa_1=reine-umbenennungen-kontextsensitiven-grammatik-erlaubt
Sind reine Umbenennungen in der kontextsensitiven Grammatik erlaubt? (Hier z.B. S-->D . Dadurch könnte man dann S--> AB|ADB weglassen , oder?)<br />
<br />
Dankeschön ;)2012-B-02https://info2.aifb.kit.edu/qa/index.php?qa=2894&qa_1=reine-umbenennungen-kontextsensitiven-grammatik-erlaubtFri, 25 Sep 2015 15:57:00 +0000Muss man immer zuerst alles in Nonterminalsymbole umwandeln?
https://info2.aifb.kit.edu/qa/index.php?qa=2892&qa_1=muss-man-immer-zuerst-alles-nonterminalsymbole-umwandeln
Hallo,<br />
<br />
muss man wie in der Musterlösung zuerst alles in Nonterminalsymbole umwandeln und erst am Ende als letzter Schritt alles in Terminalsymbole umschreiben, oder wäre z.B. auch die Zeile S --> aSc | aDb | ab | ac richtig?2012-B-02https://info2.aifb.kit.edu/qa/index.php?qa=2892&qa_1=muss-man-immer-zuerst-alles-nonterminalsymbole-umwandelnFri, 25 Sep 2015 15:56:19 +0000Tipps zur Vorgehensweise bei monotonen/ kontextsensitiven Grammatiken?
https://info2.aifb.kit.edu/qa/index.php?qa=2890&qa_1=vorgehensweise-monotonen-kontextsensitiven-grammatiken
<div class="ilFrmPostContent">
<p>
Hallo,</p>
<p>
gibt es denn für monotone/ kontextsensitive Grammatiken irgendeine Vorgehensweise oder ein paar Tips, wie man auf diese kommt?</p>
<p>
Mir fällt es extrem schwer, diese Grammatiken selbst zu entwickeln!</p>
<p>
Vielen Dank!</p>
</div>
<p>
</p>2012-B-02https://info2.aifb.kit.edu/qa/index.php?qa=2890&qa_1=vorgehensweise-monotonen-kontextsensitiven-grammatikenFri, 25 Sep 2015 15:54:31 +0000Übersicht alternativer Lösungsvorschläge aus dem alten ILIAS-Forum
https://info2.aifb.kit.edu/qa/index.php?qa=2883&qa_1=%C3%BCbersicht-alternativer-l%C3%B6sungsvorschl%C3%A4ge-alten-ilias-forum
<div class="entry-content">
<p>
<span style="color: rgb(255, 0, 0);"><strong>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 <a href="http://info2.aifb.kit.edu/qa/index.php?qa=ask&cat=282" rel="nofollow" target="_blank">neue Frage erstellen</a> - und NICHT hier posten!</strong></span></p>
</div>
<p>
</p>2012-B-02https://info2.aifb.kit.edu/qa/index.php?qa=2883&qa_1=%C3%BCbersicht-alternativer-l%C3%B6sungsvorschl%C3%A4ge-alten-ilias-forumFri, 25 Sep 2015 15:51:50 +0000