Limbaje Formale, Automate şi Compilatoare

Automate finite nedeterministe
Extensia lui δ la cuvinte
Fie S mulţime de stări. Notăm δ(S, a) = ⋃ q∈Sδ(q, a).
Extensia lui δ la cuvinte ˆδ : Q ×Σ ∗ → 2 Q
1 ˆδ(q,ǫ) = {q},∀q ∈ Q;
2 ˆδ(q, ua) = δ(ˆδ(q, u), a), ∀q ∈ Q,∀u ∈ Σ ∗ ,∀a ∈ Σ.
Observaţii:
ˆδ(q, a) = δ(q, a), ∀q ∈ Q,∀a ∈ Σ
ˆδ(q, uv) = ˆδ(ˆδ(q, u), v), ∀q ∈ Q,∀u, v ∈ Σ ∗ .
LFAC (2014-15) Curs 2 23 / 26