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 intersecţie<br />
Fie L 1 , L 2 limbaje de tip 3 (regulate).<br />
Fie G 1 = (N 1 , T 1 , S 1 , P 1 ) si G 2 = (N 2 , T 2 , S 2 , P 2 ) gramatici de tip 3, în<br />
formă normală, cu L 1 = L(G 1 ), L 2 = L(G 2 ).<br />
Gramatica G = (N 1 × N 2 , T 1 ∩ T 2 ,(S 1 , S 2 ), P), unde P constă din:<br />
(S 1 , S 2 ) → ǫ, dacă S 1 → ǫ ∈ P 1 <strong>şi</strong> S 2 → ǫ ∈ P 2<br />
(A 1 , B 1 ) → a(A 2 , B 2 ), dacă A 1 → aA 2 ∈ P 1 <strong>şi</strong> B 1 → aB 2 ∈ P 2<br />
(A 1 , A 2 ) → a, dacă A 1 → a ∈ P 1 <strong>şi</strong> A 2 → a ∈ P 2<br />
este de tip 3 <strong>şi</strong> generează limbajul L 1 ∩ L 2<br />
LFAC (2014-15) Curs 2 5 / 26
Change language