Hallo Leute ich bräuchte Hilfe bei folgender Aufgabe:Zeigen Sie fur jedes Paar {q, p} von Zuständen des DFA M′ ,dass q und p nicht äquivalent sind.Das hier ist das DFA:
Ich habe schon ein Teil gemacht, bin mir aber nicht sicher ob das gemacht werden kann. Noch dazu finde ich es nicht formal so schön:
Zeigen Sie fur jedes Paar {q, p} von Zuständen des DFA M′ ,dass q und p nicht äquivalent sind.
Gib für jedes Paar {q, p} von Zuständen des DFA M′ ein Wort w an, so dass der DFA vom Zustand q aus beim Lesen von w genau dann einen Endzustannd erreicht, wenn er es vom Zustand p aus nicht macht.
Beispiel. q3 ist nicht äquivalent zu q56 wegen w = 10.
Ein anderes Problem?
Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos