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 />
Cl(q)<br />
= {q ′ |q ′ ∈ Q, in graful automatului A exista un drum de la q la q’ de lungime k ≥ 0<br />
ale carui arce sunt etichetate cu ǫ}.<br />
q ∈ Cl(q)<br />
Dacă S ⊆ Q, atunci notăm:<br />
Cl(S) = ⋃ q∈S<br />
Cl(q)<br />
Extensia lui δ la cuvinte: ˆδ : Q ×Σ ∗ → 2 Q<br />
LFAC (2014-15) Curs 3 6 / 30