Übersetzerbau - Endliche Automaten

Endliche Automaten ist eine Zustandsmaschine, die eine Kette von Symbolen als Eingabe und Änderungen seinen Zustand entsprechend. Endliche Automaten ist ein Erkenner für reguläre Ausdrücke. Wenn eine reguläre Ausdruckszeichenfolge wird in endliche Automaten zugeführt wird, seinen Zustand ändert sich für jedes Literal. Wenn die Eingabezeichenfolge ist erfolgreich verarbeitet und die Automaten seinen Endzustand erreicht hat, ist es akzeptiert, dh die Saite gerade zugeführt wurde gesagt, um ein gültiges Zeichen der Sprache, in der Hand sein.

Das mathematische Modell der endlichen Automaten besteht aus:

endliche Menge von Zuständen (Q)
Finite Menge von Eingangssymbolen (Σ)
Einer Start-Zustand(q0)
Stellen von Endzuständen (qf)
Übergangsfunktion(δ)

Die Übergangsfunktion (δ) bildet die endliche Menge von Staat (Q) zu einer endlichen Menge von Eingabesymbolen (Σ), Q × Σ ➔ Q

Endliche Automaten Construction

Es sei L (r) eine reguläre Sprache anerkannt von einige endlichen Automaten (FA) werden.

Staaten : Staaten von FA sind durch Kreise dargestellt. Staat Namen innerhalb der Kreise geschrieben.
Start Zustand : Der Staat, von wo der Automaten beginnt, wird als Startzustand bekannt. Starten Staat hat ein Pfeil zeigte auf sie.
Zwischenzustände : Alle Zwischenzustände haben mindestens zwei Pfeile; von denen einer Punkt zu und weiterer Punkt,out von ihnen.
Endzustand : Wenn der Eingabezeichenfolge erfolgreich analysiert wird, wird erwartet, dass die Automaten in diesem Zustand sein. Endzustand wird durch Doppelkreise dargestellt. Es kann eine beliebige ungerade Anzahl von Pfeilen auf sie zeigen und gerade Anzahl von Pfeilen, die von ihm aus. Die Anzahl der ungeraden Pfeile sind ein mehr als einmal, dh odd = noch + 1.
Übergang : Der Übergang von einem Zustand in einen anderen Zustand passiert, wenn eine gewünschte Symbol in der Eingabe gefunden wird. Beim Übergang kann entweder Automaten in den nächsten Zustand zu verschieben oder zu bleiben, in dem gleichen Zustand. Bewegung von einem Zustand in einen anderen wird als gerichteter Pfeil, wo die Pfeile zeigt auf den Zielzustand gezeigt. Wenn Automaten bleibt auf dem gleichen Zustand ist, wird ein Pfeil von einem Zustand, um sich gezogen.

Beispiel : Wir gehen davon aus FA übernehmen die dreistelligen Binärwert Endung Stelle 1. FA = {Q(q₀, q_f), Σ(0,1), q₀, q_f, δ}