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 Question2Answer alternativ 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-02 https://info2.aifb.kit.edu/qa/index.php?qa=7462&qa_1=alternativ Thu, 06 Jan 2022 16:54:15 +0000 Grammatik 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> &nbsp;</p> <p> L = {&nbsp;a^m b^(m-n) c^n | m,n ∈ N0,m ≥ n}.</p> <p> &nbsp;</p> <p> ich bin noch auf eine andere Produktionsfunktion gekommen, bin mir aber nicht ganz sicher ob diese stimmt.</p> <p> S &nbsp;&nbsp; -&gt; &nbsp; &nbsp; aAbC | λ</p> <p> A &nbsp; &nbsp; -&gt; &nbsp;&nbsp; aAb&nbsp;<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&nbsp; -&gt; &nbsp;&nbsp; Cc&nbsp;<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;">λ&nbsp; // 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.&nbsp;</span></span></p> <p> Ist das auch richtig?</p> <p> Danke im Vorraus</p> <p> &nbsp;</p> <p> Roman</p> 2012-B-02 https://info2.aifb.kit.edu/qa/index.php?qa=6871&qa_1=grammatik-zu-a-m-b-m-n-c-n-bonus-2012 Mon, 06 Jan 2020 13:52:13 +0000 Wieso 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 -&gt; B &nbsp;für ϕ1,ϕ2 = λ und &nbsp;ψ= B erlaubt.<br /> <br /> Oder wo liegt mein Denkfehler?<br /> <br /> Vielen Dank 2012-B-02 https://info2.aifb.kit.edu/qa/index.php?qa=4868&qa_1=wieso-sind-umbenennungen-nicht-erlaubt Sun, 15 Jan 2017 13:47:28 +0000 Definition 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 --&gt; aCb&nbsp;&nbsp;&nbsp; , 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 --&gt; S' I <em>lamda</em></p> <p> &nbsp;&nbsp;&nbsp; S' --&gt; aS'c I aB I ac</p> <p> &nbsp;&nbsp;&nbsp; B --&gt; aBb I b</p> <p> ?</p> <p> &nbsp;</p> 2012-B-02 https://info2.aifb.kit.edu/qa/index.php?qa=3547&qa_1=definition-kontextsensitiver-grammatiken-umwandlung-in Sun, 17 Jan 2016 14:45:28 +0000 Wo 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| &gt;= 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);"> &nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (1) |xy| &lt;= 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);"> &nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (2) |y| &gt;= 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);"> &nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (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| &lt;= n folgt xy = a^j mit j &gt;= 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| &gt;=1 folgt y = a^k, x=a^(j-k), z= a^(n-j)a^n mit 1&lt;=k&lt;=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);"> &nbsp;</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-01 https://info2.aifb.kit.edu/qa/index.php?qa=3224&qa_1=wo-ist-hier-der-definitionsbereich-von-k-angegeben Fri, 16 Oct 2015 08:20:36 +0000 Sind 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--&gt;D . Dadurch könnte man dann &nbsp;S--&gt; AB|ADB weglassen , oder?)<br /> <br /> Dankeschön ;) 2012-B-02 https://info2.aifb.kit.edu/qa/index.php?qa=2894&qa_1=reine-umbenennungen-kontextsensitiven-grammatik-erlaubt Fri, 25 Sep 2015 15:57:00 +0000 Muss 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 --&gt; aSc | aDb | ab | ac &nbsp;&nbsp;richtig? 2012-B-02 https://info2.aifb.kit.edu/qa/index.php?qa=2892&qa_1=muss-man-immer-zuerst-alles-nonterminalsymbole-umwandeln Fri, 25 Sep 2015 15:56:19 +0000 Tipps 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> &nbsp;</p> 2012-B-02 https://info2.aifb.kit.edu/qa/index.php?qa=2890&qa_1=vorgehensweise-monotonen-kontextsensitiven-grammatiken Fri, 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&nbsp;<a href="http://info2.aifb.kit.edu/qa/index.php?qa=ask&amp;cat=282" rel="nofollow" target="_blank">neue Frage erstellen</a>&nbsp;- und NICHT hier posten!</strong></span></p> </div> <p> &nbsp;</p> 2012-B-02 https://info2.aifb.kit.edu/qa/index.php?qa=2883&qa_1=%C3%BCbersicht-alternativer-l%C3%B6sungsvorschl%C3%A4ge-alten-ilias-forum Fri, 25 Sep 2015 15:51:50 +0000