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

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

Fie G = (N, T, S, P) de tip 3, în formă normală, care generează 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 ′ constă din<br />

reguli S ′ → aA, pentru orice regulă A → a din P<br />

reguli B → aA pentru orice regulă A → aB din P<br />

regula S → ǫ<br />

regula S ′ → a, pentru orice regulă S → a din P (a ∈ T ∪{ǫ})<br />

este de tip 3 <strong>şi</strong> generează L R<br />

LFAC (2014-15) Curs 2 6 / 26

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

Saved successfully!

Ooh no, something went wrong!