Kā notiek sentenciālo formu iegūšana, ja izmanto atvasināšanu no labās puses

1. Kā notiek sentenciālo formu iegūšana,ja izmanto atvasināšanu no labās puses

2. Virkne Atvasinājums, sākot no labās puses :

3. Gribētos šo ceļu veikt pretējā virzienā:

4. Kā uzminēt, kurā brīdī kuru produkciju lietot?Varianti var būt vairāki:

5. “Pārbīdīt/savērst” veida analizētāji • Iespējamās darbības: • pārbīdīt (shift) simbolu no ievada uz steku • vienkāršot, savērst (reduce) izmantojot noteiktu produkciju • akceptēt ievadu (accept) brīdī, kad skaidrs, ka tas atbilst gramatikai • paziņot par kļūdu (error)brīdī, kad skaidrs, ka ievads neatbilst gramatikai

7. Augšupejošā analīze (BOTTOM-UP parsing)

8. Sāk ar doto termināļu virkni • Cenšas atrast produkcijas labai pusei atbilstošu daļu un aizvietot ar produkcijas kreiso pusi • Ja izdodas reducēt līdz starta simbolam, tad virkne atbilst dotajai gramatikai

9. LR(k) analīzes algoritmi Efektīva augšupejošās analīzes algoritmu klase L – ievada virkni lasa no kreisās puses uz labo R – būvē atvasinājumus no labās puses pretējā secībā k – ievada simbolu skaits, kāds nepieciešams, lai noteiktu analizētāja nākošo darbību

10. LR(k) analīze Ja pietiek tikai ar steka saturu, tad LR(0) Ja vajag vienu ievada simbolu, tad LR(1). Ja k nav norādīts, tad uzskata, ka k=1. Ja vajag zināt vairāk kā vienu simbolu uz priekšu, tad LR(k) k>1 “Reālās” gramatikas parasti ir LR(1)

11. LR analizētāju pievilcība LR analizētājus var izveidot praktiski visu programmēšanas valodu, kurām iespējams uzrakstīt bezkonteksta gramatiku, analīzei. LR analīzes metode ir pazīstamākā no “pārnese-savēršana” tipa metodēm, pie kam efektivitātē neatpaliek no citām šī tipa metodēm. LR analizētāji var atpazīt sintakses kļūdas uzreiz kā tas kļūst iespējams ievada skenēšanas laikā.

12. LR analizētāju ēnas puse Nopietnām gramatikām LR analizētājus grūti izveidot “ar roku” – nepieciešami speciāli programmēšanas līdzekļi.

13. LR analizētāju varianti SLR – Simple LR LALR – Look ahead LR kanoniskā LR Stiprāka

14. Piemērs Gramatika valodai, kas satur palindromus:

15. Piemērs Nepatīk, ka starta simbols var būt labajā pusē – pievieno jaunu starta simbolu Mēģināsim uzminēt, kā izskatās virknes abcba analīzes process.

16. abcba  abPba  aPa  P  S

17. LR(0) analizētāji Konstruē GDA, kas satur visus analizētāja stāvokļus un pārejas, atkarībā no termināļiem (action tabula) vai netermināļiem (goto tabula). Steku izmanto šī GDA darbības simulācijā.

18. LR(0) analizētāji LR(0) analizētāja stāvoklis norāda, cik daudz no dotās produkcijas ievada ir ieskenēts. Stāvokļa raksts (item) ir kāda produkcija ar punktu tās labajā pusē. Piemēram, no produkcijas PaPa iespējams iegūt sekojošus rakstus:P.aPaPa.PaPaP.aPaPa. No produkcijas Pε iegūst tikai vienu rakstu P.

19. Raksti • Intuitīvi punkts norāda, cik daudz no attiecīgās produkcijas labās puses “esam redzējuši”. • Izšķirsim vairāku veidu rakstus: • ar punktu kreisajā galā (initial items)P.aPa • ar punktu labajā galā (complete items)PaPa.

20. Rakstu slēgumi (Closure) • Pieņemsim, ka I ir rakstu kopa. • Tad: • IClosure(I) • ja raksts A.Bpieder Closure(I) , un ir produkcija formā B, tad Closure(I) jāpievieno raksts B. (ja tas tur vēl nebija) un šādas darbības jāatkārto tikmēr, kamēr neko papildināt vairs nevar.

21. Rakstu slēgumi Intuitīvi attēlo ekvivalentus stāvokļus – visi veidi kā to varēja sasniegt. Piemērs: I = {S.P$} Closure(I) = {S.P$, P.aPa, P.bPb, P.c} Rakstu slēgumi veido būvējamā GDA stāvokļus.

22. OperācijaGOTO Ja si ir rakstu kopa un X ir kāds gramatikas simbols (terminālis vai neterminālis), tad GOTO(si,X)=Closure(AX.|A.Xsi)

23. Stāvokļu veidošana • Sāk ar Closure({S’.S$})(produkciju, kurā ir starta simbols) • Ja no kāda stāvokļa si iespējams atrast tādu gramatikas simbolu X, ka GOTO(si,X) ir netukša, tad tas veido jaunu stāvokli (jāatceras, ka X var būt gan terminālis, gan neterminālis).

24. Piemērs

25. 1

26. 2 1 P

27. P 2 1 3 a

28. P 2 1 3 a b 4

29. P 2 1 3 a b c 5 4 c

30. P P 2 6 1 3 a b c 5 4 c

31. P P 2 6 1 3 a a 7 b c 5 4 c

32. P P 2 6 1 3 a a 7 b c 5 8 4 c P

33. P P 2 6 1 3 a a 7 b c 5 8 4 b c 9 P

35. Kā veidot analīzes tabulu?

36. LR(0) analīzes tabula

37. Analīzes GDA konfigurāciju katrā brīdī nosaka s0X1s1X2... Xmsm aiai+1...an$ steka saturs (pārmaiņus - stāvokļi un gramatikas simboli) ievada neapskatītā daļa Īstenībā tā pati labēji sentenciālā forma: X1X2... Xmaiai+1...an (tikai papildināta ar stāvokļiem)

38. Darbības ar analīzes tabulu • Ja action[sm,ai] = “shift s”, tad no konfigurācijas (s0X1s1X2... Xmsm , aiai+1...an$)pāriet konfigurācijā(s0X1s1X2... Xmsmais, ai+1...an$)

39. Darbības ar analīzes tabulu (turp.) • Ja action[sm,ai] = “reduce Ab”, tad konfigurācijai (s0X1s1X2... Xmsm , aiai+1...an$)veic vienkāršošanu unpāriet konfigurācijā(s0X1s1X2... Xm-rsm-rAs, aiai+1...an$),kur s = goto[sm-r,A] r ir b garumsVispirms no steka izņem 2r simbolus, virsotnē nonāk sm-r, ieliek stekā A un ierakstu no goto[sm-r,A] . Ievada tekošais simbols nemainās.

40. Darbības ar analīzes tabulu (turp.) • Ja action[sm,ai] = “accept”, tad ievada virkne tiek atzīta par derīgu un analīze beidzas • Ja action[sm,ai] = “error”, tad ievada virkne netiek atzīta par derīgu un analīze beidzas (var iedarbināt speciālu kļūdu apstrādes mehānismu)

44. Piemērs

45. (1) S’S$ (2) SA (3) SB (4) AxA (5) Aa (6) BxB (7) Bb Piemērs S S’S.$ x A SA. Ax.A A.xA A.a Bx.B B.xB B.b S’.S$ S.A S.B A.xA A.a B.xB B.b B SB. A AxA. x B BxB. a Aa. a b b Bb.

46. Piemērs

47. Piemērs

49. LR(0) analīzes tabula Nav viennozīmības!

50. Konflikti • “shift-reduce” konflikts • “reduce-reduce” konflikts • Saka, ka gramatika ir LR(0) gramatika, ja tabula nesatur šādus konfliktus.