Handout - Institut für Theoretische Informatik - Technische ...

Endliche Automaten
ε - Übergänge
Wie funktioniert die Spracherkennung bei εNEAs, wie sind die Begriffe der
Konfiguration und der Berechnung anzupassen
Es ist nicht auszuschließen, daß mehrere (= endlich viele) spontane
Übergänge hintereinander stattfinden; der Effekt solcher Verknüpfungen ist
von “einfachen” spontanen Übergängen nicht zu unterscheiden (denn
unsere idealisierten Übergänge erfolgen instantan, d.h., ohne zeitliche
Ausdehnung).
Daher bietet es sich an, die Relation δ(ε) unter Komposition
abzuschließen, d.h., ihre reflexive transitive Hülle zu betrachten:
δ ∗ (ε) = ⋃ { δ n (ε) : n ∈ N }
wobei δ n (ε) die n-fache Komposition der Relation Q δ(ε) Q mit sich
bezeichnet. Anschauliche Interpretation: δ ∗ (ε) beschreibt die
Erreichbarkeit mittels ε-Übergängen.
Jürgen Koslowski (TU-BS) Theoretische Informatik 1 WS 2010/2011 55 / 191