====== 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 z<sub>a</sub>∈Z, | q0 |
| einer Menge Z<sub>e</sub>⊆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; \\ ... |

{{:informatik-buch:theoretische_informatik:akzeptorfueremailadressen.png?600}}

Kurz: 
^ A = (Z, z<sub>a</sub>, Z<sub>e</sub>, E, δ) ^