Minimieren Sie deterministische endliche Automaten ohne akzeptierende Zustände


8

Ich habe einen endlichen Automaten ohne endgültige / akzeptierende Zustände, also ist F leer. Wie minimiere ich es?

Ich habe dies bei einem Test erhalten und wusste nicht, wie ich das Problem angehen sollte, da der Automat keine akzeptierenden Zustände hatte. Ist ein einzelner Ausgangszustand mit allen Übergängen in sich die richtige Antwort?


5
Ja. Einige Antworten sind so einfach.
Luke Mathieson

es ist dann kein Wandler.
Grijesh Chauhan

@GrijeshChauhan Wo in der Frage haben Sie den Begriff "Wandler" gefunden?
Raphael

Antworten:


6

Ihre Vermutung ist richtig und Sie können sie wie folgt etwas formeller sehen. Sei ein DFA. Die Nerode Kongruenz ~ auf Q wie folgt definiert ist: p ~ q ,  wenn und nur wenn, für jedes Wort  , u A * p u FA=(Q,A,,q0,F)Q Die Menge der Zustände des Minimalautomaten von A ist Q / . Nunwenn F die leere Menge, alle Zustände ist Q sind ~ -Äquivalent und damit Q / ~ hat nur ein Element, sagen wir

pq if and only if, for every word uA puFquF
AQ/FQQ/ . Sie haben keine Wahl für die Übergänge und somit 1 a = 1 für jeden Buchstaben a . Schließlich ist 1 der Anfangszustand, aber es gibt keinen Endzustand.Q/={1}1a=1a1

2
Es ist absolut nicht erforderlich, die Nerode-Kongruenz zu verwenden, um zu beweisen, dass ein Ein-Zustands-Automat für die leere Sprache minimal ist. Es ist ziemlich formal genug zu sagen, dass ein Automat ohne akzeptierende Zustände akzeptiert und dass ein Ein-Zustands-Automat, der eine bestimmte Sprache akzeptiert, minimal sein muss, da jeder Automat mindestens einen Zustand haben muss.
David Richerby

1
@ David-Richerby Ich weiß das genau. Ich habe gerade erwähnt, dass dieses Ergebnis mit der Standarddefinition übereinstimmt, die in Standardkursen angegeben ist.
J.-E.

7

Ein endlicher Automat ohne Endzustände bezeichnet die Sprache L = . Um einen DFA zu minimieren, minimieren wir die Anzahl der Zustände und die angegebene Sprache muss identisch sein. Per Definition von DFA müssen wir also einen Anfangszustand q 0 habenq0|Q|1q0

Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.