|
![]() ![]() ![]() ![]() ![]() |
Ein deterministischer endlicher Automat A ist ein 5-Tupel (Z, V, δ, s, E):
![]() | Z ist eine endliche Menge von Zuständen.
|
![]() | V ist eine endliche Menge von Symbolen.
|
![]() | δ ist eine Übergangsfunktion
δ: Z x V -> Z.
|
![]() | s ∈ Z ist der Startzustand.
|
![]() | E ⊆ Z ist die Menge der zulässigen Endzustände.
|
Wenn eine Zeichenfolge α = (α1, ···, αn) ∈ V* (n >= 0) gegeben ist, ergibt sich entsprechend eine Folge von Zuständen ζ mit
ζ0 | = | s |
ζi | = | δ(ζi-1, αi) (i >= 1) |
Ein endlicher Automat A erkennt die Zeichenfolge α ∈ V*, falls gilt: ζn ∈ E.
![]() ![]() ![]() ![]() ![]() |
Copyright © 2004, 2005 Andreas Borchert, in HTML konvertiert am 18.02.2005 |