Spracherkennung
Spezifikation einer E-Mail-Adresse in den RFC 2822
endlicher Automat als Akzeptor
Ein erkennender Automat / Akzeptor besteht aus:
| Beschreibung | Beispiel |
|---|---|
| einer endlichen Menge Z von Zuständen | Z = {q0, q1, q2, q3, q4, q5, q6} |
| einem Anfangszustand za∈Z, | q0 |
| einer Menge Ze⊆Z von Endzuständen, | {q5} |
| einer endlichen Menge E von Eingabezeichen und | E = {a, b, c, ., @} |
| einer Überführungsfunktion δ: Z × E → Z. | δ: (q0, a) → q1; δ: (q0, b) → q1; … |
Kurz:
| A = (Z, za, Ze, E, δ) |
|---|