Theoretische und technische Informatik - ganz praktisch - Letzte Fragen in Turingmaschinen https://info2.aifb.kit.edu/qa/index.php?qa=questions&qa_1=turingmaschinen Powered by Question2Answer Turingmachinen allgemein https://info2.aifb.kit.edu/qa/index.php?qa=7410&qa_1=turingmachinen-allgemein Sind die Bandeinträge eingebettet von unendlich vielen Leersymbolen, oder nur von 2 einem links und einem rechts?<br /> <br /> Danke schon mal TUR-AA https://info2.aifb.kit.edu/qa/index.php?qa=7410&qa_1=turingmachinen-allgemein Tue, 20 Jul 2021 12:30:47 +0000 deterministische und nicht deterministische TM https://info2.aifb.kit.edu/qa/index.php?qa=7362&qa_1=deterministische-und-nicht-deterministische-tm Hallo,<br /> <br /> was ist der unterschied zwischen einer deterministischen und nicht deterministischen Turingmaschine? Ich bin davon ausgegangen, dass beide die selbe Sprache akzeptieren.<br /> <br /> viele Grüße TUR-AA https://info2.aifb.kit.edu/qa/index.php?qa=7362&qa_1=deterministische-und-nicht-deterministische-tm Fri, 19 Mar 2021 11:31:18 +0000 HK 2018/19 Aufg.4 - Alternativlösung https://info2.aifb.kit.edu/qa/index.php?qa=7334&qa_1=hk-2018-19-aufg-4-alternativl%C3%B6sung <p>Hallo,</p><p>ich frage mich ob meine Lsg auch stimmt. Ich bin mir nicht 100% sicher, aber ich denke das sollte soweit passen.&nbsp;</p><p>Vielleicht könnte jemand ja kurz drüber schauen. Vielen Dank!</p><p>P.S. Ich hab natürlich die vollständige Definition noch angeben, hab ich mir hier aber gespart mit aufzuschreiben ;)</p><table border="1" cellpadding="1" style="width:100%"><tbody><tr><td>delta</td><td>0</td><td>1</td><td>*</td></tr><tr><td>S0</td><td>(S1,0,R)</td><td>(S3,1,R)</td><td>(S5,*,L)</td></tr><tr><td>S1</td><td>(S2,0,R)</td><td>(S3,1,R)</td><td>(S3,1,L)</td></tr><tr><td>S2</td><td>(S3,0,R)</td><td>(S0,1,R)</td><td>(S5,*,L)</td></tr><tr><td>S3</td><td>(S3,0,R)</td><td>(S3,1,R)</td><td>(S4,*,L)</td></tr><tr><td>S4</td><td>(S4,0,L)</td><td>(S4,0,L)</td><td>(SE,*,R)</td></tr><tr><td>S5</td><td>(S5,1,L)</td><td>(S5,1,L)</td><td>(SE,*,R)</td></tr><tr><td>SE</td><td></td><td></td><td></td></tr></tbody></table><p></p> TUR-AA https://info2.aifb.kit.edu/qa/index.php?qa=7334&qa_1=hk-2018-19-aufg-4-alternativl%C3%B6sung Tue, 16 Mar 2021 11:01:46 +0000 Turingmaschine endet, wo Lesekopf? https://info2.aifb.kit.edu/qa/index.php?qa=7169&qa_1=turingmaschine-endet-wo-lesekopf Hallo,<br /> <br /> &nbsp;<br /> <br /> in den Übungsbüchern ist es so, dass eine Turingmaschine am Ende ihres Bearbeitungszyklus mit dem Lesekopf ganz nach links auf das ursprüngliche s0 läuft, in den Tutorien war das nicht so. Müssen wir in der Klausur die TM immer wieder nach links laufen lassen, oder darf sie auch mit dem Lesekopf rechts vom Wort enden? <br /> <br /> &nbsp;<br /> <br /> Danke! TUR-AA https://info2.aifb.kit.edu/qa/index.php?qa=7169&qa_1=turingmaschine-endet-wo-lesekopf Sat, 08 Feb 2020 15:53:48 +0000 Theoretische Informatik Übungsbuch A76 https://info2.aifb.kit.edu/qa/index.php?qa=7131&qa_1=theoretische-informatik-%C3%BCbungsbuch-a76 Der Zustand S5 in A76 durchläuft das Band bis ganz links und geht dann in den Endzustand. Ist das nötig, dass man immer nochmal nach ganz links geht und dann erst in den Endzustand?<br /> <br /> Gruß TUR-AA https://info2.aifb.kit.edu/qa/index.php?qa=7131&qa_1=theoretische-informatik-%C3%BCbungsbuch-a76 Thu, 06 Feb 2020 16:24:21 +0000 Turingmaschinen: mehr Zustände als in der Vorlagentabelle https://info2.aifb.kit.edu/qa/index.php?qa=7111&qa_1=turingmaschinen-mehr-zust%C3%A4nde-als-in-der-vorlagentabelle Guten Tag,<br /> <br /> in den Altklausuren sind meist Tabellen vorgegeben in welche man die eigene Lösung für die Turingmaschiene eintragen soll. Oft brauche ich jedoch für meine Lösung mehr Zustände oder Bandzeichen als die Tabelle vorgibt. Ist es erlaubt in einem solchen falle die Tabelle selbständig zu erweitern ?<br /> <br /> Vielen Dank im vorraus für die Hilfe TUR-AA https://info2.aifb.kit.edu/qa/index.php?qa=7111&qa_1=turingmaschinen-mehr-zust%C3%A4nde-als-in-der-vorlagentabelle Wed, 05 Feb 2020 13:13:45 +0000 Komplement von z.Bsp. 0000 https://info2.aifb.kit.edu/qa/index.php?qa=7051&qa_1=komplement-von-z-bsp-0000 <blockquote> <p> Hallo,<br> <br> wenn man hier die 4 Bits 0000 als Beispiel nimmt, ist das Zweier-Komplement doch 10000.<br> <br> Somit müsste der Zustand von s1 und * doch eigentlich (se, 1, N ) sein oder bin ich da falsch?<br> <br> Danke für die Hilfe,<br> <br> Gruß</p> <div> <img alt="" src="https://info2.aifb.kit.edu/qa/?qa=blob&amp;qa_blobid=14753512859652198736" style="width: 600px; height: 364px;"></div> </blockquote> TUR-AA https://info2.aifb.kit.edu/qa/index.php?qa=7051&qa_1=komplement-von-z-bsp-0000 Mon, 03 Feb 2020 12:21:02 +0000 Konfigurationsabfolge Turingmaschinen https://info2.aifb.kit.edu/qa/index.php?qa=7040&qa_1=konfigurationsabfolge-turingmaschinen Guten Tag, <br /> <br /> &nbsp;<br /> <br /> in der 2018-H-04, die ich leider hier nicht verlinken kann, da diese Kategorie noch nicht existiert, muss man die Konfigurationsabfolge einer Turing-Maschine angeben. <br /> &nbsp;<br /> <br /> was sagen mir die Tulpen aus? Klar ist mir, dass das Tupel immer so aussehen muss :(?,aktueller Zustand, ? ). Was aber an die Stelle der Fragezeichen kommt, ist mir nicht klar. Die Transitions und das Tape aus der Musterlösung erschließt sich mir komplett, die Abfolge der Konfiguration allerdings nicht. <br /> &nbsp;<br /> <br /> Wie kann ich hier vorgehen? Was sagen mir die an der Stelle der Fragezeichen eingesetzten Symbole? <br /> &nbsp;<br /> <br /> Vielen Dank im Voraus, TUR-AA https://info2.aifb.kit.edu/qa/index.php?qa=7040&qa_1=konfigurationsabfolge-turingmaschinen Mon, 03 Feb 2020 09:21:50 +0000 Turingmaschine letzte Position https://info2.aifb.kit.edu/qa/index.php?qa=7005&qa_1=turingmaschine-letzte-position Hallo,<br /> <br /> muss eine Turing-Maschine zum Schluss immer an dem linkesten Zeichen stehen bleiben? Ich dachte es sei nicht relevant, allerdings kann ich mir die Lösung im Aufgabenpool (Aufgabe 74) sonst nicht erklären.<br /> <br /> MfG TUR-AA https://info2.aifb.kit.edu/qa/index.php?qa=7005&qa_1=turingmaschine-letzte-position Sat, 01 Feb 2020 00:28:26 +0000 Alternativlösung https://info2.aifb.kit.edu/qa/index.php?qa=6991&qa_1=alternativl%C3%B6sung <p> Hier ist eine Alternativlösung. Bitte um Feedback!</p> <p> Hat das noch jemand so gemacht?<img alt="" src="https://info2.aifb.kit.edu/qa/?qa=blob&amp;qa_blobid=12210781835657379195" style="width: 600px; height: 288px;"></p> <p> Und noch etwas: In der Version der Musterlösung wird extra noch der Zustand s6 hinzugefügt, damit der Lesekopf im Endzustand über dem linkesten Bandzeichen ist. Das wird aber nicht gefordert soweit ich das der Aufgabenstellung entnehmen kann. Wäre es also auch korrekt sich diesen Zustand in der Musterlösung zu sparen und direkt von s5 in se zu gehen?</p> TUR-AF https://info2.aifb.kit.edu/qa/index.php?qa=6991&qa_1=alternativl%C3%B6sung Wed, 29 Jan 2020 08:46:34 +0000 Alternative Lösung Turingmaschine a^n b^n c^n (Vorlesung Bsp.) https://info2.aifb.kit.edu/qa/index.php?qa=6851&qa_1=alternative-l%C3%B6sung-turingmaschine-a-n-b-n-c-n-vorlesung-bsp <p> Hallo,</p> <p> ich wäre Ihnen sehr dankbar wenn Sie einmal meine Lösung überprüfen könnten. Im Unterschied zur Vorlesung habe ich zwei Zustände weniger. Zustand s1 aus der Vorlesung erschien mir unnötig. Den andere spare ich mir in dem ich die beiden Zustände die an den Anfang des Wortes gehen, bündele. Am Ende gehe ich auch nicht mehr so durch das Wort wie in der Vorlesung.</p> <p> Hier ein One Drive Link, da mich die Website leider keine Bilder hochladen lässt und es sonst ziemlich chaotisch wird.</p> <p> <a href="https://1drv.ms/f/s!AgqZl5BdXNkv83zKgK1FnRTpIh7A" rel="nofollow">https://1drv.ms/f/s!AgqZl5BdXNkv83zKgK1FnRTpIh7A</a> &nbsp;&nbsp;</p> <p> &nbsp;</p> <p> Vielen Dank im Voraus!</p> <p> &nbsp;</p> <p> R.O.</p> TUR-AA https://info2.aifb.kit.edu/qa/index.php?qa=6851&qa_1=alternative-l%C3%B6sung-turingmaschine-a-n-b-n-c-n-vorlesung-bsp Sat, 04 Jan 2020 14:08:27 +0000 A74 vs. A76 - Theoretische Informatik https://info2.aifb.kit.edu/qa/index.php?qa=6791&qa_1=a74-vs-a76-theoretische-informatik Bei Aufgabe 76 wird der Zustand s0 genutzt, um nach dem Markieren aller Zahlen, schließlich alle &quot;n's&quot; wieder zu 0en und alle &quot;e's&quot; wieder zu 1en zu machen. <br /> <br /> Bei Aufgabe 74 wird selbige Aufgabe an einen weiteren Zustand &quot;s5&quot; abgegeben.<br /> <br /> --&gt; Ist es möglich, die TM aus Aufgabe 76 genau so wie die TM aus Aufgabe 74 zu gestalten, und die TM aus Aufgabe 74 genau so wie die TM aus Aufgabe 76, oder besteht der Grund für die unterschiedliche Gestaltung in einem Detail, dass ich übersehen habe ? <br /> <br /> Gruß TUR-AF https://info2.aifb.kit.edu/qa/index.php?qa=6791&qa_1=a74-vs-a76-theoretische-informatik Tue, 28 May 2019 16:07:50 +0000 Leeres Wort bei Turing-Maschinen https://info2.aifb.kit.edu/qa/index.php?qa=6553&qa_1=leeres-wort-bei-turing-maschinen Hallo zusammen,<br /> <br /> wenn ich eine Sprache L habe, die auch ein leeres Wort Lambda enthält, und diese Sprache von einer Turing-Maschine erkannt werden soll, muss ich dann auch Lambda in das Eingabealphabet meiner Turing-Maschine schreiben?<br /> Und taucht Lambda dann überhaupt in meiner Turing-Tafel auf?<br /> <br /> Danke im Vorraus! TUR-AA https://info2.aifb.kit.edu/qa/index.php?qa=6553&qa_1=leeres-wort-bei-turing-maschinen Sun, 06 Jan 2019 13:59:37 +0000 Abgabeblatt Aufgabe Turingmaschine https://info2.aifb.kit.edu/qa/index.php?qa=6544&qa_1=abgabeblatt-aufgabe-turingmaschine Ist es auf dem Abgabeblatt erlaubt auch mehr Zustände für die TM zu verwenden, als Zeilen angegeben sind (das man sich also zB noch eine Zeile selbst dazu zeichnet), oder wird dies dann als falsch gewertet ?<br /> <br /> Vielen Dank im Vorraus TUR-AA https://info2.aifb.kit.edu/qa/index.php?qa=6544&qa_1=abgabeblatt-aufgabe-turingmaschine Thu, 03 Jan 2019 13:14:26 +0000 Annahme Turingmaschine zu Beginn über ganz linkem Zeichen https://info2.aifb.kit.edu/qa/index.php?qa=6158&qa_1=annahme-turingmaschine-zu-beginn-%C3%BCber-ganz-linkem-zeichen Darf die Annahme getroffen werden, dass sich die Turingmaschine zu beginn über dem ganz linken Zeichen des Wortes (also nicht *, falls das Wort nicht das leere Wort ist) befindet? Muss ich in diesem Fall die oben genannte Annahme als Teil der Lösung formulieren? TUR-AA https://info2.aifb.kit.edu/qa/index.php?qa=6158&qa_1=annahme-turingmaschine-zu-beginn-%C3%BCber-ganz-linkem-zeichen Mon, 15 Jan 2018 11:31:02 +0000 Lösung, bei der man immer von Sternchen zu Sternchen geht https://info2.aifb.kit.edu/qa/index.php?qa=6120&qa_1=l%C3%B6sung-bei-der-man-immer-von-sternchen-zu-sternchen-geht <p> Ich habe eine Lösung, bei der ich immer von Sternchen zu Sternchen gehe bis ich irgendwann nur noch Buchstaben E und N für 1 und 0en habe und dann im letzten Schritt diese durch die jeweiligen Ziffern ersetzte (allerdings bleibe ich hier am Schluss auf dem Zeichen ganz rechts stehen... Wäre diese Lösung auch korrekt?&nbsp;</p> <p> (s0,&nbsp; 0) =&gt; (s1, N, R)<br> (s0, 1)&nbsp;<span style="display: inline !important; float: none; background-color: transparent; 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;">=&gt;</span> (s4, E, R)<br> ​(s0, *)&nbsp;<span style="display: inline !important; float: none; background-color: transparent; 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;">=&gt;</span> (s6,&nbsp; *,&nbsp; N)<br> (s1,&nbsp; 0) <span style="display: inline !important; float: none; background-color: transparent; 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;">=&gt; (s1, 0, R)<br> <span style="display: inline !important; float: none; background-color: transparent; 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;">(s1, 1) =&gt; (s1, 1, R)&nbsp;<br> (s1, *) </span></span><span style="text-align: left; color: rgb(34, 34, 34); text-transform: none; text-indent: 0px; letter-spacing: normal; font-family: Arial,Verdana,sans-serif; font-size: 12px; font-variant: normal; word-spacing: 0px; display: inline !important; white-space: normal; orphans: 2; float: none; -webkit-text-stroke-width: 0px; background-color: transparent;"><span style="display: inline !important; float: none; background-color: transparent; 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;">=&gt; (s2, E, L)</span><br> <span style="display: inline !important; float: none; background-color: transparent; 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;">(s1, N) =&gt; (s1, N, L)</span><br> <span style="display: inline !important; float: none; background-color: transparent; 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;">(s1, E) =&gt; (s1, E, R)</span><br> (s2, 0) <span style="display: inline !important; float: none; background-color: transparent; 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;">=&gt; (s2, O, L)</span><br> <span style="display: inline !important; float: none; background-color: transparent; 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;">(s2, 1) =&gt; (s2, 1; L)</span><br> <span style="display: inline !important; float: none; background-color: transparent; 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;">(s2, *) =&gt; (s3, *, R)</span></span><br> <span style="text-align: left; color: rgb(34, 34, 34); text-transform: none; text-indent: 0px; letter-spacing: normal; font-family: Arial,Verdana,sans-serif; font-size: 12px; font-variant: normal; word-spacing: 0px; display: inline !important; white-space: normal; orphans: 2; float: none; -webkit-text-stroke-width: 0px; background-color: transparent;"><span style="display: inline !important; float: none; background-color: transparent; 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;">(s2, N) =&gt; (s2, N, L)</span><br> (s2, E) <span style="display: inline !important; float: none; background-color: transparent; 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;">=&gt; (s2, E, L)<br> ​(s3, 0) =&gt; (s0, 0, N)<br> ​(s3, 1) =&gt; (so, 1, N)<br> ​(s3, *) =&gt; (s5, *, L)<br> ​(s3, N) =&gt; (s3, N, R)<br> (s3, E) =&gt; (s3, E, R)&nbsp;<br> ​(s4, 0) =&gt; (s4, 0,R)<br> ​(s4, 1) =&gt; (s4, 1, R)<br> ​(s4, *) =&gt; (s2, N, L)&nbsp;<br> ​(s5, *) =&gt; (s6, *, N)<br> ​(s5, N) =&gt; (s5, 0, R)<br> ​(s5, E) =&gt; (s5, 1, R)&nbsp;</span></span><br> &nbsp;</p> <p> &nbsp;</p> <p> &nbsp;</p> TUR-AF https://info2.aifb.kit.edu/qa/index.php?qa=6120&qa_1=l%C3%B6sung-bei-der-man-immer-von-sternchen-zu-sternchen-geht Sat, 13 Jan 2018 17:09:11 +0000 Frage zu A73, Übungsbuch Turingmaschine https://info2.aifb.kit.edu/qa/index.php?qa=6023&qa_1=frage-zu-a73-%C3%BCbungsbuch-turingmaschine Hallo<br /> <br /> ich habe eine Frage zur Turing Tabelle: Beispiel aus Aufgabe 73 , Übungsbuch mit der Tabelle.<br /> <br /> Wenn sich die Turingmaschine im Zustand so befindet, der Stern wird gelesen -&gt; (s1,*,L) steht in der entsprechnenden Zelle- ich wechsle ja dann in den Zustand s1 - aber was passiert mit dem L - das steht ja quasi für rücke ein Zelle nach links - wo wird das ausgeführt ?<br /> <br /> &nbsp;<br /> <br /> Danke ! TUR-AA https://info2.aifb.kit.edu/qa/index.php?qa=6023&qa_1=frage-zu-a73-%C3%BCbungsbuch-turingmaschine Sun, 07 Jan 2018 10:09:45 +0000 Ratefähigkeit der nichtdeterministischen TM https://info2.aifb.kit.edu/qa/index.php?qa=5887&qa_1=ratef%C3%A4higkeit-der-nichtdeterministischen-tm Im Informatik Lehrbuch wird gesagt, dass eine nichtdet. TM insofern korrekt rät, als dass sie die deterministische Verifizierung übersteht. <br /> <br /> Was passiert denn jetzt, wenn wir eine Abzweigung genommen haben, die sich hinterher als falsch erweist? Ist nicht durch die Möglichkeit des falsch-raten der Aufwand einen akzeptierenden Pfad zu finden, höher, als wenn man ihn von vornherein deterministisch sucht?<br /> <br /> Oder soll man einfach blind der Annahme vertrauen, dass die nichtdeterministische TM einfach sehr gut raten kann?<br /> <br /> Viele Grüße TUR-AA https://info2.aifb.kit.edu/qa/index.php?qa=5887&qa_1=ratef%C3%A4higkeit-der-nichtdeterministischen-tm Fri, 29 Sep 2017 09:47:03 +0000 Turingmaschine wo Lesekopf am ende? https://info2.aifb.kit.edu/qa/index.php?qa=5424&qa_1=turingmaschine-wo-lesekopf-am-ende Ist es in der Klausur egal wo die der Lesekopf von der Turingmaschine am ende steht wenn nichts in der Aufgabenstellung steht, oder muss der immer auf dem linkesten Symbol am Ende stehen? TUR-AA https://info2.aifb.kit.edu/qa/index.php?qa=5424&qa_1=turingmaschine-wo-lesekopf-am-ende Mon, 06 Feb 2017 15:28:26 +0000 Konfigurationsfolge XWizard https://info2.aifb.kit.edu/qa/index.php?qa=5238&qa_1=konfigurationsfolge-xwizard <a href="http://www.xwizard.de:8080/Wizz?template=ID-22481" rel="nofollow" target="_blank">http://www.xwizard.de:8080/Wizz?template=ID-22481</a><br /> <br /> Stellt der XWizard nur eine bestimmte Anzahl an Übergängen dar oder wieso endet meine Konfigurationsfolge in einem Nicht-Endzustand?<br /> <br /> Eigentlich ist auch ein weiterer Übergang möglich, weshalb dies auch nicht der Grund für das Enden der Konfigurationsfolge sein kann.<br /> <br /> Vielen Dank! TUR-AF https://info2.aifb.kit.edu/qa/index.php?qa=5238&qa_1=konfigurationsfolge-xwizard Thu, 02 Feb 2017 14:34:46 +0000 Alternativlösung https://info2.aifb.kit.edu/qa/index.php?qa=5230&qa_1=alternativl%C3%B6sung <a href="http://www.xwizard.de:8080/Wizz?template=ID-22455" rel="nofollow" target="_blank">http://www.xwizard.de:8080/Wizz?template=ID-22455</a><br /> <br /> Ich habe hier zuerst alle Bits gekippt und danach die 1 addiert. So benötige ich zwar mehr Operationen als in der Musterlösung, ist meine TM trotzdem korrekt? <br /> <br /> Vielen Dank :) TUR-AA https://info2.aifb.kit.edu/qa/index.php?qa=5230&qa_1=alternativl%C3%B6sung Thu, 02 Feb 2017 11:30:03 +0000 Alternativlösung https://info2.aifb.kit.edu/qa/index.php?qa=5143&qa_1=alternativl%C3%B6sung <p> Wäre es auch richtig, wenn man die spalte sr1 und sr2 mit den spalten</p> <table border="1" cellpadding="1" style="width:500px; border-spacing: 1px;"> <thead> <tr> <th scope="row"> delta</th> <th scope="col"> 0</th> <th scope="col"> 1</th> <th scope="col"> N</th> <th scope="col"> E</th> <th scope="col"> *</th> </tr> </thead> <tbody> <tr> <th scope="row"> s3</th> <td> (s4, 0, L)</td> <td> (s4, 1, L)</td> <td> (s3, N, L)</td> <td> (s3, E, L)</td> <td> (sü, * ,R)</td> </tr> <tr> <th scope="row"> s4</th> <td> (s4, 0, L)</td> <td> (s4, 1, L)</td> <td> (s0, N, R)</td> <td> (s0, E ,R )</td> <td> &nbsp;</td> </tr> </tbody> </table> <p> ersetzt?&nbsp;</p> <p> (Bezogen auf die aller erste Alternativlösung</p> TUR-AC https://info2.aifb.kit.edu/qa/index.php?qa=5143&qa_1=alternativl%C3%B6sung Mon, 30 Jan 2017 13:49:41 +0000 Alternativlösung https://info2.aifb.kit.edu/qa/index.php?qa=5110&qa_1=alternativl%C3%B6sung <p> Ist folgende Überführungstabelle auch richtig?</p> <p> <img alt="" src="http://info2.aifb.kit.edu/qa/?qa=blob&amp;qa_blobid=5479189966212255476" style="width: 360px; height: 480px;"></p> <p> Die TM überprüft also mit Sog und Sou, ob das Wort eine gerade Anzahl an Zeichen enthält.</p> <p> Ist das nicht der Fall, geht die TM über in Sx, eine Senke, welche kein Endzustand ist.</p> <p> Andernfalls geht die TM über Sz zurück zum ersten Zeichen, ersetzt dieses durch ein N oder ein E&nbsp; und hängt hinten dementsprechend auch ein N oder E an das Wort an. Auf dem Rückweg in Szo wird die erste 0 oder 1 auch in ein N oder ein E umgewandelt, damit schließlich maximal das halbe Wort hinten angehängt wird. Danach wechselt die TM in Sz1, bis Sie wieder auf ein N oder E trifft, woraufhin die TM die Lese-/Schreibeinheit nach rechts bewegt und in Ss wechselt und wieder den selben Prozess durchläuft wie zuvor beschrieben.<br> <br> Enthält das Wort nur noch Ns und Es wechselt die TM in SF und überschreibt alle Ns und Es mit einer 0 oder 1.<br> <br> Über ein Feedback wäre ich sehr dankbar.</p> <p> Viele Grüße</p> TUR-AD https://info2.aifb.kit.edu/qa/index.php?qa=5110&qa_1=alternativl%C3%B6sung Sat, 28 Jan 2017 16:49:53 +0000 S2 überflüssig https://info2.aifb.kit.edu/qa/index.php?qa=5084&qa_1=s2-%C3%BCberfl%C3%BCssig Ist es möglich s2 wegzulassen und stattdessen zwei der Übergänge wie folgt zu ändern: &nbsp;(s0,*) --&gt; (se,0,N) &amp; (s1,*)--&gt;(se,1,N) ?<br /> <br /> &nbsp;<br /> <br /> Vielen Dank und viele Grüße TUR-AE https://info2.aifb.kit.edu/qa/index.php?qa=5084&qa_1=s2-%C3%BCberfl%C3%BCssig Fri, 27 Jan 2017 16:27:32 +0000 Alternative Lösung (vgl. A74) https://info2.aifb.kit.edu/qa/index.php?qa=5083&qa_1=alternative-l%C3%B6sung-vgl-a74 Ist es auch möglich, einfach die Lösung aus A74 zu verwenden und die Übergänge<br /> <br /> (s1,*)--&gt; (s2,N,L)<br /> (s4,*)--&gt; (s2,E,L)<br /> <br /> zu<br /> <br /> (s1,*)--&gt; (s2,E,L)<br /> (s4,*)--&gt; (s2,N,L)<br /> <br /> zu verändern.<br /> <br /> &nbsp;<br /> <br /> Vielen Dank und viele Grüße TUR-AC https://info2.aifb.kit.edu/qa/index.php?qa=5083&qa_1=alternative-l%C3%B6sung-vgl-a74 Fri, 27 Jan 2017 16:27:24 +0000 TM als Akzeptor - Wort vollständig einlesen? https://info2.aifb.kit.edu/qa/index.php?qa=5018&qa_1=tm-als-akzeptor-wort-vollst%C3%A4ndig-einlesen Guten Tag,<br /> <br /> ich habe eine Frage zu Turingmaschinen und werde hier aus den Vorlesungsfolien nicht ganz schlau.<br /> <br /> Ist es nötig, dass eine Turingmaschine ein Wort vor dem Halten vollständig liest, um es zu akzeptieren? Oder genügt es, wenn sie irgendwann in einem Endzustand hält (also möglicherweise auch vor dem vollständigen Einlesen)?<br /> <br /> Vielen Dank schonmal! TUR-AA https://info2.aifb.kit.edu/qa/index.php?qa=5018&qa_1=tm-als-akzeptor-wort-vollst%C3%A4ndig-einlesen Wed, 25 Jan 2017 12:54:33 +0000 Alternative Lösung https://info2.aifb.kit.edu/qa/index.php?qa=5009&qa_1=alternative-l%C3%B6sung <p> Hallo,&nbsp;</p> <p> würde die folgende Konfiguration auch funktionieren?</p> <p> <img alt="" src="http://info2.aifb.kit.edu/qa/?qa=blob&amp;qa_blobid=17690441204843941779" style="width: 600px; height: 450px;"></p> <p> LG&nbsp;</p> TUR-AC https://info2.aifb.kit.edu/qa/index.php?qa=5009&qa_1=alternative-l%C3%B6sung Tue, 24 Jan 2017 19:59:02 +0000 Allgemeine Frage https://info2.aifb.kit.edu/qa/index.php?qa=4786&qa_1=allgemeine-frage Sehr geehrtes GdI II- Team,<br /> <br /> ich hätte zwei allgemeine Fragen zur Klausur; falls eine Turingmaschine Bestandteil einer Aufgabe sein sollte und eine Turingtabelle vorgegeben wird, könnten wir der Tabelle für zusätzliche Zustände, Zeilen hinzufüge, sofern nicht gesagt wird, dass man mit den Zeilen auskommen muss ?<br /> <br /> Meine zweite Frage wäre, ob man für die formale Beschreibung einer Turingmaschine noch Teilpunkte bekommen kann ?<br /> <br /> LG TUR-AA https://info2.aifb.kit.edu/qa/index.php?qa=4786&qa_1=allgemeine-frage Wed, 11 Jan 2017 12:38:35 +0000 Verständnis Mächtigkeit Turingmaschine https://info2.aifb.kit.edu/qa/index.php?qa=4269&qa_1=verst%C3%A4ndnis-m%C3%A4chtigkeit-turingmaschine Hallo,<br /> <br /> In Kapitel 4 der Folien wird gezeigt, dass die Mächtigkeit der Turingmaschinen die L0 Sprachen umfasst, in Kapitel 5 wird dies allerdings auf Sprachen eingeschränkt, bei denen T bei Eingabe von w hält. Was ist der Grund für diese unterschiedlichen Darstellungen? TUR-AA https://info2.aifb.kit.edu/qa/index.php?qa=4269&qa_1=verst%C3%A4ndnis-m%C3%A4chtigkeit-turingmaschine Sat, 13 Feb 2016 15:13:28 +0000 Wann muss man das Wort wiederherstellen, wann darf man es löschen. https://info2.aifb.kit.edu/qa/index.php?qa=4188&qa_1=wann-muss-man-das-wort-wiederherstellen-wann-darf-man-l%C3%B6schen <p> Hallo ich wollte fragen, wann ich ein Wort "löschen" darf, und wann ich es wiederherstellen muss, da ich auch der Annahme war das Wort wiederherstellen zu müssen, weshalb meine Maschine etwas komplexer wurde.&nbsp;</p> <p> Darf ich das Wort immer löschen, außer die Aufgabenstellung untersagt mir dies? Und wie würde das dann aussehen?</p> <p> &nbsp;</p> <p> &nbsp;</p> <p> Auch wäre ich sehr verbunden wenn, jemand mal kurz einen Blick auf das Ungetüm werfen würde, da es für mich spannend zu wissen wäre, ob es an sich richtig&nbsp;</p> <p> &nbsp;</p> <p> &nbsp;</p> <p> &nbsp;</p> <p> &nbsp;</p> <p> &nbsp;</p> <p> <img alt="" src="http://info2.aifb.kit.edu/qa/?qa=blob&amp;qa_blobid=11667743387367971425" style="width: 600px; float: left; height: 448px;"></p> <p> &nbsp;</p> TUR-AG https://info2.aifb.kit.edu/qa/index.php?qa=4188&qa_1=wann-muss-man-das-wort-wiederherstellen-wann-darf-man-l%C3%B6schen Thu, 11 Feb 2016 19:13:04 +0000 Verständnisfrage 2-Komplement https://info2.aifb.kit.edu/qa/index.php?qa=4138&qa_1=verst%C3%A4ndnisfrage-2-komplement <p> Und wie unterscheidet diese Turingmaschine, dass die Zahl positiv ist? Soweit ich verstanden habe (aus V. 7-36), dass wenn die Zahl positiv ist, dann ist das 2-Komlement davon die Zahl selbst. Und nur bei negativen Zahlen müssen wir alle Bits kippen und 1 addieren. Wo ist der Denkfehler?<img alt="" src="http://info2.aifb.kit.edu/qa/?qa=blob&amp;qa_blobid=2051707399179472265" style="width: 600px; height: 141px;"></p> <p> Danke und Gruss</p> TUR-AA https://info2.aifb.kit.edu/qa/index.php?qa=4138&qa_1=verst%C3%A4ndnisfrage-2-komplement Wed, 10 Feb 2016 18:42:30 +0000 Falsche Ansichtsweise? https://info2.aifb.kit.edu/qa/index.php?qa=4056&qa_1=falsche-ansichtsweise Hallo,<br /> <br /> &nbsp;<br /> <br /> meiner Meinung nach sind doch Palindrome nur Wörter mit gerader Anzahl.<br /> <br /> &nbsp;<br /> <br /> Bei Aufgabe A77a) kann S|D --&gt; a|b|c abgeleitet werden.<br /> <br /> Dann können aber Wörter wie aabaa entstehen. Diese entsprechen auch nicht den Beispielwörter in der Aufgabe.<br /> <br /> &nbsp;<br /> <br /> Meiner Meinung nach dürfte die Ableitung wenn nur wie folgt aussehen.<br /> <br /> &nbsp;<br /> <br /> S|™ --&gt; aa &nbsp;&nbsp;bb &nbsp;cc &nbsp;&nbsp;lambda<br /> <br /> &nbsp;<br /> <br /> LG TUR-AG https://info2.aifb.kit.edu/qa/index.php?qa=4056&qa_1=falsche-ansichtsweise Tue, 09 Feb 2016 11:23:10 +0000 Klausur https://info2.aifb.kit.edu/qa/index.php?qa=4054&qa_1=klausur Hallo,<br /> <br /> &nbsp;<br /> <br /> Wie viel Zeit hätte man denn bei so einer Art Aufgabe wie A76 in der Klausur zur Verfügung ?<br /> <br /> &nbsp;<br /> <br /> Mfg TUR-AC https://info2.aifb.kit.edu/qa/index.php?qa=4054&qa_1=klausur Tue, 09 Feb 2016 11:06:53 +0000 Verstädnis https://info2.aifb.kit.edu/qa/index.php?qa=4050&qa_1=verst%C3%A4dnis Hallo,<br /> <br /> &nbsp;<br /> Wäre jemand vll so nett und könnte bei A74 den Ablauf der TM etwas näher beschreiben wie z.B. in A75 anhand der Zustände sehr gut umgesetzt wurde ?<br /> <br /> Irgendwie gelingt es mir nicht sie nachzuvollziehen...<br /> <br /> Der- oder demjenigen wäre ich unendlich dankbar! :)<br /> <br /> &nbsp;<br /> <br /> &nbsp;<br /> <br /> LG :) TUR-AF https://info2.aifb.kit.edu/qa/index.php?qa=4050&qa_1=verst%C3%A4dnis Tue, 09 Feb 2016 10:10:53 +0000 Alternativer Lösungsvorschlag https://info2.aifb.kit.edu/qa/index.php?qa=4001&qa_1=alternativer-l%C3%B6sungsvorschlag Hallo,<br /> <br /> &nbsp;<br /> <br /> funktioniert das auch ?<br /> <br /> &nbsp;<br /> <br /> &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;*<br /> <br /> s0 &nbsp;&nbsp;&nbsp;s0,1,R &nbsp;s0,0,R &nbsp;s1,*,L<br /> <br /> s1 &nbsp;&nbsp;&nbsp;s2,1,R &nbsp;s1,0,L &nbsp;se,1,R<br /> <br /> s2 &nbsp;&nbsp;&nbsp;s2,0,L &nbsp;s2,1,L se,*,R<br /> <br /> &nbsp;<br /> <br /> Ich hätte dan eben 5 Bits, sofern meine Bandinschrift 0000 ist<br /> <br /> &nbsp;<br /> <br /> Mfg TUR-AA https://info2.aifb.kit.edu/qa/index.php?qa=4001&qa_1=alternativer-l%C3%B6sungsvorschlag Sun, 07 Feb 2016 21:23:50 +0000 Formulierung der Aufgabe falsch? https://info2.aifb.kit.edu/qa/index.php?qa=3890&qa_1=formulierung-der-aufgabe-falsch Müsste die Aufgabenstellung nicht heißen: &quot;Bilde das 2-Komplement zur als Binärzahl interpretierten Bandinschrift&quot; ? Eine Binärzahl in 2-Komplement-Darstellung umzuwandeln ist doch was anderes oder? TUR-AA https://info2.aifb.kit.edu/qa/index.php?qa=3890&qa_1=formulierung-der-aufgabe-falsch Fri, 05 Feb 2016 13:34:09 +0000 Alternative Lösung? XWizard nicht erreichbar https://info2.aifb.kit.edu/qa/index.php?qa=3854&qa_1=alternative-l%C3%B6sung-xwizard-nicht-erreichbar Hallo, wäre diese Lösung zulässig? Danke im voraus! <div class="qa-q-view-main" style="float: left; width: 600px; color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;"> <div class="qa-q-view-content" style="font-size: 14px; margin-bottom: 16px;"> <div class="entry-content"> <table border="1" cellpadding="1" style="width: 500px; border-spacing: 1px;"> <tbody> <tr> <td style="font-size: 12px;"> &nbsp;</td> <td style="font-size: 12px;"> 1</td> <td style="font-size: 12px;"> 0</td> <td style="font-size: 12px;"> *</td> <td style="font-size: 12px;"> E</td> <td style="font-size: 12px;"> N</td> </tr> <tr> <td style="font-size: 12px;"> s0</td> <td style="font-size: 12px;"> (s1, E, R)</td> <td style="font-size: 12px;"> (s2, N, R)</td> <td style="font-size: 12px;"> (se, *, N)</td> <td style="font-size: 12px;"> &nbsp;</td> <td style="font-size: 12px;"> &nbsp;</td> </tr> <tr> <td style="font-size: 12px;"> <p style="margin-top: 0px;"> s1</p> </td> <td style="font-size: 12px;"> (s1, 1, R)</td> <td style="font-size: 12px;"> (s1, 0, R)</td> <td style="font-size: 12px;"> (s3, 0, L)</td> <td style="font-size: 12px;"> &nbsp;</td> <td style="font-size: 12px;"> &nbsp;</td> </tr> <tr> <td style="font-size: 12px;"> s2</td> <td style="font-size: 12px;"> (s2, 1 ,R)</td> <td style="font-size: 12px;"> (s2, 0, R)</td> <td style="font-size: 12px;"> (s3, 1, L)</td> <td style="font-size: 12px;"> &nbsp;</td> <td style="font-size: 12px;"> &nbsp;</td> </tr> <tr> <td style="font-size: 12px;"> s3</td> <td style="font-size: 12px;"> (s3, 1 ,L)</td> <td style="font-size: 12px;"> (s3, 0, L)</td> <td style="font-size: 12px;"> (s4, *, R)</td> <td style="font-size: 12px;"> &nbsp;</td> <td style="font-size: 12px;"> &nbsp;</td> </tr> <tr> <td style="font-size: 12px;"> s4</td> <td style="font-size: 12px;"> (s4, 1, R)</td> <td style="font-size: 12px;"> (s4, 0, R)</td> <td style="font-size: 12px;"> <p style="margin-top: 0px;"> &nbsp;</p> </td> <td style="font-size: 12px;"> <p style="margin-top: 0px;"> (s0, 1, R)</p> </td> <td style="font-size: 12px;"> (s0, 0, R)</td> </tr> </tbody> </table> <p style="margin-top: 0px;"> &nbsp;</p> </div> </div> </div> <p> &nbsp;</p> TUR-AF https://info2.aifb.kit.edu/qa/index.php?qa=3854&qa_1=alternative-l%C3%B6sung-xwizard-nicht-erreichbar Thu, 04 Feb 2016 17:08:16 +0000 Zustandsänderung https://info2.aifb.kit.edu/qa/index.php?qa=3839&qa_1=zustands%C3%A4nderung Hallo,<br /> <br /> wann ist es eigentlich nötig, beim Schreiben eines Kellerautomaten oder einer Turing-Maschine, den Zustand zu ändern? (im Vergleich zu den Musterlösungen in den Altklausuren habe ich meist weniger Zustände)<br /> <br /> Gibt es dazu eine Regel an der man sich orientieren kann? TUR-AA https://info2.aifb.kit.edu/qa/index.php?qa=3839&qa_1=zustands%C3%A4nderung Thu, 04 Feb 2016 14:00:47 +0000 Interpretation der Fragestellung https://info2.aifb.kit.edu/qa/index.php?qa=3742&qa_1=interpretation-der-fragestellung Müsste die Bandinschrift nicht explizit als negative Binärzahl interpretiert werden für den angegebenen Algorhytmus? Binärzahlen sind ja sonst immer positiv und um eine positive Binärzahl ins Zweierkomplement umzuwandeln müsste man nur eine führende 0 vorne anfügen. TUR-AA https://info2.aifb.kit.edu/qa/index.php?qa=3742&qa_1=interpretation-der-fragestellung Mon, 01 Feb 2016 13:48:32 +0000 Alternativlösung https://info2.aifb.kit.edu/qa/index.php?qa=3580&qa_1=alternativl%C3%B6sung <table border="1" cellpadding="1" style="width: 500px; border-spacing: 1px;"> <tbody> <tr> <td> &nbsp;</td> <td> 0</td> <td> 1</td> <td> *</td> <td> E</td> <td> B</td> </tr> <tr> <td> s0</td> <td> (s1, E,R)</td> <td> (&nbsp;s3 ,B&nbsp;&nbsp; ,R&nbsp;&nbsp; )</td> <td> (se, *, L)</td> <td> (s0, E, R)</td> <td> (s0, B, R)</td> </tr> <tr> <td> <p> s1</p> </td> <td> (s1, 0 , R)</td> <td> (S1, 1, R)</td> <td> (s2, B, L)</td> <td> &nbsp;</td> <td> &nbsp;</td> </tr> <tr> <td> s2</td> <td> (s2, 0 ,L)</td> <td> (s2,1,L)</td> <td> (s0, *; R)</td> <td> (s2, E,L)</td> <td> (s2, B, L)</td> </tr> <tr> <td> s3</td> <td> (s3, 0 ,R)</td> <td> (s3, 1, R)</td> <td> (s2, E, L)</td> <td> &nbsp;</td> <td> &nbsp;</td> </tr> <tr> <td> se</td> <td> &nbsp;</td> <td> &nbsp;</td> <td> <p> (se, *, R)</p> </td> <td> <p> (se, 0 , L)</p> </td> <td> (se, 0 , L)</td> </tr> </tbody> </table> <p> A = ({o.1} , {0,1,*,B,E}, {s0, s1,s2,s3,se}, $, s0, {se})&nbsp;</p> TUR-AF https://info2.aifb.kit.edu/qa/index.php?qa=3580&qa_1=alternativl%C3%B6sung Mon, 18 Jan 2016 17:56:50 +0000 Alternativlösung https://info2.aifb.kit.edu/qa/index.php?qa=3579&qa_1=alternativl%C3%B6sung <table border="1" cellpadding="1" style="width: 500px; border-spacing: 1px;"> <tbody> <tr> <td> &nbsp;</td> <td> 0</td> <td> 1</td> <td> *</td> <td> E</td> <td> B</td> </tr> <tr> <td> s0</td> <td> (s1, E,R)</td> <td> (&nbsp;s3 ,B&nbsp;&nbsp; ,R&nbsp;&nbsp; )</td> <td> (se, *, L)</td> <td> (s0, E, R)</td> <td> (s0, B, R)</td> </tr> <tr> <td> <p> s1</p> </td> <td> (s1, 0 , R)</td> <td> (S1, 1, R)</td> <td> (s2, B, L)</td> <td> &nbsp;</td> <td> &nbsp;</td> </tr> <tr> <td> s2</td> <td> (s2, 0 ,L)</td> <td> (s2,1,L)</td> <td> (s0, *; R)</td> <td> (s2, E,L)</td> <td> (s2, B, L)</td> </tr> <tr> <td> s3</td> <td> (s3, 0 ,R)</td> <td> (s3, 1, R)</td> <td> (s2, E, L)</td> <td> &nbsp;</td> <td> &nbsp;</td> </tr> <tr> <td> se</td> <td> &nbsp;</td> <td> &nbsp;</td> <td> <p> (se, *, R)</p> </td> <td> <p> (se, 0 , L)</p> </td> <td> (se, 0 , L)</td> </tr> </tbody> </table> <p> A = ({o.1} , {0,1,*,B,E}, {s0, s1,s2,s3,se}, $, s0, {se})&nbsp;</p> TUR-AF https://info2.aifb.kit.edu/qa/index.php?qa=3579&qa_1=alternativl%C3%B6sung Mon, 18 Jan 2016 17:56:49 +0000 Fehler in der Lösung? Kontextfreie Grammatik https://info2.aifb.kit.edu/qa/index.php?qa=3572&qa_1=fehler-in-der-l%C3%B6sung-kontextfreie-grammatik müsste die Lösung nicht so aussehen?<br /> <br /> &nbsp;<br /> <br /> P= { S-&gt; aDa | bDb| cDc | a | b | c ,<br /> <br /> &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;D -&gt; aDa | bDb | cDc | aa | bb | cc |, (lammda) }<br /> <br /> &nbsp;<br /> <br /> Wenn einzelne Terme wie a , b, c in D erlaubt sind wären ja auch Wörter wie aacaa erlaubt. Meiner Meinung müsste das Palindrom doch so aussehen -&gt; aac caa? TUR-AG https://info2.aifb.kit.edu/qa/index.php?qa=3572&qa_1=fehler-in-der-l%C3%B6sung-kontextfreie-grammatik Mon, 18 Jan 2016 14:15:13 +0000 Übergangszustand https://info2.aifb.kit.edu/qa/index.php?qa=1825&qa_1=%C3%BCbergangszustand Wäre es auch richtig bei (s0,1) in (s0, 1, R) überzugehen? Selbige gilt für (s1,1) -&gt; (s1, 1, R).<br /> <br /> Ich verstehe nicht ganz, warum hier ein Zustandswechsel erfolgt.<br /> <br /> &nbsp;<br /> <br /> Vielen Dank im Voraus. TUR-AE https://info2.aifb.kit.edu/qa/index.php?qa=1825&qa_1=%C3%BCbergangszustand Mon, 13 Jul 2015 22:05:25 +0000 Endzustand https://info2.aifb.kit.edu/qa/index.php?qa=1776&qa_1=endzustand Wäre es auch richtig, wenn ich im Zustand s0 beim einlesen von * in sE gehe, 0 schreibe und mein L/S-Kopf nicht bewege?<br /> <br /> Ist die Lösung auch richtig, wenn man mehr Zustände für die Bearbeitung gebraucht hat, als in der Musterlösung? TUR-AE https://info2.aifb.kit.edu/qa/index.php?qa=1776&qa_1=endzustand Mon, 02 Feb 2015 12:30:24 +0000 Überflüssiger Zustand $s_6$? https://info2.aifb.kit.edu/qa/index.php?qa=1664&qa_1=%C3%BCberfl%C3%BCssiger-zustand-%24s_6%24 Eine Frage zur Aufgabe 74 (Turing) Band 1: ist der Zustand $s_6$ hier nicht vollkommen überflüssig? Er dient ja lediglich dazu, dass der LS-Kopf wieder auf dem linkesten Zeichen steht, dies ist zum Akzeptieren für die Endkonfiguration und laut Aufgabe aber doch gar nicht notwendig?! TUR-AF https://info2.aifb.kit.edu/qa/index.php?qa=1664&qa_1=%C3%BCberfl%C3%BCssiger-zustand-%24s_6%24 Mon, 05 Jan 2015 18:11:01 +0000 Alternativer Vorschlag: zusätzlicher Zustand anstatt Zeichens ? https://info2.aifb.kit.edu/qa/index.php?qa=1638&qa_1=alternativer-vorschlag-zus%C3%A4tzlicher-zustand-anstatt-zeichens <div class="ilFrmPostContent"> Ich hatte die gleiche Idee, hab aber statt des zusätzlichen Zeichens einen weiteren Zustand eingefügt.<br> So hab ich zwar die gleich anzahl von Zuständen wie vorher, aber weniger Übergänge.<br> Funktioniert das auch ohne Fehler?</div> <div class="ilFrmPostContent"> &nbsp;</div> <div class="ilFrmPostContent"> <img alt="" src="http://info2.aifb.kit.edu/qa/?qa=blob&amp;qa_blobid=16678317800997872080" style="width: 400px; height: 142px;"></div> TUR-AH https://info2.aifb.kit.edu/qa/index.php?qa=1638&qa_1=alternativer-vorschlag-zus%C3%A4tzlicher-zustand-anstatt-zeichens Wed, 26 Nov 2014 13:31:16 +0000 Alternativer Vorschlag: von links anfangen? https://info2.aifb.kit.edu/qa/index.php?qa=1636&qa_1=alternativer-vorschlag-von-links-anfangen <div class="ilFrmPostContent"> <p> Würde es auch gehen, wenn ich anstelle von Rechts anzufangen, von links anfange?<br> Wenn ich mich nicht vertan habe, dann hätte ich so deutlich weniger "Fälle" die die TM behandeln würde, ich müsste nur ein neues Zeichen als Hilfzeichen einführen und würde dann jeden Buchstaben einzeln verschieben.<br> <br> Meine zustände wären dann wie im Anhang.</p> <p> Würde das so gehen, oder hab ich da einen/mehrere Fehler gemacht?</p> <p> <img alt="" src="http://info2.aifb.kit.edu/qa/?qa=blob&amp;qa_blobid=7160417535670836835" style="width: 389px; height: 131px;"><br> <br> Vielen Dank für Antworten</p> </div> <p> &nbsp;</p> TUR-AH https://info2.aifb.kit.edu/qa/index.php?qa=1636&qa_1=alternativer-vorschlag-von-links-anfangen Wed, 26 Nov 2014 13:28:39 +0000 Alternativer Lösungsvorschlag https://info2.aifb.kit.edu/qa/index.php?qa=1632&qa_1=alternativer-l%C3%B6sungsvorschlag <div class="ilFrmPostContent"> <p> Ich hatte das eigentlich schon richtig verstanden, vielleicht oben nur schlecht formuliert.</p> <p> Ich habe im Anhang mal meine Lösung mit Zeichnung, um deutlich zu machen, was meine Idee war.</p> <p> Merke gerade, dass die oberste Zeile abgeschnitten ist, da soll natürlich a, b, c, * stehen:</p> <p> <img alt="" src="http://info2.aifb.kit.edu/qa/?qa=blob&amp;qa_blobid=800194817240091917" style="width: 573px; height: 413px;"></p> </div> <p> &nbsp;</p> TUR-AH https://info2.aifb.kit.edu/qa/index.php?qa=1632&qa_1=alternativer-l%C3%B6sungsvorschlag Wed, 26 Nov 2014 13:24:10 +0000 Funktion von Zuständen sa, sb und sc https://info2.aifb.kit.edu/qa/index.php?qa=1630&qa_1=funktion-von-zust%C3%A4nden-sa-sb-und-sc <div class="ilFrmPostContent"> <p> Hallo,</p> <p> ich verstehe leider die Zustädne sa, sb und sc nicht ganz.</p> <p> Hatte den Automaten eigentlich vom Gedanken und vom Aufbau her sehr ähnlich.</p> <p> Aber meines erachtens haben doch die Zustände sa, sb und sc die Aufgabe, nachdem das rechteste Zeichen gelöscht wurde, wieder an das linke Ende zu Laufen und dort links neben das erste Wortzeichen das zuvor gelöschte aber gemerkte Zeichen zu schreiben.</p> <p> Demnach hätte ich nur den * durch a in sa bzw. b in sb und c in sc ersetzt.</p> <p> Hier wird aber z.B. in sa auch die b's und c's mit a überschrieben.. geht hier nicht das Wort verloren?</p> <p> Ich hab also in diesen Zuständen geschrieben, dass über den Wortteil nur drübergelaufen, aber nichts verändert wird, bis eben auf den * vor dem ersten Zeichen. Ist das dann falsch? Und wenn ja wieso?</p> </div> <p> &nbsp;</p> TUR-AH https://info2.aifb.kit.edu/qa/index.php?qa=1630&qa_1=funktion-von-zust%C3%A4nden-sa-sb-und-sc Wed, 26 Nov 2014 13:21:14 +0000 Übersicht alternativer Lösungsvorschläge aus dem alten ILIAS-Forum https://info2.aifb.kit.edu/qa/index.php?qa=1621&qa_1=%C3%BCbersicht-alternativer-l%C3%B6sungsvorschl%C3%A4ge-alten-ilias-forum <div class="entry-content"> <p> Hier finden Sie eine Auflistung von alternativen Lösungsvorschlägen inkl. Beurteilung aus dem alten ILIAS-Forum (vor WS1415).</p> <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=81" rel="nofollow" target="_blank">neue Frage erstellen</a>&nbsp;- und NICHT hier posten!</strong></span></p> </div> <p> &nbsp;</p> TUR-AF https://info2.aifb.kit.edu/qa/index.php?qa=1621&qa_1=%C3%BCbersicht-alternativer-l%C3%B6sungsvorschl%C3%A4ge-alten-ilias-forum Wed, 26 Nov 2014 13:07:24 +0000