Theoretische und technische Informatik - ganz praktisch - Letzte Fragen & Antworten in 2017 Bonusklausur https://info2.aifb.kit.edu/qa/index.php?qa=qa&qa_1=2017-bonusklausur Powered by Question2Answer Beantwortet: VERSTANDNİS https://info2.aifb.kit.edu/qa/index.php?qa=7474&qa_1=verstandni%CC%87s&show=7483#a7483 <p>Da die Turingmaschine nicht zählen kann, wie oft ein Zeichen vorkommt (wenn man nicht unendlich viele Zustände hat, was man nicht hat), dann wird das hier so gelöst. Es wird das erste a markiert (indem es in ein A umgeschrieben wird, die groß geschriebenen Sachen sind schon markiert/abgearbeitet). Dann wird nach einem unmarkierten b gesucht (das wird dann zu B) und dabei werden alle a's und B's einfach übersprungen (s1). Wurde es markiert, geht man wieder ganz nach links, bis zum nächsten unmarkierten a (s2) (das steht rechts vom letzten A). Dann geht es wieder von vorne los, bis alle markiert sind. Wenn kein a mehr da ist und auch kein b, dann geht es Richtung Endzustand (über s3 zum Zustand se, wenn ein * kommt)<br>Ein Beispiel, wie das Wort abgearbeitet wird</p><p><u>a</u>aabbb -&gt; Aaa<u>b</u>bb -&gt;A<u>a</u>aBbb -&gt;AAaB<u>b</u>b-&gt;AA<u>a</u>BBb-&gt;AAABB<u>B</u>-&gt;AA<u>A</u>BBB-&gt;AAABBB<u>*</u> und dann endet es im Endzustand.</p><p>Wenn in einer Zelle nichts steht, dann ist es nicht definiert und das Wort gehört nicht zur Sprache, also ist die Reihenfolge (erst a, dann b) wichtig.</p><p>Versuche am besten das Beispiel mit den Zustandsübergängen nachzuvollziehen.</p><p>Bei dieser Art von Aufgabe hilft es oft, kleine Beispiele aufzuschreiben, was wann passiert. Einfach die&nbsp;Wege durchgehen, bis man eine Idee hat und mit anderen Aufgaben üben. Oft sind die Ideen die gleichen, dann sieht man es schneller</p> 2017-B-02 https://info2.aifb.kit.edu/qa/index.php?qa=7474&qa_1=verstandni%CC%87s&show=7483#a7483 Tue, 11 Jan 2022 08:55:49 +0000 Beantwortet: Super beantwortet! https://info2.aifb.kit.edu/qa/index.php?qa=6804&qa_1=super-beantwortet&show=6805#a6805 Gerne! You're welcome! 2017-B-03 https://info2.aifb.kit.edu/qa/index.php?qa=6804&qa_1=super-beantwortet&show=6805#a6805 Mon, 14 Oct 2019 10:27:02 +0000 Beantwortet: Suche ich mir grundsätzlich die Nullzeile heraus? ->also die KNF https://info2.aifb.kit.edu/qa/index.php?qa=6140&qa_1=suche-ich-mir-grunds%C3%A4tzlich-die-nullzeile-heraus-also-die-knf&show=6152#a6152 Hallo,<br /> <br /> das kommt ganz darauf an.<br /> <br /> In der Tabelle 1 wird es einmal über die Einser (für q_0, es gibt hier nur zwei Einträge mit Einsen) gemacht und einmal über die Nuller (für q_1, es gibt in dieser Spalte nur zwei Nuller).<br /> <br /> Welche Herangehensweise man nun wählt hängt davon ab, was sich besser darstellen lässt. Prinzipiell geht natürlich beides.<br /> <br /> Viele Grüße<br /> <br /> Alex (Tutor) 2017-B-03 https://info2.aifb.kit.edu/qa/index.php?qa=6140&qa_1=suche-ich-mir-grunds%C3%A4tzlich-die-nullzeile-heraus-also-die-knf&show=6152#a6152 Sun, 14 Jan 2018 18:09:17 +0000 Beantwortet: Oder Gatter am Ende https://info2.aifb.kit.edu/qa/index.php?qa=6116&qa_1=oder-gatter-am-ende&show=6138#a6138 Hallo,<br /> <br /> es geht nach dem selben Prinzip, wie auch die Formeln aus der Tabelle 1 abgelesen werden.<br /> <br /> Hier wird also &quot;nach Nullen aus der Tabelle&quot; abgelesen. Daraus ergibt sich<br /> <br /> a = ¬q_0 v q_1<br /> <br /> dies wird dann entsprechend abgebildet und liefert auch alle Ergebnisse der Tabelle 2.<br /> <br /> Gruß<br /> <br /> Alex (Tutor) 2017-B-03 https://info2.aifb.kit.edu/qa/index.php?qa=6116&qa_1=oder-gatter-am-ende&show=6138#a6138 Sun, 14 Jan 2018 09:38:50 +0000 Beantwortet: Verbindungen der unteren Hälfte https://info2.aifb.kit.edu/qa/index.php?qa=6079&qa_1=verbindungen-der-unteren-h%C3%A4lfte&show=6084#a6084 <p> Hallo,</p> <p> <strong>Zum ersten Teil:</strong>&nbsp;die beiden unteren UND-Gatter besitzen ja zwei Eingänge. Der eine Eingang ist mit der Eingabe verbunden, der zweite mit den beiden UND-Gattern mit den Rückführungen von q1 und q0.</p> <p> Das Problem hier ist, dass du nicht einfach die Rückführungen q0,q1 als direkte Eingänge hast, sondern diese "vorbearbeitet" durch die UND-Gatter sind. D.h. du musst eine Darstellung finden, die mit diesen UND-Gattern arbeitet.</p> <p> <span style="text-decoration: underline;">Hier kommt nun der kleine Trick zum Tragen:</span></p> <p> allgemein gilt: (a v b)&nbsp;⇔&nbsp;¬ (¬a ^ ¬b) ⇔ ¬a NAND&nbsp;¬b&nbsp;(Also einfach doppelt negiert)</p> <p> Das kannst du auch auf die beiden ODER aus q1 anwenden, dann erhälst du:&nbsp;</p> <p> q1 = (e ^ <span style="text-decoration: underline;">(¬ (¬q0 ^ ¬q1))</span>) v (¬e ^<span style="text-decoration: underline;">(¬ (q0 ^ q1))</span>)</p> <p> Damit hast du dann mit den unterstichenen Teilen die Eingänge, die mit den UND-Gattern verbunden sind, dargestellt. &nbsp;e bzw&nbsp;¬e kann dann jeweils für den zweiten Eingang definiert werden.</p> <p> <strong>Zu Teil zwei:</strong></p> <p> Hier wird die Tabelle umgesetzt, die zu Beginn berechnet werden soll</p> <p> te. Diese gibt an, bei welchen Belegungen von q0,q1 die Ausgabe 0 oder 1 ist. Alle Fälle ergeben hier 1 bis auf q0= 1 und q1= 0. Dies wird mit dem ODER-Gatter&nbsp;</p> <p> <img alt="" src="http://info2.aifb.kit.edu/qa/?qa=blob&amp;qa_blobid=6218695206465082121" style="width: 100px; height: 90px; float: right;">erzielt. (Gatter leitet bei allen Fällen bis auf diesen.) Damit werden übrigens alle Endzustände von dem EA realisiert.</p> <p> Ich hoffe ich konnte dir helfen!</p> <p> Viele Grüße,</p> <p> Timon (Tutor)</p> 2017-B-03 https://info2.aifb.kit.edu/qa/index.php?qa=6079&qa_1=verbindungen-der-unteren-h%C3%A4lfte&show=6084#a6084 Thu, 11 Jan 2018 09:50:43 +0000 Beantwortet: bonus punkt https://info2.aifb.kit.edu/qa/index.php?qa=5780&qa_1=bonus-punkt&show=5781#a5781 Ganz ehrlich, ich helfe Ihnen ja gerne - aber was soll ich denn machen, wenn Sie anonym schreiben und keine persönlichen Angaben mitposten?<br /> <br /> Das Forum ist für solche Anfragen auch nicht der richtige Ort, schreiben Sie uns doch am besten eine Email! 2017-B-01 https://info2.aifb.kit.edu/qa/index.php?qa=5780&qa_1=bonus-punkt&show=5781#a5781 Fri, 24 Feb 2017 19:48:32 +0000 Beantwortet: Bonusklausur 2017: Aufgabe 3 Boolescher Term https://info2.aifb.kit.edu/qa/index.php?qa=5716&qa_1=bonusklausur-2017-aufgabe-3-boolescher-term&show=5721#a5721 <p> Na ja, Sie müssen ja auf den entsprechenden <strong>Wert </strong>in der Wahrheitstabelle kommen, nicht einfach nur die Zeilen auflisten, die eine bestimmte Eigenschaft haben. Wenn wir auf $1$ kommen wollen, nehmen wir das ODER, weil bspw. die Verknüpfung $$\neg e \wedge \neg q_0^\star \wedge \neg q_1^\star \vee \neg e \wedge q_0^\star \wedge q_1^\star$$ eben genau an den Stellen $1$ ergibt, wo in der Tabelle $q_0$ den Wert $1$ hat.</p> <p> Wollen wir dasselbe Ergebnis für die Nullen in der Tabelle erhalten, müssen wir die Denkweise umkehren. Bei den Einsen nutzen wir eine "Ver-Oderung", weil wir die Einserzeilen einfach "auflisten" wollen und durch jedes weitere ODER der drei Werte eine weitere Eins erhalten.</p> <p> Bei den Nullen nehmen wir entsprechend eine "Ver-Undung", weil wir durch jedes weitere UND eine weitere Null erhalten. Nur müssen wir jetzt den DeMorgan anwenden, damit wir die Nullen an den richtigen Stellen erhalten. (Warum das so ist, können Sie selbst durchdenken, das ist mir für den Post hier zu umständlich.)</p> <p> So ergibt sich im Beispiel: $$(e \vee \neg q_0^\star \vee \neg q_1^\star) \wedge (\neg e \vee q_0^\star \vee q_1^\star)$$ Im Prinzip können Sie sich einfach merken, dass man für die Nullen alle Operatoren vertauschen muss (UND &lt;=&gt; ODER) und gleichzeitig alle Operanden negiert werden müssen.</p> <p> Im Übrigen können Sie auch für $q_1$ im Prinzip alle Einsen per ODER auflisten. Das ist nur wesentlich umständlicher.</p> 2017-B-03 https://info2.aifb.kit.edu/qa/index.php?qa=5716&qa_1=bonusklausur-2017-aufgabe-3-boolescher-term&show=5721#a5721 Mon, 13 Feb 2017 14:46:12 +0000 Beantwortet: Bitte Umformungsschrittvon q1 erklären https://info2.aifb.kit.edu/qa/index.php?qa=5541&qa_1=bitte-umformungsschrittvon-q1-erkl%C3%A4ren&show=5553#a5553 <p> <span style="font-size:12px;">Hallo uxebx!</span></p> <p> <span style="font-size:12px;">Das ausmultiplizieren sollte ja klar verständlich sein. </span></p> <p> <span style="font-size:12px;">(e und&nbsp;<span style="color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">¬</span>e) oder (e und q0*) oder (e und q1*) oder (<span style="color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">¬q0* und&nbsp;</span><span style="color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">¬e) oder (</span><span style="color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">¬q0* und qo*) ......</span></span></p> <p> <span style="font-size:12px;"><span style="color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">im ersten Schritt zum Vereinfachen werden dann alle nicht erfüllbaren Klammern gestrichen. (e und&nbsp;</span><span style="color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">¬e).</span></span></p> <p> <span style="font-size:12px;"><span style="font-family: Verdana, Arial, Helvetica, sans-serif; color: #000000;">Im nächsten Schritt wird e bzw.&nbsp;</span><span style="color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">¬e ausgekla</span></span><span style="color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">mmert, dann bleibt noch übrig&nbsp;</span></p> <p> <span style="color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">(¬e und (qo* oder q1*)) oder (e und (</span><span style="color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">¬q0* oder&nbsp;</span><span style="color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">¬q1*)) oder (q0* und&nbsp;</span><span style="color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">¬q1*) oder (q1* und&nbsp;</span><span style="color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">¬q0*).</span></p> <p> <span style="color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">Die letzten beiden Klammern kann man durch geschicktes hinsehen auch weglassen, weil immer eine der ersten beiden Klammern erfüllt ist, wenn Klammer 3 oder 4 erfüllt ist.</span></p> <p> <span style="color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">Grüße, Felix (Tutor)</span></p> <div> Hier noch ein schönes Bild.</div> <p> <span style="font-size:12px;"><span style="color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;"><img alt="" src="http://info2.aifb.kit.edu/qa/?qa=blob&amp;qa_blobid=3795009778274485434" style="width: 600px; height: 450px;"></span></span></p> 2017-B-03 https://info2.aifb.kit.edu/qa/index.php?qa=5541&qa_1=bitte-umformungsschrittvon-q1-erkl%C3%A4ren&show=5553#a5553 Thu, 09 Feb 2017 14:28:25 +0000 Beantwortet: Alternativlösung? https://info2.aifb.kit.edu/qa/index.php?qa=5164&qa_1=alternativl%C3%B6sung&show=5175#a5175 Hallo,<br /> <br /> &nbsp;<br /> <br /> die ersten beiden AND-Gatter kannst du tauschen, das ist richtig. Wenn du aber das OR-Gatter hinten negierst und die beiden vorgelagerten AND-Gatter &quot;umdrehst&quot; dann entsteht etwas anderes, als in der Lösung gewünscht ist.<br /> <br /> Wenn in deiner Lösung bsp. 1100 anliegt (liegt bei den beiden AND-Gattern von oben nach unten an), wird das im OR-Gatter 1 und dann aber durch die Negierung 0. In der Lösung müsste diese Kombination aber 1 sein. 2017-B-03 https://info2.aifb.kit.edu/qa/index.php?qa=5164&qa_1=alternativl%C3%B6sung&show=5175#a5175 Tue, 31 Jan 2017 14:07:52 +0000 Beantwortet: Bonusklausur 2017 Aufgabe 3 https://info2.aifb.kit.edu/qa/index.php?qa=4979&qa_1=bonusklausur-2017-aufgabe-3&show=4983#a4983 Na ja, wenn Sie die Werte der Tabelle haben, ist die Hauptarbeit ja schon getan. Sie müssen dann nur noch Boolesche Terme aufstellen und diese auf die vorgegebene Schaltungsstruktur mappen.<br /> <br /> Statt Ihre Frage hier ausführlich zu beantworten, werde ich die Lösung direkt in der hochgeladenen Klausur besser ausformulieren - ich melde mich nochmal hier, wenn das fertig ist. 2017-B-03 https://info2.aifb.kit.edu/qa/index.php?qa=4979&qa_1=bonusklausur-2017-aufgabe-3&show=4983#a4983 Tue, 24 Jan 2017 10:26:11 +0000