Limbaje Formale, Automate şi Compilatoare
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>Automate</strong> finite deterministe<br />
Limbajul acceptat<br />
Extensia lui δ la cuvinte ˆδ : Q ×Σ ∗ → Q<br />
1 ˆδ(q,ǫ) = q,∀q ∈ Q;<br />
2 ˆδ(q, ua) = δ(ˆδ(q, u), a)), ∀q ∈ Q,∀u ∈ Σ ∗ ,∀a ∈ Σ.<br />
Observaţii:<br />
ˆδ(q, a) = δ(q, a),∀q ∈ Q,∀a ∈ Σ<br />
ˆδ(q, uv) = ˆδ(ˆδ(q, u), v), ∀q ∈ Q,∀u, v ∈ Σ ∗<br />
LFAC (2014-15) Curs 2 16 / 26
Change language