Limbaje Formale, Automate şi Compilatoare

Automate finite cu ǫ-tranziţii
Extensia lui δ la cuvinte
Cl(q)
= {q ′ |q ′ ∈ Q, in graful automatului A exista un drum de la q la q’ de lungime k ≥ 0
ale carui arce sunt etichetate cu ǫ}.
q ∈ Cl(q)
Dacă S ⊆ Q, atunci notăm:
Cl(S) = ⋃ q∈S
Cl(q)
Extensia lui δ la cuvinte: ˆδ : Q ×Σ ∗ → 2 Q
1 ˆδ(q,ǫ) = Cl(q),∀q ∈ Q;
2 ˆδ(q, ua) = Cl(δ(ˆδ(q, u), a))), ∀q ∈ Q,∀u ∈ Σ ∗ ,∀a ∈ Σ.
LFAC (2014-15) Curs 3 6 / 30