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.

Proprietăţi de închidere pentru L 3<br />

Închiderea la operaţia de iteraţie<br />

Fie L limbaj de tip 3 (regulat).<br />

Fie G = (N, T, S, P) de tip 3, în formă normală, care genereaza L<br />

(L = L(G)).<br />

Presupunem ca simbolul de start S nu apare in partea dreaptă a<br />

vreunei reguli.<br />

Gramatica G ′ = (N, T, S, P ′ ) unde P ′ consta din<br />

reguli A → aB din P<br />

reguli A → aS, pentru orice regula A → a din P<br />

regula S → ǫ<br />

este de tip 3 si generează L ∗<br />

LFAC (2014-15) Curs 2 4 / 26

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

Saved successfully!

Ooh no, something went wrong!