20.11.2014 Views

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 />

LFAC (2014-15) Curs 3 6 / 30

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!