Theoretische und technische Informatik - ganz praktisch - Letzte Fragen & Antworten in 2014-N-01 https://info2.aifb.kit.edu/qa/index.php?qa=qa&qa_1=2014-nachklausur&qa_2=2014-n-01 Powered by Question2Answer Beantwortet: Aufgabe 6 https://info2.aifb.kit.edu/qa/index.php?qa=7371&qa_1=aufgabe-6&show=7382#a7382 Hallo,<br /> <br /> die Zahlen sind gleich, weil es eine positive Zahl ist (die Zahl beginnt mit einer 0). Bei der b) steht sozusagen -0*2^31+2^25+... was das gleiche ist wie bei a) (0*2^31 +2^25+...) 2014-N-01 https://info2.aifb.kit.edu/qa/index.php?qa=7371&qa_1=aufgabe-6&show=7382#a7382 Sun, 21 Mar 2021 09:56:07 +0000 Beantwortet: 1-äquivalenz https://info2.aifb.kit.edu/qa/index.php?qa=6748&qa_1=1-%C3%A4quivalenz&show=6753#a6753 Hallo uvlpj,<br /> <br /> exakt, bei der 0-Äquivalenz bildet eine Menge die Menge aller Endzustände und die andere Menge ist die Menge aller Nicht-Endzustände.<br /> <br /> Bei der 1-Äquivalenz prüfst du für jeden Zustand in der Menge, in welcher Art Zustand du mit den unterschiedlichen Eingaben landest. Schauen wir uns die Menge der Nicht-Endzustände an, also {s0, s1, s7}. Für s0 landest du sowohl für die Eingabe a als auch b in einem Endzustand. Für s1 landest du ebenfalls für die Eingaben a und b in einem Endzustand. Mit s7 landest du für a und b in einem Nicht-Endzustand.<br /> Infolge dessen bilden die Zustände s0 und s1 eine Menge bei der 1-Äquivalenz, der Zustand s7 bildet eine einelementige Menge.<br /> Für die andere Menge verfährst du ebenso.<br /> <br /> Ich hoffe, deine Frage hat sich dadurch geklärt, sonst frag noch einmal nach.<br /> <br /> Viele Grüße<br /> <br /> Hannah (Tutorin) 2014-N-01 https://info2.aifb.kit.edu/qa/index.php?qa=6748&qa_1=1-%C3%A4quivalenz&show=6753#a6753 Sun, 10 Feb 2019 10:43:58 +0000 Beantwortet: NK 2014, Nr 7: was macht dieser Code? https://info2.aifb.kit.edu/qa/index.php?qa=3872&qa_1=nk-2014-nr-7-was-macht-dieser-code&show=4152#a4152 Hi,<br /> <br /> kann es sein, dass Du Aufgabe 8 meinst? In Aufgabe 7 geht es um Fehlererkenn- und korrigierbarkeit.<br /> <br /> Ich würde mir das Programm anhand eines kleinen Beispiels überlegen – z.B. dass am Anfang R1 = 4 gilt.<br /> <br /> 1. &quot;Iteration&quot;: Da $ R1 \neq 0 $ wird nicht gesprungen, sondern zu R2 (was am Anfang 0 ist) R1 addiert und anschließend von R1 1 abgezogen (also: $ R2 = R1 + R2 = 4 , R1 = R1 - 1 = 4 -1 = 3 $ )<br /> <br /> 2. &quot;Iteration&quot;: analog: $ R2 = R1 + R2 = 3 + 4 , R1 = R1 - 1 = 2 $<br /> <br /> 3. &quot;Iteration&quot;: analog: $ R2 = R1 + R2 = 2 + 3 + 4 , R1 = R1 - 1 = 1 $<br /> <br /> 4. &quot;Iteration&quot;: analog: $ R2 = R1 + R2 = 1 + 2 + 3 + 4 (= 10) , R1 = R1 - 1 = 0 $<br /> <br /> 5. &quot;Iteration&quot;: es gilt $ R1 = 0 $ , von daher ist die Bedingung im Sprungbefehl erfüllt und man springt zu &quot;FERTIG&quot;.<br /> <br /> Ich hoffe am Beispiel wird deutlich, dass in R2 $ \sum_{i=1}^n i $ berechnet wird.<br /> <br /> Viele Grüße<br /> <br /> Jonas (Tutor)<br /> <br /> PS: Im strengen Sinne werden in Assembler keine Schleifen geschrieben – man springt ja nur durch den Programmcode. Ich denke zum Verständnis ist es aber trotzdem ganz hilfreich, es sich so vorzustellen... 2014-N-01 https://info2.aifb.kit.edu/qa/index.php?qa=3872&qa_1=nk-2014-nr-7-was-macht-dieser-code&show=4152#a4152 Thu, 11 Feb 2016 08:03:35 +0000 Beantwortet: c): Könnte Lösungstabelle vereinfacht werden? https://info2.aifb.kit.edu/qa/index.php?qa=2631&qa_1=c-k%C3%B6nnte-l%C3%B6sungstabelle-vereinfacht-werden&show=2632#a2632 <div class="ilFrmPostContent"> <p> Hallo,</p> <p> die leere Menge zu schreiben wäre nicht korrekt, denn es sind (in Zeile 2) 8 einelementige Mengen vorhanden, um Verwirrung zu vermeiden würde ich eine eindeutigere Schreibweise wählen ("keine mehrelementigen Mengen" etc.)</p> <p> Gruß</p> <p> Alexander (Tutor)</p> </div> <p> &nbsp;</p> 2014-N-01 https://info2.aifb.kit.edu/qa/index.php?qa=2631&qa_1=c-k%C3%B6nnte-l%C3%B6sungstabelle-vereinfacht-werden&show=2632#a2632 Wed, 23 Sep 2015 13:21:48 +0000