Theoretische und technische Informatik - ganz praktisch
Herzlich willkommen auf der Question/Answer-Plattform zu Grundlagen der Informatik II. Wir wünschen Ihnen viel Spaß beim Lernen und Diskutieren!
Loggen Sie sich mit Ihrem KIT-Account (u...) ein, um loszulegen!
Beachten Sie auch diese Informationen zum Schnelleinstieg.
(Nicht-KIT-Studierende beachten bitte diese Informationen.)

Beliebteste Tags

verständnis alternativlösung klausur kellerautomat endlicher-automat grammatik regulärer-ausdruck pumpinglemma turingmaschine tipp zahlendarstellung cmos klausurrelevant bonusklausur komplexität schaltwerk binary-decision-diagram deterministisch assembler schaltnetz sprachen minimierung nichtdeterministisch huffman fehler-in-aufgabe chomsky-normalform anwesenheitsübung rechtslinear heimübung flip-flop cocke-younger-kasami-algorithmus kontextsensitive-grammatik kontextfreie-grammatik huffman-kodierung hauptklausur fehlererkennbarkeit vorlesungsfolien kontextfreie-sprache polynomialzeitreduktion faq gleitkommazahl fehlerkorrigierbarkeit rechtslineare-grammatik dateiorganisation cache darstellung-klausur nachklausur xwizard adressierungsarten lambda mealy konjunktive-normalform pipelining zustände saalübung leeres-wort endliche-automaten ohne-lösungen betriebssystem speicherorganisation moore monotone-grammatik 2-komplement fehler reguläre-sprache hammingzahl monoton lösungsweg pumping-lemma-für-kontextfreie-sprachen kodierung berechenbarkeit klausureinsicht disjunktive-normalform pumping-lemma info-ii bussysteme rechnerarchitektur abzählbarkeit komplexitätsklassen ableitungsbaum vorlesungsaufzeichnung round-robin minimierung-endlicher-automaten chomsky-klassen binärzahl entscheidbar programmiersprachen entscheidbarkeit aufzählbarkeit stern-symbol automaten schaltnetze-und-schaltwerke nukit-fragen bewertung zugriffsarten von-neumann-rechner umformung adressierung mengen binär-subtrahieren

Kategorien

1 Pluspunkt 0 Minuspunkte
70 Aufrufe
Hallo,

2014-H-01

die Frage betrifft aufgabenteil b

 

in der ML ist von S5 und S6 aus jeweils eine die Überführung in Zustand S8 wenn man eine 1 einliest. Also der Fall wenn es sich nicht um einen BCD code handelt, da über dem Wert 9.

Ich habe in meiner Lösung diese beiden Übergänge und auch S8 weggelassen und einfach nicht definiert. Ansonsten ist mein Automat identisch zur ML. Es geht ja darum einen Akzeptor zu bauen, und das sollte auch ohne diese Übergänge erfüllt sein, da wenn kein Übergang definiert ist, ja das Wort auch nicht erkannt wird?

Ich kann mir denken, dass die Übergänge in der ML daher kommen, da auch in a davon gsprochen wird, dass für jedes Bit ein Zustand definiert werden soll,und auch eine unendliche Bitfolge eingelesen werden soll. Aber es steht dort ja, dass es nicht akzeptieren soll, wenn die bisherige(!) eingelese Bitfolge korrekt ist. Ist also ein "Fehler" im Wort, ist es egal was danach kommt, da sowieso nicht mehr akzeptiert wird. Ist also das weglassen der Zustände in Ordnung und man bekommt volle Punktzahl?

 

Lieben Dank :)

grüße
in 2014-H-01 von  

1 Eine Antwort

0 Pluspunkte 0 Minuspunkte

Prinzipiell unterscheidet sich deine Lösung von der Musterlösung insofern, dass du einen nichtdeterministischen EA definiert hast und die Musterlösung einen deterministischen. Da in der Frage nicht genauer beschrieben ist es erstmal egal für was du dich entschieden hast.
​Allerdings solltest du aufpassen, was gefragt war. Wie du bereits richtig geschrieben hast soll immer ein ein Endzustand eingenommen werden, wenn die bisherige Bitfolge eine BCD Kodierung darstellt. Allerdings war nicht danach gefragt, das Einlesen eines Wortes zu beenden, sobald es keine BCD Kodierung mehr ist. Durch den Zustand S8 wird sichergestellt, dass sich der EA in einer Senke befindet und es nicht mehr möglich wird einen Endzustand zu erreichen. Allerdings determiniert der EA hier noch nicht sofort beim ersten Fehler sondern ließt weiterhin eine (!) beliebig lange Bitfolge ein.

von ufdrm ufdrm Tutor(in) (102k Punkte)  
0 0
Dankeschön :)
...