Kette: eine Zeichenkette, Wort oder Satz (string) ist eine geordnete Folge beliebiger Länge (wenn auch endliche) von Elementen, die Zugehörigkeit zu einer alphabetisch sierto. Im Allgemeinen wird eine Zeichenkette ist eine Folge von Buchstaben oder Zahlen oder andere Zeichen simbolos.En üblichen mathematischen verwenden Sie die Buchstaben w, x, y, z bezieht sich auf Zeichenketten.
Aus Sicht der Programmierung einer Zeichenkette können alle endlichen Kombination aller zur Verfügung stehenden Zeichensatz bestehen.
Alphabet: ist eine geordnete Menge von Punkten eine Sprache eingestellt ist die Gruppe mit einer bestimmten Reihenfolge der Grapheme verwendet, um die Sprache, die als Kommunikations-System in der Mathematik dient vertreten, ist eine endliche geordnete Menge von Symbolen
SPRACHE: eine formale Sprache ist ein G-Wort (string) von endlicher Länge aus einem Alphabet (die Menge der Zeichen) endlichen gebildet. Die Sprache Name ist gerechtfertigt, weil die Strukturen schaffen, die Regeln gebildet (Dramaturgie) und semantische Interpretation (Sinn) sind.
Formale Sprachen können in einer Vielzahl von Möglichkeiten, darunter angegeben werden:
@ Saiten durch eine formale Grammatik erzeugt
@ Saiten durch einen regulären Ausdruck erzeugt
@ Saiten durch einen Automaten als Turing-Maschine akzeptiert
Regulärer Ausdruck: auch als Muster, ist eine Möglichkeit der Darstellung reguläre Sprachen und wird mit Hilfe Alphabet Zeichen auf, die speziell definiert die Sprache der regulären Ausdrücke sind so konstruiert, und sperren kleene
Verknüpfung: ist der Vorgang, mit dem zwei Zeichen zusammen, um ein String oder ein String-Form, können Sie auch 2 Strings zu verketten oder ein Zeichen mit einer Kette um eine größere Kette.
LOCK Kleene A *: Wenn A ist eine Sprache über einem Alphabet Sterne Sperre wird wie folgt definiert A *= U ? n = 0AKeineWorte, die in einer Zeichenkette 0,1, .., ? erscheinen können
Positive Lock +:
Es ist wie folgt definiert A += U ? n = 1bis nist, bedeutet, dass der Charakter des Zeichens, das folgt, sollte mindestens einmal auftreten.
Finite State Machine: Die endlicher Automat ist ein mathematisches Modell für ein System von diskreten Ein-und Ausgänge. Das System kann in jeder aus einer endlichen Anzahl von Konfigurationen oder Staaten. Der Zustand des Systems fasst die Informationen in Bezug auf frühere Einträge und ist notwendig, um das Verhalten des Systems für spätere Eintragungen zu bestimmen. Es wird gesagt, dass eine reguläre Sprache durch ein automatisiertes s endlich angenommen wird
Deterministischen endlichen Automaten: Eine Reihe von Staaten und eine Reihe von transicisiones von Staat zu Staat, die auftreten, bei der Eingabe von Symbolen aus einem Alphabet genommen.
Für jeden Eingang Symbol gibt es nur eine Übergangslösung Ziffern eines jeden Staates. Es hat eine erste Staat und einem oder mehreren Staaten der Annahme. Ein AFD ist mit einem gerichteten Graphen als Übergangs-Diagramme bekannt verbunden.
DEFINITION DER AUTOMATA:
AFD = (Q, ?, A, Q 0,f)
Wo:
Q: Ist die endliche Menge von Zuständen
?: ist die Finite-Eingabealphabet
A: Die Rolle der Übergang oder Übergangs-Tabelle
q 0:Anfangszustand
f: ist die Menge der Endzustände
Endliche Automaten sind auf der untersten Ebene der Hierarchie von Maschinen und Sprachen.
Eine solche Anwendung ist der Bau eines solchen Compiler-Compiler, muss anerkannt werden Schichten, die Streicher, Symbole sind, um die Source-Programm als Darstellungen der einzelnen Objekte betrachtet werden.
Zum Beispiel, Variablennamen, numerische Konstanten und Schlüsselwörter. Dieses Muster Anerkennung Aufgabe wird vom Compiler lexer behandelt