Download presentation
PublishRupert Mundorff Modified vor über 10 Jahren
1
Vorlesung Informatik 3 Einführung in die Theoretische Informatik (06 – Reduktion endlicher Automaten) Prof. Dr. Th. Ottmann
2
Reduzierter Automat Sei A = (, S, δ, s0, F) ein DFA. Dann heißen zwei Zustände s, s‘ S äquivalent bzgl. A, s ~A s’, wenn für alle Worte w * gilt: δ(s, w) F gdw. δ(s‘, w) F Der Automat A heißt reduziert (oder zustands-minimal), wenn für alle Zustände s, s‘ aus s ~A s’ schon s = s’ folgt und wenn alle Zustände aus S vom Anfangszustand s0 aus erreichbar sind. (D.h.: Für jedes s S gibt es ein Wort w *, so dass s = δ(s0, w) ist.) “ ~A “ ist eine Äquivalenzrelation auf S
3
Reduktion von DFAs Gegeben sei ein DFA A = (, S, δ, s0, F).
Schritt 1: Lasse alle vom Anfangszustand s0 aus nicht erreichbaren Zustände weg. Schritt 2: „Dividiere A durch bzgl. Der Relation ~A “. D. h. definiere einen DFA A’ = (, S‘, δ‘, s0‘, F‘) wie folgt:
4
Unabhängigkeit der Def. vom Repräsentanten
5
Nachweis der Reduziertheit von A‘
6
Bemerkungen Man kann zeigen (ohne Beweis).
Der durch „Durchdividieren nach ~A” zu einem DFA erzeugte DFA Amin (der sogenannte Minimalautomat Amin) ist isomorph zu dem nach der Myhill/Nerode-Methode konstruierten Automaten AL für die Sprache L = L(A). Amin und AL haben die minimal mögliche Anzahl von Zuständen, sind also reduziert. Der Minimalautomat Amin kann effizient mit Hilfe des sogenannten „state merging“ Verfahrens in Zeit O(n2) bestimmt werden, n = Anzahl der Zustände des gegebenen DFA A.
7
Minimaler endlicher Automat
Satz: Gegeben sei eine reguläre Sprache L *. Dann ist der (Zustands-) minimale Automat Amin, für den L = L(Amin) gilt, bis auf Isomorphie eindeutig bestimmt. Dabei sind zwei Automaten A1 = (, S1, δ1, s1, F1) und A2 = (, S2, δ2, s2, F2) genau dann isomorph, wenn │ S1 │ = │ S2 │ ist und es eine bijektive Abbildung f: S1 → S2 gibt mit f( δ1( s, a ) ) = δ2( f( s ), a ) , für alle s S1 und alle a . f( F1) = F2
8
Konstruktion des Minimalautomaten
Sei A1 = (S, , δ, s0, F) ein DFA, der L = L(A) erkennt. Zu A wird in mehreren Schritten ein äquivalenter Automat Amin konstruiert: Vereinfache A, so dass alle Zustände von s0 aus erreichbar sind. Zerlege die Zustandsmenge disjunkt in zwei Teile: π1 = {F, S – F} Verfeinere die aktuelle Zerlegung πi = {S1, …, Sk}: In der neuen Zerlegung πi+1 gehören Zustände s, s‘ genau dann zur gleichen Menge, wenn s Si und s‘ Si sowie δ( s, a) Sj und δ( s‘, a) Sj für alle a und i, j {1, …, k} Aufgeteilt werden muss Si , wenn für s, s‘ Si gilt: δ( s, a) ≠ δ( s‘, a) Ergab die letzte Verfeinerung mehr Mengen, gehe zurück zu 3; sonst sind die Mengen der letzten Zerlegung die Zustände von Amin.
9
Ein zu minimierender DFA
10
1 M1 s s4 M2 s s s2
11
Reduzierter DFA
Similar presentations
© 2024 SlidePlayer.org Inc.
All rights reserved.