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 cu ǫ-tranziţii<br />
Extensia lui δ la cuvinte<br />
ˆδ(q, a) = Cl(δ(Cl(q), a)),∀q ∈ Q,∀a ∈ Σ<br />
În cazul automatelor cu ǫ - tranziţii vom păstra notaţia ˆδ pentru<br />
extensie pentru că, în general, ˆδ(q,ǫ) ≠ δ(q,ǫ) <strong>şi</strong><br />
ˆδ(q, a) ≠ δ(q, a), a ∈ Σ.<br />
ˆδ(q, uv) = ˆδ(ˆδ(q, u), v), ∀q ∈ Q,∀u, v ∈ Σ ∗<br />
LFAC (2014-15) Curs 3 7 / 30