Epsilon-Entfernung in NEAs - TAGH

Erläuterung des ε-Entfernungs-Algorithmus’
Zeile 1 setzt A ′ gleich A
Zeile 2 entfernt alle direkten ε-Schleifen q ε −→ q aus A ′
Die Schleife in den Zeilen 3 bis 5 “vererben” den Endzustandsstatus
weiter nach vorne:
p
ε
q
p
ε
q
wird zu
−−−→
Die Schleife in den Zeilen 6 bis 8 “überbrückt” die noch vorhandenen
ε-Übergänge:
p
ε
q
a
r
p
ε
q
a
wird zu r −−−→
(Man beachte, dass q = r oder p = r gelten kann).
Zeile 9 entfernt nun alle ε-Übergänge aus A ′
Zeile 10 entfernt alle nicht vom Startzustand aus erreichbaren Zustände
(samt Übergängen).
Thomas Hanneforth (Universität Potsdam) May 31, 2013 4 / 6
Erläuterung des ε-Entfernungs-Algorithmus’
Zeile 1 setzt A ′ gleich A
Zeile 2 entfernt alle direkten ε-Schleifen q ε −→ q aus A ′
Die Schleife in den Zeilen 3 bis 5 “vererben” den Endzustandsstatus
weiter nach vorne:
p
ε
q
p
ε
q
wird zu
−−−→
Die Schleife in den Zeilen 6 bis 8 “überbrückt” die noch vorhandenen
ε-Übergänge:
p
ε
q
a
r
p
ε
q
a
wird zu r −−−→
(Man beachte, dass q = r oder p = r gelten kann).
Zeile 9 entfernt nun alle ε-Übergänge aus A ′
Zeile 10 entfernt alle nicht vom Startzustand aus erreichbaren Zustände
(samt Übergängen).
Thomas Hanneforth (Universität Potsdam) May 31, 2013 4 / 6
a
a
Erläuterung des ε-Entfernungs-Algorithmus’
Zeile 1 setzt A ′ gleich A
Zeile 2 entfernt alle direkten ε-Schleifen q ε −→ q aus A ′
Die Schleife in den Zeilen 3 bis 5 “vererben” den Endzustandsstatus
weiter nach vorne:
p
ε
q
p
ε
q
wird zu
−−−→
Die Schleife in den Zeilen 6 bis 8 “überbrückt” die noch vorhandenen
ε-Übergänge:
p
ε
q
a
r
p
ε
q
a
wird zu r −−−→
(Man beachte, dass q = r oder p = r gelten kann).
Zeile 9 entfernt nun alle ε-Übergänge aus A ′
Zeile 10 entfernt alle nicht vom Startzustand aus erreichbaren Zustände
(samt Übergängen).
Thomas Hanneforth (Universität Potsdam) May 31, 2013 4 / 6
Erläuterung des ε-Entfernungs-Algorithmus’
Zeile 1 setzt A ′ gleich A
Zeile 2 entfernt alle direkten ε-Schleifen q ε −→ q aus A ′
Die Schleife in den Zeilen 3 bis 5 “vererben” den Endzustandsstatus
weiter nach vorne:
p
ε
q
p
ε
q
wird zu
−−−→
Die Schleife in den Zeilen 6 bis 8 “überbrückt” die noch vorhandenen
ε-Übergänge:
p
ε
q
a
r
p
ε
q
a
wird zu r −−−→
(Man beachte, dass q = r oder p = r gelten kann).
Zeile 9 entfernt nun alle ε-Übergänge aus A ′
Zeile 10 entfernt alle nicht vom Startzustand aus erreichbaren Zustände
(samt Übergängen).
Thomas Hanneforth (Universität Potsdam) May 31, 2013 4 / 6
a
a