Cuprins

1 Not , iuni generale 1.1 Alfabet, S . . , ir, Limbaj 1.1.1 Alfabet . . . . . 1.1.2 S , ir . . . . . . . . 1.1.3 Limbaj . . . . . . 1.2 Operat , ii pe limbaje . . . 1.2.1 Reuniune . . . . 1.2.2 Concatenare . . . 1.2.3 Kleene Star . . . 1.2.4 Mult , imea putere 1.3 Ierarhia Chomsky . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 3 3 3 3 4 4 4 4 5 5 6 6 7 7 8 8 10 10 10 10 11 12 12 12 13 13 14 15 15 15 16 16 16 17

2 Limbaje regulate 2.1 Expresii regulate . . . . . . . . . . . . . . . . . . . . 2.1.1 Utiliz ari . . . . . . . . . . . . . . . . . . . . . 2.2 Automate nite deterministe . . . . . . . . . . . . . . 2.2.1 Utiliz ari . . . . . . . . . . . . . . . . . . . . . 2.3 Automate nite nedeterministe . . . . . . . . . . . . 2.3.1 Utiliz ari . . . . . . . . . . . . . . . . . . . . . 2.4 Echivalent a ER, AFD, AFN . . . . . . . . . . . . . . , 2.4.1 Conversie AFD AFN . . . . . . . . . . . . 2.4.2 Conversie AFN AFD . . . . . . . . . . . . 2.4.3 Conversie ER AFN . . . . . . . . . . . . . 2.5 Propriet at , i algoritmice . . . . . . . . . . . . . . . . . 2.5.1 Inchidere n raport cu reuniunea . . . . . . . . 2.5.2 Inchidere n raport cu concatenarea . . . . . . 2.5.3 Inchidere n raport cu Kleene Star . . . . . . . 2.5.4 Inchidere n raport cu diferent ,a . . . . . . . . 2.5.5 Inchidere n raport cu intersect . . . . . . . , ia 2.5.6 Inchidere n raport cu complementarea . . . . 2.5.7 Decizia dac a un limbaj regulat este vid . . . . 2.5.8 Decizia dac a un s ntr-un limbaj regulat , ir este 2.5.9 Decizia dac a un limbaj regulat este nit . . . 2.6 Lema de pompare . . . . . . . . . . . . . . . . . . . . 2.6.1 Enunt . . . . . . . . . . . . . . . . . . . . . . , 2.6.2 Negat ia Lemei de pompare . . . . . . . . . . . , 1

. . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . .

2.6.3

Utilizare . . . . . . . . . . . . . . . . . . . . . . . . . . 17 18 18 19 19 20 20 20 20 20 20 21 22 23 23 24 24 24 24

3 Limbaje independente de context 3.1 Gramatici independente de context . . . . . . . . . . . . . . . 3.1.1 Utiliz ari . . . . . . . . . . . . . . . . . . . . . . . . . . 3.2 Automate Pushdown nedeterministe . . . . . . . . . . . . . . 3.2.1 Utiliz ari . . . . . . . . . . . . . . . . . . . . . . . . . . 3.3 Echivalent , a GIC, APD . . . . . . . . . . . . . . . . . . . . . . 3.3.1 Conversia GIC APD . . . . . . . . . . . . . . . . . . 3.3.2 Conversia APD GIC . . . . . . . . . . . . . . . . . . 3.4 Propriet at , i algoritmice . . . . . . . . . . . . . . . . . . . . . . 3.4.1 Inchiderea n raport cu reuniunea . . . . . . . . . . . . 3.4.2 Inchiderea n raport cu concatenarea . . . . . . . . . . 3.4.3 Inchiderea n raport cu Kleene Star . . . . . . . . . . . 3.4.4 Clasa limbajelor independente de context nu este nchis a n raport cu diferent a, intersect ia s i complementarea . . , , , 3.4.5 Decizia dac a un limbaj independent de context este vid 3.5 Lema de pompare . . . . . . . . . . . . . . . . . . . . . . . . . 3.5.1 Enunt . . . . . . . . . . . . . . . . . . . . . . . . . . . , 3.5.2 Negat , ia Lemei de pompare . . . . . . . . . . . . . . . . 3.5.3 Utilizare . . . . . . . . . . . . . . . . . . . . . . . . . .

1
1.1
1.1.1

Not , iuni generale

Alfabet, S , ir, Limbaj
Alfabet

Un alfabet este orice mult a nit a de simboluri. Acestea pot , ime nevid caractere, semnale sau orice obiect ce poate interpretat cumva. Exemple: alfabetul roman: = {A, B, C, ..., Z } alfabetul format din cifre: = {0, 1, 2, ..., 9} alfabetul semnalelor pentru 3-Way Handshake: = {SYN, ACK, SYNACK} 1.1.2 S , ir

Un s ant) este o secvent nit a de simboluri dintr-un alfabet. Un s , ir(cuv ,a , ir poate s a nu cont a niciun caracter. Acesta, s a cu e( n alte , in , irul vid, se noteaz surse se noteaz a cu ). Lungimea unui s a cu |w| s a num arul de simboluri , ir w se noteaz , i reprezint din care e format w. Exemple: = {a, b, c, d}, w = cbba, |w| = 4 = {0, 1}, w = 10010101, |w| = 8 = {a, b}, w = e, |w| = 0 1.1.3 Limbaj

Un limbaj peste un alfabet este o mult , ime de cuvinte formate din simboluri din . Limbajul vid se noteaz a cu , s i n care nu se a a niciun , este limbajul cuv ant. Acesta este diferit de limbajul care cont , ine doar s , irul vid. Un limbaj poate nit sau innit. Exemple: L = , |L| = 0 3

 L = {e}, |L| = 1 L = {e, a, ab}, |L| = 3 L = {a, aa, aaa, ...}, |L| =

1.2
1.2.1

Operat , ii pe limbaje
Reuniune

Reuniunea a dou a limbaje este reuniunea normal a denit a pe mult , imi. 1.2.2 Concatenare

Fie L1 , L2 , dou a limbaje. Concatenarea se denes n felul urm ator: , te L1 L2 = {w1 w2 |w1 L1 w2 L2 }. Mai exact, orice concatenare a unui cuv ant din L1 cu un cuv ant din L2 se a a n L1 L2 . Concatenarea se poate nota mai simplu L1 L2 . Concatenarea nu este comutativ a. Concatenarea este asociativ as i distributiv a la st anga, respectiv la dreapta , fat de reuniune. ,a Exemple: L1 = , L2 = {e, a, b}. L1 L2 = , indc a nu exist a niciun cuv ant n L1 care s a e concatenat cu vreun cuv ant din L2 L1 = {a, b}, L2 = {c, d}. L1 L2 = {ac, ad, bc, bd} L1 = {e, a}, L2 = {b, bb, bbb, ...}. L1 L2 = {b, ab, bb, abb, ...} 1.2.3 Kleene Star

Fie L un limbaj. Kleene Star se denes n felul urm ator: , te L = {w|w = w1 w2 ...wn wi L, n 0} Kleene Star aplicat pe un limbaj reprezint a concatenarea de zero sau mai multe ori a oric ator s , iruri din L. Fie un alfabet oarecare. este o mult a de simboluri. Acesta poate , ime nit tratat ca un limbaj format din s and Kleene Star pe , iruri de lungime 1. Aplic acest limbaj, obt inem , mult imea tuturor s irurilor formate din simboluri , , , din . 4

Deoarece L cont , ine concatenarea tuturor cuvintelor de zero sau mai multe ori, L l va cont ntotdeauna pe e. , ine Exemple: L = . L = {e}. L = {e}. L = {e}. L = {a}. L = {e, a, aa, aaa, ..} L = {a, b}. L = {e, a, b, aa, ab, ba, bb, aaa, ...} 1.2.4 Mult , imea putere

Fie M o mult am cu 2M mult , ime. Not , imea tuturor submult , imilor lui M . M 2 = {A|A M }. Exemplu: M = {0, 1}. 2M = {, {0}, {1}, {0, 1}} Dac a este un alfabet, reprezint a mult , imea tuturor s , irurilor peste acel alfabet s i 2 este mult imea tuturor limbajelor peste acel alfabet. este , , nit. este innit num arabil. 2 este innit s arabil. , i nenum

1.3

Ierarhia Chomsky

Ierarhia const a n patru mari clase de limbaje: 1. Limbaje regulate 2. Limbaje independente de context 3. Limbaje dependente de context 4. Limbaje zero

Limbaje regulate

Clasa limbajelor regulate este mult a de limbaje nchis a n raport , imea minim cu operat iile de reuniune, concatenare s i Kleene Star. , ,

2.1

Expresii regulate

Expresiile regulate reprezint a o metod a de reprezentare nit a a limbajelor. Ele pot descrie orice succesiune nit a de operat , ii de reuniune, concatenare s ,i Kleene Star. Fie un alfabet. O expresie regulat a este o secvent nit a de simboluri ,a din {, , (, ), , e}, t and cont de urm atoarele propriet at , in , i: 1. s and limbajul vid, L1 = , res, i e sunt expresii regulate, reprezent pectiv limbajul care cont ine doar s irul vid, L2 = {e}; , , 2. a , a este expresie regulat a, reprezent and limbajul ce cont , ine un singur cuv ant format din simbolul a, L = {a}; 3. , expresii regulate, este expresie regulat a, reprezent and reuniunea limbajelor descrise de expresiile regulate s , i , L( ) = L() L( ); 4. , expresii regulate, este expresie regulat a, reprezent and concatenarea limbajelor descrise de expresiile regulate s i , L ( ) = , L() L( ); 5. expresie regulat a, este expresie regulat a, reprezent and aplicarea operatorului Kleene Star limbajului descris de expresia regulat a , L( ) = L() ; 6. expresie regulat a, () este expresie regulat a. Parantezele cresc prioritatea operatorilor. Operatorii, ordonat a la , i de la prioritate maxim minim a sunt: Kleene Star, operator de concatenare, operator de reuniune; 7. Orice altceva nu este expresie regulat a. Limbajele acceptate de expresii regulate se numesc limbaje regulate. Notat atoare: , ii ajut 6

 Fie o expresie regulat a. Not am + = . Fie o expresie regulat a. Not am ? = ( e) Exemple: E = e ab bb . L(E ) = L(e) L(ab) L(bb) = {e} {ab} L(b) L(b ) = {e, ab} {b} L(b) = {e, ab} {b} {b} = {e, ab} {b} {e, b, bb, bbb, ...} = {e, ab} {b, bb, bbb, bbbb, ...} = {e, ab, b, bb, bbb, ...}; E = (ab) . L(E ) = L((ab) ) = {a, b} = {e, a, b, aa, ab, ba, bb, aaa, ...}; E = a b . L(E ) = L(a )L(b ) = {e, a, aa, aaa, ...}{e, b, bb, bbb, ...} = {e, a, aa, aaa, ..., b, bb, bbb, ...}; 2.1.1 Utiliz ari

Expresiile regulate sunt folosite n motoare de c autare, unelte de prelucrare text (grep), limbaje de programare (haskell).

2.2

Automate nite deterministe

Un automat nit este un model de calcul care primes a de , te la intrare o band simboluri s s a starea intern a n funct ,i , i modic , ie de ce are la intrare. Acesta poate privit ca o cutie neagr a cu nis ari ntre care face tranzit n , te st , ii funct ie de intrare, la ecare tranzit ie mis c a nd capul de citire la dreapta. , , , Formal, un automat nit determinist este un tuplu M = (K, , , s, F ), cu urm atoarele propriet at , i: K este mult arilor. K este nit a, de unde vine s , imea st , i numele automatului; este alfabetul din care sunt formate cuvintele acceptate de automat; se numes , te funct , ie de tranzit , ie. : K K . (p, a) = q ; p, q K; a nseamn a c a automatul, dac a se a a n starea p s , i primes , te pe band a a, trece n starea q . Fiindc a este funct , ie, toate tranzit , iile din ecare stare pentru ecare simbol trebuie s a e denite. s K este starea de start. Aceasta este starea n care se a a automatul nainte de a primi ceva pe band a. 7

 F K este mult arilor nale. Dac a automatul se a a ntr-o , imea st stare f F dup a ce a terminat de citit s nseamn a c a accept as , irul , irul. Un moment din execut , ia unui automat nit se numes , te congurat , ie. O congurat ie complet a const a ntr-un tuplu ( q, w ) format din starea curent a , s ,i s , irul de la intrare. O congurat , ie este un element din K . Pentru a se descrie trecerea ntre congurat , ii se foloses , te operatorul M: K K . q, q K, w, w , (q, w) M (q , w ) , w = w (q, ) = q Se noteaz a cu nchiderea reexiv as a a operatorului de tre, i tranzitiv M cere ntre congurat a M reprezint a trecerea ntre congurat n zero , ii. Adic , ii sau mai mult , i pas , i. Un automat nit determinist accept a un s as a la termi, ir dac , i numai dac narea s a ntr-o stare nal a. w , M , irului de la intrare automatul se a accept a w f F, (s, w) M (f, e). Mult , imea tuturor cuvintelor acceptate de un automat se numes , te limbaj acceptat de automat. w , w L(M ) f F, (s, w) M (f, e). Un limbaj acceptat de un automat nit determinist este regulat. 2.2.1 Utiliz ari

Automatele nite deterministe sunt folosite la crearea analizoarelor lexicale, la proiectarea circuitelor electrice, la testarea protocoalelor, la crearea unor programe n care este evident a existent ari interne. , a unei st

2.3

Automate nite nedeterministe

Un automat nit nedeterminist este un automat nit mai put , in restrictiv dec at unul determinist. Acesta se bazeaz a pe faptul c a se pot rula n paralel o innitate de ramuri de execut a cel put a ntr-o stare , ie s , i dac , in una se termin nal a, s , irul este acceptat. Un automat nit nedeterminist permite: absent a se nt ampl a ca la un , a tranzit , iilor pe anumite simboluri. Dac moment dat s a apar a un simbol pentru care nu exist a tranzit , ie, ramura curent a de execut a f ar a a accepta s , ie se termin , irul; existent , a mai multor tranzit , ii din aceeas , i stare pe acelas , i caracter. Dac a se nt ampl a acest lucru, automatul lanseaz a mai multe ramuri de execut ate una pentru ecare tranzit a; , ie, c , ie posibil 8

 tranzit a se pot neglija tranzit n , ii pe s , iruri. Fiindc , ii, un lant , de tranzit , ii care din st arile intermediare nu pleac a nicio tranzit , ie se poate considera o singur a tranzit ie pe un s ir. , , tranzit s ar a , ii pe s , irul vid. Automatul , i poate modica spontan starea f a citi vreun caracter. Un automat nedeterminist este tot un tuplu M = (K, , , s, F ) cu urm atoarele propriet at , i: K este mult a a st arilor; , imea nit este alfabetul din care sunt formate cuvintele acceptate de automat; (K K ) nu este funct este o nit a. , ie, este relat , ie. (p, u, q ) nseamn a c a automatul poate trece din starea p n starea q citind s irul u ; , s K este starea de start; F K este mult arilor nale. , imea st O congurat a la fel ca n , ie a unui automat nit nedeterminist se noteaz cazul determinist, (q, w) (K ). Operatorul de trecere ntre congurat a la fel ca n cazul deter, ii se noteaz minist, M , dar indc a se poate ajunge n mai multe congurat , ii sau niciuna nu mai e funct as a a operatorului de trecere , ie. Inchiderea reexiv , i tranzitiv . ntre congurat ii se noteaz a tot cu , M Un automat nit nedeterminist accept a un s a exist a cel put , ir dac , in o cale astfel nc at din congurat a s a se ajung a ntr-o stare nal a f ar a , ia init , ial niciun caracter r amas la intrare. Limbajul acceptat de un automat nit nedeterminist este format din totalitatea s w , irurilor acceptate de el. , w L(M ) f F, (s, w) M (f, e) Un automat determinist este un automat nit nedeterminist care are nis , te restrict a , ii impuse. Des , i mult , imea automatelor nite deterministe este inclus n mult imea automatelor nite nedeterministe, limbajele acceptate de ele , sunt aceleas , i, limbajele regulate.

2.3.1

Utiliz ari

Automatele nite nedeterministe pot folosite la modelarea unei probleme pentru a ulterior transformat n automat determinist, care e mai greu de scris direct.

2.4
2.4.1

Echivalent , a ER, AFD, AFN

Conversie AFD AFN

Un automat nit determinist este s , i nedeterminist, deci conversia este tri as am exact asa cum e. vial a. Il l 2.4.2 Conversie AFN AFD

Fie M1 = (K1 , 1 , 1 , s1 , F1 ). S a se g aseasc a un M2 = (K2 , 2 , 2 , s2 , F2 ), L(M1 ) = L(M2 ), 2 = 1 . Pas , i: 1. Eliminarea tranzit , iilor pe s , iruri. Fie 1 = {(p, c, q )|(p, c, q ) 1 |c| 1} {(p, c1 , qw1 ), (qw1 , c2 , qw2 ), ..., (qwn , cn , q )|(p, w, q ) 1 |w| = n > 1 w = c1 c2 ...cn qw1 , qw2 , ..., qwn / K1 } s , i K1 = {qw 1 , qw 2 , ...qw 2 |(p, c1 , qw 1 ), (qw 1 , c2 , qw 2 ), ..., (qwn , cn , q ) 1 \ 1 }. Fie M1 = (K1 , 1 , 1 , s1 , F1 ). L(M1 ) = L(M1 ) indc a nu se schimb a nimic la tranzit , iile normale, s ,i rezultatul unui s ir de tranzit ii pe c a te un caracter e identic cu rezultatul , , tranzit , iei pe s , ir. 2. Se construies ari nchiderea ree, te automatul determinist folosind ca st xiv as a operatorului de trecere ntre congurat , i tranzitiv , ii restrict , ionat K1 la tranzit ii pe s irul vid. K = 2 . , , 2 Fie Q(q ) = {p|(q, w) a totalitatea st arilor n M (p, w )}. Q(q ) reprezint care se poate ajunge pornind din q f ar a a citi vreun caracter. s2 = Q0 = Q(s1 ) 2 : K2 K2 . Adic a 2 : 2K1 2K1 . Pentru ecare element Qi K2 se calculeaz a (Qi ). 10

F2 = {Q(f )|f F1 }. Din cauza modului n care se face transformarea, num arul st arilor unui automat nit determinist tinde s a e crescut exponent ial la trecerea de , K1 |K 1 | la AFN la AFD. |K2 | = |2 | = 2 . 2.4.3 Conversie ER AFN

Pentru conversia aceasta vom trata expresiile regulate n acelas n , i mod ca cazul denirii; nt ai constructori de baz as , i apoi operat , iile de reuniune, concatenare s , i Kleene Star. Toate automatele create acum vor avea o stare init as a stare , ial , i o singur nal a. La combinarea a dou a automate st arile init s , iale s , i nale , i pierd proprietatea de stare init ial a , respectiv nal a . , Pentru a mai us atoarea notat , or se denesc urm , ie: E expresie regulat a, AF N (E ) este automatul obt , inut prin aplicarea algoritmului de aici; 1. E1 = . M1 = (K1 , 1 , 1 , s1 , F1 ); K1 = {s, f }, 1 = , F = {f }; E2 = e. M2 = (K2 , 2 , 2 , s2 , F2 ); K2 = {s, f }, 2 = {(s, e, f )}, F = {f }; 2. a , E = a. M = (K, , , s, F ); K = {s, f }, = {(s, a, f )}, F = {f }; 3. , expresii regulate, E = . Fie M1 = AF N () = (K1 , 1 , 1 , s1 , {f1 }), M2 = AF N ( ) = (K2 , 2 , 2 , s2 , {f2 }). M = (K, , , s, F ); K = {s, f }K1 K2 , = 1 2 {(s, e, s1 ), (s, e, s2 ), (f1 , e, f ), (f2 , e, f )}, F = {f }; 4. , expresii regulate, E = . Fie M1 = AF N () = (K1 , 1 , 1 , s1 , {f1 }), M2 = AF N ( ) = (K2 , 2 , 2 , s2 , {f2 }). M = (K, , , s, F ); K = {s, f } K1 K2 , = 1 2 {(s, e, s1 ), (f1 , e, s2 ), (f2 , e, f )}, F = {f }; 5. o expresie regulat a, E = . Fie M1 = AF N () = (K1 , 1 , 1 , s1 , {f1 }). M = (K, , , s, F ); K = {s, f }K1 , = 1 {(s, e, f ), (s, e, s1 ), (f1 , e, f )}, F = {f };

11

2.5
2.5.1

Propriet at , i algoritmice
Inchidere n raport cu reuniunea

Mult nchis a n raport cu reuniunea. L1 , L2 , imea limbajelor regulate este limbaje regulate, L1 L2 este regulat. 1. Expresii regulate: L1 , L2 , E1 , E2 , L(E1 ) = L1 , L(E2 ) = L2 . L(E1 E2 ) = L(E1 ) L(E2 ) = L1 L2 . Se poate scrie o expresie regulat a, E = E1 E2 , care descrie limbajul L1 L2 . 2. Automate nite nedeterministe: Fie M1 = (K1 , 1 , 1 , s1 , F1 ), M2 = (K2 , 2 , 2 , s2 , F2 ), dou a automate nite, L(M1 ) = L1 , L(M2 ) = L2 . K1 K2 = , altfel, redenumim st arile dintr-un automat. M = (K, , , s, F ), K = K1 K2 {s}, = 1 2 , = 1 2 {(s, e, s1 ), (s, e, s2 )}, F = F1 F2 , accept a L(L1 ) L(L2 ). Automatul ori trece n st arile corespunz atoare automatului M1 s , i accept a un cuv ant din L1 , ori trece n st arile corespunz atoare lui M2 s ,i accept a un cuv ant din M2 . 2.5.2 Inchidere n raport cu concatenarea

Mult nchis a n raport cu concatenarea. L1 , L2 , imea limbajelor regulate este limbaje regulate, L1 L2 este regulat. 1. Expresii regulate: L1 , L2 , E1 , E2 , L(E1 ) = L1 , L(E2 ) = L2 . L(E1 E2 ) = L(E1 ) L(E2 ) = L1 L2 . Se poate scrie o expresie regulat a, E = E1 E2 , care descrie limbajul L1 L2 . 2. Automate nite nedeterministe:

12

Fie M1 = (K1 , 1 , 1 , s1 , F1 ), M2 = (K2 , 2 , 2 , s2 , F2 ), dou a automate nite, L(M1 ) = L1 , L(M2 ) = L2 . K1 K2 = , altfel, redenumim st arile dintr-un automat. M = (K, , , s, F ), K = K1 K2 , = 1 2 , = 1 2 {(f1 , e, s2 )|f1 F1 }, s = s1 , F = F2 , accept a L(L1 ) L(L2 ). Automatul trece prin st arile corespunz atoare lui M1 p an a ajunge ntro stare care era nal a, apoi trece n s2 s ntr-o stare nal a , i se opres , te dup a ce primes ant din L2 . , te s , i un cuv 2.5.3 Inchidere n raport cu Kleene Star

Mult nchis a n raport cu Kleene Star. L limbaj , imea limbajelor regulate este regulat, L este regulat. 1. Expresii regulate: L , E , L(E ) = L . L(E ) = L(E ) = L . Se poate scrie o expresie regulat a, E = E , care descrie limbajul L . 2. Automate nite nedeterministe: Fie M = (K , , , s , F ), un automat nit, L(M ) = L . M = (K, , , s, F ), K = K {s}, = , = {(s, e, s )} {(f , e, s)|f F }, F = {s}, accept a L(L ) . Automatul termin a direct n s sau trece prin st arile corespunz atoare lui M p an a ajunge ntr-o stare care era nal a, de unde ajunge pe o tranzit a napoi n s unde poate termina sau repeta procesul. , ie vid 2.5.4 Inchidere n raport cu diferent ,a

Mult nchis a n raport cu diferent L1 , L2 , imea limbajelor regulate este , a. limbaje regulate, L1 \ L2 este regulat. 1. Automate nite deterministe: Fie M1 = (K1 , 1 , 1 , s1 , F1 ), M2 = (K2 , 2 , 2 , s2 , F2 ), dou a automate nite, L(M1 ) = L1 , L(M2 ) = L2 .

13

1 = 2 = , altfel unele tranzit a. Dac a nu exist a, , ii necesare nu exist se pot completa 1 s an a la 1 2 , introduc and o stare de eroare , i 2 p nenal a n care s a r am an a pentru orice caracter s atre acea , i tranzit , ii c stare din orice alt a stare pentru orice caracter nou introdus. M = (K, , , s, F ), K = K1 K2 , = {((q1 , q2 ), c, ( (q1 ), (q2 )))|q1 K1 , q2 K2 , c }, s = (s1 , s2 ), F = {(f1 , q2 )|f1 F1 , q2 K2 \ F2 }, accept a L(L1 ) \ L(L2 ). Automatul simuleaz a execut n paralel s a , ia ambelor automate , i accept un s ir dac a doar primul automat ar ajuns ntr-o stare nal a . , 2.5.5 Inchidere n raport cu intersect , ia

Mult nchis a n raport cu intersect , imea limbajelor regulate este , ia. L1 , L2 limbaje regulate, L1 L2 este regulat. Demonstrat , ie: Se poate considera L1 L2 = L1 \ (L1 \ L2 ) s , i se foloses , te metoda de mai sus pentru automate. Se foloses atoarea metod a: , te urm 1. Automate nite deterministe: Fie M1 = (K1 , 1 , 1 , s1 , F1 ), M2 = (K2 , 2 , 2 , s2 , F2 ), dou a automate nite, L(M1 ) = L1 , L(M2 ) = L2 . 1 = 2 = , altfel unele tranzit a. Dac a nu , ii necesare nu exist exist a, se pot completa 1 s an a la 1 2 , introduc and o , i 2 p stare de eroare nenal a n care s a r am an a pentru orice caracter s ,i tranzit ii c a tre acea stare din orice alt a stare pentru orice caracter , nou introdus. M = (K, , , s, F ), K = K1 K2 , = {((q1 , q2 ), c, ( (q1 ), (q2 )))|q1 K1 , q2 K2 , c }, s = (s1 , s2 ), F = {(f1 , f2 )|f1 F1 , f2 F2 }, accept a L(L1 ) L(L2 ). Automatul simuleaz a execut n paralel s , ia ambelor automate , i accept a un s ir c a nd ambele automate ar ajuns ntr-o stare nal a. ,

14

2.5.6

Inchidere n raport cu complementarea

Mult nchis a n raport cu complementarea. L , imea limbajelor regulate este c limbaj regulat, L = L = L este regulat. Demonstrat , ie: Se poate considera L = \ L s a metoda ment a anterior , i se aplic , ionat pentru cele dou a automate. Se foloses atoarea metod a: , te urm 1. Automate nite deterministe: Fie M = (K , , , s , F ), un automat nit determinist, L(M ) = L. M = (K , , , s , K \ F ) accept a L c. Complement and mult arilor nale se obt , imea st , ine exact complementul limbajului. 2.5.7 Decizia dac a un limbaj regulat este vid Fie E o expresie regulat a L(E ) = , , E = . Dac a = = e, atunci E = . 2. Automate nite deterministe sau nondeterministe: Pentru a stabili dac a automatul accept a vreun s , ir, se face o parcurgere a grafului s a se ajunge ntr-o stare nal a limbajul nu e vid. , i dac 2.5.8 Decizia dac a un s ntr-un limbaj regulat , ir este

1. Expresii regulate:

1. Expresii regulate: Se genereaz a n ordinea lungimii s , irurile acceptate de expresie s , i se compar a cu s irul c a utat. , 2. Automate nite deterministe: Se lanseaz a n execut a , ie automatul cu s , irul la intrare s , i se as , teapt sf ars Dac a la nal este ntr-o stare nal a , itul execut , iei automatului. s , irul este acceptat. 15

3. Automate nite nedeterministe: Se lanseaz a n execut a vreuna din , ie automatul cu s , irul la intrare. Dac ramuri se termin a ntr-o stare nal a s irul este acceptat. Pentru a se , asigura terminarea execut n starea de unde au , iei, ciclurile care ajung pornit f ar a a citit vreun caracter se execut a o singur a dat a. 2.5.9 Decizia dac a un limbaj regulat este nit

1. Expresii regulate: Limbajul descris de o expresie regulat a este nit dac a orice operat , ie de Kleene Star din interior este ntr-o subexpresie care descrie limbajul vid. Limbajul descris de o expresie f ar a Kleene Star este nit. Limbajul vid este nit. 2. Automate nite deterministe sau nedeterministe: Un automat nit care cont a aat a n/dup a un ciclu , ine o stare nal accesibil din starea init ial a accept a o innitate de s iruri. , ,

2.6

Lema de pompare

Lema de pompare este o proprietate pe care o are orice limbaj regulat. 2.6.1 Enunt ,

Fie L un limbaj regulat. Atunci n0 N astfel nc at w L, |w| n0 x, y, z , w = xyz, |xy | n0 , |y | > 0 astfel nc at k N, xy k z L. Lema de pompare se poate formula astfel: Pentru orice limbaj regulat, orice s mp art n trei p art nc at , ir destul de lung am avea, el se poate ,i , i astfel pomp and partea din centru de oric ate ori, s irul rezultat s a r a m a n a n limbaj. , Pentru limbaje nite se poate alege n0 lungimea maxim a din limbaj. Astfel, pentru toate s irurile mai lungi dec a t n , adic a niciunul, se aplic a , 0 lema. Pentru o expresie regulat a, pentru orice s , ir se alege un subs , ir care s-a potrivit o dat a pentru o subexpresie c areia i se aplic a Kleene Star s , i poate pompa de oric ate ori, s nc a potrivindu-se expresiei regulate. , irul rezultat

16

2.6.2

Negat , ia Lemei de pompare

Lema de pompare nu poate folosit a pentru a demonstra c a un limbaj este regulat indc a exist a limbaje care nu sunt regulate pentru care lema de pompare funct a. , ioneaz Fiindc a lema funct ioneaz a pentru orice limbaj regulat, limbajele pentru , care lema nu se aplic a cu sigurant nu sunt regulate. Astfel, dintr-o propri,a etate f ar a mare utilitate, lema de pompare a devenit un instrument foarte bun de demonstrare a faptului c a un limbaj nu ar regulat. Forma negat a a lemei de pompare este: Fie L un limbaj. Dac a pentru n0 N, w L, |w| n0 astfel nc at k x, y, z , w = xyz, |xy | n0 , |y | > 0, k N astfel nc at xy z / L, atunci L nu este regulat. Pentru a demonstra c a o proprietate nu e adev arat a, c aut am un contraexemplu. Pentru orice dimensiune, c aut am un s nc at oricum , ir mai lung astfel l-am mp art i, pomparea s irului din mijloc produce un s ir care nu e n limbaj. , , , 2.6.3 Utilizare

Demonstrat a L = {an bm |n = m} nu este regulat. , i folosind lema de pompare c Rezolvare: Presupunem L regulat. S a L = L(a b ) este regulat, , tiind c L \ L = {an bm |n = m} ar trebui s a e regulat, deci ar trebui s a respecte lema de pompare. Fie n0 oarecare, w = an0 bn0 , |w| = 2n0 n0 . x, y, z , w = xyz , din cauza restrict , iilor |xy | n0 s , i |y | > 0, nu putem pompa dec at a. Atunci, consider am x = ai ; y = aj , j > 0; z = an0 ij bn0 . Atunci, xy k z = ai ajk an0 ij bn0 = an0 +j (k1) bn0 . Pentru k = 2, xy 2 z = an0 +j bn0 . Pentru j = 0, n0 + j = n0 , adic a an0 +j bn0 / L . Contradict , ie! presupunerea c a L ar regulat e gres it a . ,

17

Limbaje independente de context

Din p acate, nu toate limbajele sunt regulate. Pentru c a expresiile regulate s i automatele nite pot descrie doar limbaje regulate, a fost nevoie de ceva , mai mult. Clasa limbajelor independente de context este urm atoarea clas a principal a n ierarhia Chomsky.

3.1

Gramatici independente de context

Gramaticile independente de context reprezint a o alt a metod a de reprezentare nit a a limbajelor. Limba rom an a are o gramatic a a ei. O gramatic a reprezint a o mult , ime de reguli de modicare s i combinare a cuvintelor n propozit ii corecte. Con, , sider and not an a acum, limba rom an a poate asociat a unui , iuni denite p limbaj. Propozit , iile corecte pot considerate s , iruri din limbaj s , i componentele propozit iilor, cuvintele, pot considerate litere din alfabet. Astfel, , facem urm atoarele asocieri: limb a limbaj; propozit , ie s , ir; cuv ant simbol; vocabular alfabet. Analizate astfel, not an a acum nu sunt suciente pentru a , iunile denite p deni o gramatic a indc a nu se pot reprezenta regulile. O gramatic a este, din punct de vedere formal, un tuplu G = (V, , R, S ), unde V reprezint a mult area n reguli, reprezint a , imea simbolurilor ce pot ap alfabetul, R reprezint a mult a simbolul de start. , imea regulilor s , i S reprezint este o mult a de simboluri care pot ap area n cuvintele limba, ime nit jului, simboluri numite s i terminali. V este mult imea tuturor simbolurilor , , care apar n reguli, dar, pe l ang a terminali, cont , ine s , i nis , te simboluri care nu apar n cuvintele limbajului, numite neterminali. Un astfel de simbol este S V \ . R este mult a a regulilor de product a este un tuplu, , imea nit , ie. O regul (A, ), A V \ , V , care nseamn a c a neterminalul A poate nlocuit cu s a cu A . , irul de terminali s , i neterminali . Regula (A, ) se noteaz Modul n care este denit face ca R (V \ ) V . In cazul n care 18

A V \ , , V , (A, ) R (A, ) R, atunci regulile se pot scrie A | , nsemn and c a A se poate nlocui e cu , e cu . Inlocuirea p art ii din st a nga a unei reguli cu partea din dreapta ntr-un , s a v este derivat din u(u v ) dac a A , ir se numes , te derivare. Spunem c V \ , , , V astfel nc at (A, ) R u = A v = . Inchiderea reexiv as a a relat a cu . , i tranzitiv , iei de derivare se noteaz u v nseamn a c a v este derivat din u n zero sau mai mult , i pas , i. O gramatic a genereaz a un s ir w dac a s i numai dac a pornind de la simbolul , , de start se poate deriva w. Mult a , imea tuturor s , irurilor generate de o gramatic G se numes te limbaj generat de gramatic a . w L ( G ) S w . , Un limbaj generat de o gramatic a independent a de context se numes , te limbaj independent de context. 3.1.1 Utiliz ari

Gramaticile independente de context sunt folosite pentru a descrie formal limbaje de programare. Din cauza asta sunt foarte folosite n compilatoare.

3.2

Automate Pushdown nedeterministe

Din cauza faptului c a automatele Pushdown deterministe pot accepta doar o submult ime a limbajelor independente de context nu vor folosite deloc. , Un automat Pushdown nedeterminist este un automat nit nedeterminist care are atas a o stiv a. , at Formal, un APD este un tuplu M = (K, , , , s, F ), unde K este mult arilor, este alfabetul, este alfabetul stivei, (K , imea st ) (K ), este relat ntre st ari, s este starea de start s , ia de tranzit , ie ,i F este mult arilor nale. , imea st Dac a ((p, u, ), (q, )) , nseamn a c a automatul poate trece din starea p n starea q , citind u de la intrare s i scot a a, pun and n loc . , , nd de pe stiv O congurat , ie a unui APD este un element (p, w, ) K . Operatorul de trecere ntre congurat , ii este M K K . Inchiderea reexiv as a a operatorului de trecere ntre congurat , i tranzitiv , ii este M . Un automat Pushdown nedeterminist accept a un s a exist a cel put , ir dac , in o cale astfel nc at din congurat a s a se ajung a ntr-o stare nal a , ia init , ial f ar a niciun caracter r amas la intrare s a. Limbajul acceptat , i cu stiva goal

19

de un automat Pushdown nedeterminist este format din totalitatea s , irurilor acceptate de el. w , w L(M ) f F, (s, w, e) M (f, e, e). 3.2.1 Utiliz ari

Un APD poate folosit pentru implementarea unui parser dup a o gramatic a dat a.

3.3
3.3.1

Echivalent , a GIC, APD

Conversia GIC APD

Fie G = (V, , R, S ) o gramatic a independent a de context. S a se g aseasc a un automat Pushdown nedeterminist M = (K, , , , s, F ) care s a accepte limbajul generat de G, L(M ) = L(G). Vom scrie un automat ale c arui tranzit a deriv arile din grama, ii simuleaz tic a. K = {s, f }; = V ; = {((s, e, e), (f, S ))} {((f, e, A), (f, ))|A V, (A, ) R} {((f, a, a), (f, e))|a }; F = {f }. Automatul pune init a simbolul de start s n starea n care , ial pe stiv , i trece face deriv arile. O derivare este simulat a scot a nd de pe stiv a neterminalul din , st anga regulii s a a p art n care , i punerea pe stiv , ii din dreapta regulii. In cazul nu poate face o derivare indc a simbolul din v arful stivei este un terminal, automatul poate citi la intrare terminalul respectiv s l scoate de pe stiv a. ,i 3.3.2 Conversia APD GIC

3.4
3.4.1

Propriet at , i algoritmice
Inchiderea n raport cu reuniunea

Mult nchis a n raport cu reu, imea limbajelor independente de context este niunea. L1 , L2 limbaje independente de context, L1 L2 este independent de context. 1. Gramatici independente de context: Fie G1 = (V1 , 1 , R1 , S1 ), G2 = (V2 , 2 , R2 , S2 ), L(G1 ) = L1 , L(G2 ) = L2 . (V1 \ 1 ) (V2 \ 2 ) = , altfel redenumim neterminalii identici.

20

G = (V, , R, S ). V = V1 V2 ; = 1 2 ; R = R1 R2 {(S, S1 ), (S, S2 )}. Din simbolul de start se poate deriva simbolul de start pentru una din cele dou a gramatici de unde se poate deriva orice cuv ant. L(G) = L(G1 ) L(G2 ). 2. Automate Pushdown nedeterministe: Fie M1 = (K1 , 1 , 1 , 1 , s1 , F1 ), M2 = (K2 , 2 , 2 , 2 , s2 , F2 ), dou a automate Pushdown nedeterministe, L(M1 ) = L1 , L(M2 ) = L2 . K1 K2 = , altfel, redenumim st arile dintr-un automat. M = (K, , , , s, F ), K = K1 K2 {s}, = 1 2 , = 1 2 , = 1 2 {((s, e, e), (s1 , e)), ((s, e, e), (s2 , e))}, F = F1 F2 , accept a L(L1 ) L(L2 ). Automatul ori trece n st arile corespunz atoare automatului M1 s , i accept a un cuv ant din L1 , ori trece n st arile corespunz atoare lui M2 s ,i accept a un cuv ant din M2 . 3.4.2 Inchiderea n raport cu concatenarea

Mult nchis a n raport cu conca, imea limbajelor independente de context este tenarea. L1 , L2 limbaje independente de context, L1 L2 este independent de context. 1. Gramatici independente de context: Fie G1 = (V1 , 1 , R1 , S1 ), G2 = (V2 , 2 , R2 , S2 ), L(G1 ) = L1 , L(G2 ) = L2 . (V1 \ 1 ) (V2 \ 2 ) = , altfel redenumim neterminalii identici. G = (V, , R, S ). V = V1 V2 ; = 1 2 ; R = R1 R2 {(S, S1 S2 )}. Din simbolul de start se deriveaz a concatenarea celor dou a simboluri de start, din ecare deriv andu-se c ate un cuv ant din limbajul respectiv. L(G) = L(G1 ) L(G2 ). 2. Automate Pushdown nedeterministe: Fie M1 = (K1 , 1 , 1 , 1 , s1 , F1 ), M2 = (K2 , 2 , 2 , 2 , s2 , F2 ), dou a automate Pushdown nedeterministe, L(M1 ) = L1 , L(M2 ) = L2 . K1 K2 = , altfel, redenumim st arile dintr-un automat. 1 2 = , altfel 21

redenumim simbolurile dintr-unul dintre alfabetele stivei unuia dintre automate. M = (K, , , , s, F ), K = K1 K2 , = 1 2 , = 1 2 , = 1 2 {((f1 , e, e), (s2 , e))|f1 F1 }, s = s1 , F = F2 , accept a L(L1 ) L(L2 ). Automatul trece prin st arile corespunz atoare lui M1 p an a ajunge ntro stare care era nal a, apoi trece n s2 s ntr-o stare nal a , i se opres , te dup a ce primes ant din L2 . Fiindc a simbolurile de pe stiv a , te s , i un cuv sunt diferite, al doilea automat nu poate cur at a stiva dac a primul a , l asat ceva, as a un s a am andou a automatele au , a c , ir e acceptat doar dac l asat stiva goal a. 3.4.3 Inchiderea n raport cu Kleene Star

Mult nchis a n raport cu Kle, imea limbajelor independente de context este ene Star. L limbaj independent de context, L = L este independent de context. 1. Gramatici independente de context: Fie G = (V , , R , S ), L(G ) = L . G = (V, , R, S ). V = V ; = ; R = R {(S, S S ), (S, e)}. Din simbolul de start se deriveaz a S S , f ac and practic o inserare a unui cuv ant din L la nceputul s irului. Dup a ce se insereaz a num arul , de cuvinte necesare se poate face o derivare a s , irului vid din ultimul simbol de start. L(G) = L(G1 ) . 2. Automate Pushdown nedeterministe: Fie M = (K , , , , s , F ), un automat Pushdown nedeterminist, L(M ) = L . M = (K, , , , s, F ), K = K {s, f }, = , = {Z }, Z / , = {((s, e, e), (s , Z ))} {((f , e, Z ), (s, e))|f F }, F = F2 , accept a L(L1 ) . Automatul poate termina direct din starea s sau poate trece prin st arile lui M . Dac a trece prin st arile lui M , pune nt ai un simbol pe stiv a pe 22

care M nu l poate scoate s l scoate dec at c and dintr-o stare nal a , i nu se ntroarce n s, dar doar dac a automatul a ajuns n acea stare cu stiva cur at at a . Astfel, ecare rulare a automatului accept a un cuv ant. , 3.4.4 Clasa limbajelor independente de context nu este nchis a n raport cu diferent , a, intersect , ia s , i complementarea

Fie L1 = {am bn cp |m, n, p N m = n}, L2 = {am bn cp |m, n, p N n = p}. L1 \ L2 = {am bn cp |m, n, p N m = n = p}, care nu este independent de context. Intersect n funct astfel: , ia s , i complementarea se pot descrie , ie de diferent ,a A B = A \ (A \ B ) Ac = \ A 3.4.5 Decizia dac a un limbaj independent de context este vid

1. Gramatici independente de context: Pentru a verica dac a o gramatic a independent a de context genereaz a cel put a pe r and simbolurile din care se pot deriva , in un s , ir se marcheaz s , iruri de terminali. Algoritm: (a) Se marcheaz a terminalii ca ind simboluri din care se pot deriva s , iruri formate doar din terminali. (b) La ecare iterat a neterminalii , ie se parcurg regulile s , i se marcheaz din st anga regulilor care au n dreapta s iruri formate doar din , simboluri deja marcate. (c) Dac a dup a o iterat , ie nu s-a mai marcat niciun neterminal, algoritmul se opres te , Dac a la nalul algoritmului simbolul de start, S , este marcat, nseamn a c a gramatica poate genera cel put ar a neterminali, adic a lim, in un s , ir f bajul este nevid

23

3.5

Lema de pompare

Lema de pompare este o proprietate pe care o respect a orice limbaj independent de context. 3.5.1 Enunt ,

Fie L un limbaj independent de context. Atunci n0 N astfel nc at w L, |w| n0 , u, v, x, y, z , w = uvxyz, |vxy | n0 , |vy | > 0 astfel nc at k k k N, uv xy z L. Lema de pompare se poate formula astfel: Pentru orice limbaj independent de context, orice s mp art n cinci , ir destul de lung am avea, el se poate ,i subs iruri astfel nc a t pomp a nd simultan al doilea s i al patrulea subs , , , ir de oric ate ori, s a r am an a n limbaj. , irul rezultat s 3.5.2 Negat , ia Lemei de pompare

Lema de pompare nu poate folosit a pentru a demonstra c a un limbaj este independent de context indc a exist a limbaje care nu sunt independente de cotnext pentru care lema de pompare funct a. , ioneaz Fiindc a lema funct ioneaz a pentru orice limbaj independent de context, , limbajele pentru care lema nu se aplic a, cu sigurant nu sunt independente ,a de context. Astfel, dintr-o proprietate f ar a mare utilitate, lema de pompare a devenit un instrument foarte bun de demonstrare a faptului c a un limbaj nu ar independent de context. Forma negat a a lemei de pompare este: Fie L un limbaj. Dac a pentru n0 N, w L, |w| n0 astfel nc at u, v, x, y, z , w = uvxyz, |vxy | n0 , |vy | > 0, k N astfel nc at uv k xy k z / L, atunci L nu este independent de context. Pentru a demonstra c a o proprietate nu e adev arat a, c aut am un contraexemplu. Pentru orice dimensiune, c aut am un s ir mai lung astfel nc at , oricum l-am mp art a subs , i, pomparea celor dou , iruri produce un s , ir care nu e n limbaj. 3.5.3 Utilizare

Demonstrat a L = {an bn cn } nu este independent , i folosind lema de pompare c de context. Rezolvare: 24

Fie n0 oarecare, w = an0 bn0 cn0 , |w| = 3n0 n0 . u, v, x, y, z , w = uvxyz , din cauza restrict , iilor |vxy | n0 s , i |vy | > 0, vxy poate s a cont in a doar a , doar b , doar c , doar a s i b sau doar bs , , , i c. Cazuri: 1. u = ai vxy = aj ; v = ajv , x = ajx , y = ajy ; jv + jx + jy = j n, jv + jy > 0 z = an0 ij bn0 cn0 uv k xy k z = ai akjv ajx akjy an0 ij bn0 cn0 = an0 +(jv +jy )(k1) bn0 cn0 . Pentru k = 2, n0 + (jv + jy ) = n0 , adic a an0 +(jv +jy ) bn0 cn0 /L 2. u = an0 i vxy = ai bj ; i + j n0 ; i > 0, j > 0 z = bn0 j cn0 Cazuri: (a) v = aiv ; x = aix bjx ; y = bjy ; iv + ix = i, jx + jy = j, iv + jy > 0 uv k xy k z = an0 i akiv aix bjx bkjy bn0 j cn0 = an0 +iv (k1) bn0 +jy (k1) cn0 . /L Pentru k = 2, n0 + iv = n0 n0 + jy = n0 , adic a an0 +iv bn0 +jy cn0 (b) v = ai bjv ; x = bjx ; y = bjy ; jv + jx + jy = j, i + jv + jy > 0, jv > 0 a uv k xy k z = an0 i (ai bjv )k bjx bkjy bn0 j cn0 . Pentru k = 2, se stric n0 jv i n0 +jy (k1) n0 a b c / L forma s irului, a b , iv (c) v = a ; x = aix ; y = aiy bj ; iv + ix + iy = i, iv + iy + j > 0, iy > 0 a uv k xy k z = an0 i akiv aix (aiy bj )k bn0 j cn0 . Pentru k = 2, se stric n0 +iv (k1) j iy n0 n0 /L forma s ba b c , irului, a 3. u = an0 bi vxy = bj ; v = bjv , x = bjx , y = bjy ; jv + jx + jy = j n, jv + jy > 0 z = cn0 ij uv k xy k z = an0 bi bkjv bjx bkjy bn0 ij cn0 = an0 bn0 +(jv +jy )(k1) cn0 . Pentru k = 2, n0 + (jv + jy ) = n0 , adic a an0 bn0 +(jv +jy ) cn0 /L 4. u = an0 bn0 i vxy = bi cj ; i + j n0 ; i > 0, j > 0 z = cn0 j Cazuri: 25

(a) v = biv ; x = bix cjx ; y = cjy ; iv + ix = i, jx + jy = j, iv + jy > 0 uv k xy k z = an0 bn0 i bkiv bix cjx ckjy cn0 j = an0 bn0 +iv (k1) cn0 +jy (k1) . /L Pentru k = 2, n0 + iv = n0 n0 + jy = n0 , adic a an0 bn0 +iv cn0 +jy (b) v = bi cjv ; x = cjx ; y = cjy ; jv + jx + jy = j, i + jv + jy > 0, jv > 0 a uv k xy k z = an0 bn0 i (bi bjv )k cjx bkjy cn0 j . Pentru k = 2, se stric n0 n0 jv i n0 +jy (k1) forma s irului, a b c b c / L , (c) v = biv ; x = bix ; y = biy cj ; iv + ix + iy = i, iv + iy + j > 0, iy > 0 a uv k xy k z = an0 bn0 i bkiv bix (biy cj )k cn0 j . Pentru k = 2, se stric n0 n0 +iv (k1) j iy n0 / L c b c b forma s irului, a , 5. u = an0 bi vxy = cj ; v = cjv , x = cjx , y = cjy ; jv + jx + jy = j n, jv + jy > 0 z = cn0 ij uv k xy k z = an0 bn0 ci ckjv cjx ckjy cn0 ij = an0 bn0 cn0 +(jv +jy )(k1) . Pentru k = 2, n0 + (jv + jy ) = n0 , adic a an0 bn0 cn0 +(jv +jy ) / L.

26