1 / 11

Prof. Dr. Th. Ottmann

Vorlesung Informatik 3 Einführung in die Theoretische Informatik (06 – Reduktion endlicher Automaten). Prof. Dr. Th. Ottmann. Reduzierter Automat. Sei A = (, S, δ , s 0 , 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:

hu-ball
Download Presentation

Prof. Dr. Th. Ottmann

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Vorlesung Informatik 3Einfü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. Reduzierter DFA

More Related