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, δ) |
---|