Folien

2.30 Beweisskizze
Nun
◮ M = (Z, z0, X , f , F ) endlicher Akzeptor mit m = |Z|
Zuständen
◮ Zustände: z0, z1, . . . , zm−1
◮ Für 0 ≤ k ≤ m sei Zk = {zℓ | ℓ < k}
◮ also ist z. B. Z0 = ∅ und Zm = Z
◮ definiere für alle i, j ∈ {0, 1, . . . , m − 1} und alle
k ∈ {0, 1, . . . , m} die formale Sprache
L k
ij = w ∈ X ∗
f ∗∗ (zi, w) ∈ {zi}Z ∗ k {zj}
∨ (i = j ∧ w = ε)
Beachte: das hochgestellte k soll keine Potenz, sondern ein dritter
„Index“ sein.
Reguläre Ausdrücke 45/124