Limbaje Formale, Automate şi Compilatoare
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<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 />
LFAC (2014-15) Curs 3 6 / 30