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 minimierung sprachen nichtdeterministisch huffman chomsky-normalform fehler-in-aufgabe anwesenheitsübung rechtslinear heimübung flip-flop cocke-younger-kasami-algorithmus kontextsensitive-grammatik kontextfreie-grammatik fehlererkennbarkeit huffman-kodierung hauptklausur vorlesungsfolien kontextfreie-sprache polynomialzeitreduktion faq gleitkommazahl fehlerkorrigierbarkeit rechtslineare-grammatik dateiorganisation cache darstellung-klausur nachklausur xwizard adressierungsarten lambda mealy endliche-automaten konjunktive-normalform pipelining zustände saalübung leeres-wort 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 pumping-lemma klausureinsicht disjunktive-normalform info-ii bussysteme rechnerarchitektur abzählbarkeit komplexitätsklassen ableitungsbaum vorlesungsaufzeichnung round-robin entscheidbarkeit minimierung-endlicher-automaten chomsky-klassen von-neumann-rechner binärzahl entscheidbar programmiersprachen aufzählbarkeit stern-symbol automaten schaltnetze-und-schaltwerke nukit-fragen bewertung zugriffsarten umformung adressierung mengen binär-subtrahieren

Kategorien

1 Pluspunkt 1 Minuspunkt
78 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)  
...