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 nukit-fragen bewertung zugriffsarten von-neumann-rechner umformung adressierung mengen binär-subtrahieren organsiation

Kategorien

1 Pluspunkt 1 Minuspunkt
59 Aufrufe

Ich habe noch eine andere Frage:

Warum sind s2 und s3 nicht 1-äquivalent? Ich komme doch sowohl aus s2 als auch s3 mit einem Schritt zu meinen Endzuständen? Ich hatte es so verstanden, dass man das x eintragen muss, wenn man nur bei einem der beiden verglichenen Zustände in einen bereits markierten gelangen kann und wenn dies aus beiden möglich sein sollte, eine Äquivalenz vorliegt.

Dieser Logik folgend würde ich für s0 und s1 auch nicht x2 eintragen, sondern auch hier eine Äquivalenz feststellen.

Schon einmal vorab vielen Dank für die Klärung.

Viele Grüße,

Thomas

 

in MIN-AB von uafjv uafjv Tutor(in) (168k Punkte)  

1 Eine Antwort

0 Pluspunkte 0 Minuspunkte

s2 und s3 sind nicht 1-äquivalent, da man wenn man von s2 aus eine 1 eingibt in s3 landet (ein Nichtendzustand) und wenn man von s3 aus eine 1 eingibt in s5 (ein Endzustand) landet.

Ein Zustandspaar wird beim Minimierungsalgorithmus dann markiert, wenn man durch Eingabe von 0 oder 1 auf ein bereits markiertes Zustandspaar kommt. Es geht immer um Paare, einzeln wird nichts betrachtet.

Sven (Tutor)

 

von uafjv uafjv Tutor(in) (168k Punkte)  
...