1 / 60

Uvod u teoriju računarstva zemris.fer.hr/ predmeti / utr /

Uvod u teoriju računarstva http://www.zemris.fer.hr/ predmeti / utr /. Zadaci za vje žbu Priprema za međuispit Fakultet elektrotehnike i računarstva Sveučilište u Zagrebu. Zadatak br. 9. Konstruirati Mooreov automat koji ispisuje ostatak dijeljenja oktalno zapisanog broja brojem 5.

sancha
Télécharger la présentation

Uvod u teoriju računarstva zemris.fer.hr/ predmeti / utr /

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Uvod u teoriju računarstvahttp://www.zemris.fer.hr/predmeti/utr/ Zadaci za vježbu Priprema za međuispit Fakultet elektrotehnike i računarstva Sveučilište u Zagrebu

  2. Zadatak br. 9 • Konstruirati Mooreov automat koji ispisuje ostatak dijeljenja oktalno zapisanog broja brojem 5. • Automat ima 5 stanja koja označavaju trenutne ostatke dijeljenja s 5 • (qx) = x • Ulazne znakove grupiramo prema kongruentnosti s 5 • Računamo funkciju prijelaza prema formuli: • ostatakn+1=(ostatakn*baza+znamenkan+1)%djelitelj • (qx, a) = q(x*8 + a)%5 0,5 1,6 2,7 3 4  q0 q0 q1 q2 q3 q4 0 q1 q3 q4 q0 q1 q2 1 q2 q1 q2 q3 q4 q0 2 q3 q4 q0 q1 q2 q3 3 q4 q2 q3 q4 q0 q1 4

  3. Zadatak br. 9 • Formula za izračunavanje ostatka cjelobrojnog dijeljenja • Xn – broj učitan do koraka n • Xn= m * djelitelj + ostatakn • Xn+1 – broj učitan do koraka n+1 • Xn+1= Xn * baza + znamenkan+1 • = (m * djelitelj + ostatakn) * baza + znamenkan+1 • = m * djelitelj * baza + ostatakn * baza + znamenkan+1 • ostatakn+1= Xn+1 % djelitelj • = (m * djelitelj * baza + ostatakn * baza + znamenkan+1 ) % djelitelj • ostatak = 0 • ostatakn+1 =(ostatakn*baza+znamenkan+1)%djelitelj

  4. Zadatak br. 10 • Iz zadanog Mooreovog automata konstruirati Mealyev automat.

  5. Zadatak br. 10 MooreM1 = (Q, S, D, d1, l1, q0) 0,5 1,6 2,7 3 4  • Pretvorba MooreMealy • 2(q,a)=1(q,a) • 2(q,a)=1(1(q,a)) q0 q0 q1 q2 q3 q4 0 q1 q3 q4 q0 q1 q2 1 q2 q1 q2 q3 q4 q0 2 q3 q4 q0 q1 q2 q3 3 q4 q2 q3 q4 q0 q1 4 MealyM2 = (Q, S, D, d2, l2, q0) 2 0,5 1,6 2,7 3 4 2 0,5 1,6 2,7 3 4 q0 q0 q1 q2 q3 q4 q0 0 1 2 3 4 q1 q3 q4 q0 q1 q2 q1 3 4 0 1 2 q2 q1 q2 q3 q4 q0 q2 1 2 3 4 0 q3 q4 q0 q1 q2 q3 q3 4 0 1 2 3 q4 q2 q3 q4 q0 q1 q4 2 3 4 0 1

  6. Zadatak br. 11 • Iz zadanog Mealyevog automata konstruirati Mooreov automat.

  7. Zadatak br. 11 MealyM1 = (Q1, S, D, d1, l1, q01) 1 0 1 1 0 1 • Pretvorba Mealy Moore • q02=[q01,0] • 2([q,a],b)=[1(q,b), 1(q,b)] • 2([q,a])=a q0 q0 q3 q0 0 0 q1 q1 q3 q1 0 1 q2 q2 q1 q2 1 1 q3 q2 q0 q3 1 0 MooreM2 = (Q2, S, D, d2, l2, q02) 2 0 1 2 [q0,0] [q0,0] [q3,0] 0 [q3,0] [q2,1] [q0,0] 0 [q2,1] [q2,1] [q1,1] 1 [q1,1] [q1,0] [q3,1] 1 [q1,0] [q1,0] [q3,1] 0 [q3,1] [q2,1] [q0,0] 1

  8. Zadatak br. 12 • Konstruirati gramatiku nad abecedom {0,1,2} koja generira nizove u kojima nema uzastopnog ponavljanja podniza 01. • Simuliramo rad automata koji prihvaća nizove u kojima nema uzastopnog ponavljanja podniza “01”. G=(V,T,P,S) V={S,A,B,C}, T={0,1,2} S  0A | 1S | 2S |  A  0A | 1B | 2S |  B  0C | 1S | 2S |  C  0A | 2S |  • A označava da smo generirali “0” • B označava da smo generirali “01” • C označava da smo generirali “010”

  9. Zadatak br. 13 • Na osnovu zadanog DKA konstruirati konteksno neovisnu gramatiku. a b c q0 q0 q1 q2 1 q1 q2 q0 q1 0 q2 q1 q2 q0 0 DKA M = (Q, S, d, q0, F) G = (V, T, P, S) • V=Q, V q0S,q1A,q2B • T=, S=q0 • (A,x)= B AxB • AF  A | S aS |bA |cB AaB|bS|cA BaA|bB|cS

  10. Zadatak br. 14 • Iz zadane lijevo-linearne gramatike konstruirati NKA. Algoritam: • Konstruirati gramatikuG2u kojoj su desne strane produkcija napisane obrnuto od produkcija u gramatici G1 • Iz gramatike G2konstruirati gramatiku G3u kojoj su sve produkcije oblika AbC ili A • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 • Konstruirati NKA M2koji prihvaća nizove koji su obrnuto napisani od onih koje prihvaća NKA M1

  11. Zadatak br. 14 • Konstruirati gramatikuG2u kojoj su desne strane produkcije napisane obrnuto od produkcija u gramatici G1 G1 = (V, T, P1, S) G2 = (V, T, P2, S)

  12. Zadatak br. 14 • Iz gramatike G2konstruirati gramatiku G3u kojoj su sve produkcije oblika AbC ili A ScA AbB BA G2 = (V2, T, P2, S) SbaA Abac Bac SaB AbS BabaA • Riješe se desne strane produkcija koje ne završavaju nezavršnim znakom • Dodajemo [] na kraj desnih strana, te produkciju []   • Riješe se jedinične produkcije • Riješe se desne strane produkcija s više od dva znaka ScA AbB BbB Bb[ac] BbS [] G3 = (V3, T, P3, S) Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS

  13. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  14. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  15. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  16. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  17. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  18. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  19. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  20. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  21. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  22. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  23. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  24. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  25. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  26. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  27. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  28. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  29. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  30. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  31. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  32. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  33. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  34. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  35. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  36. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  37. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  38. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  39. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  40. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  41. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  42. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  43. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  44. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  45. ScA AbB BbB Bb[ac] BbS [] Sb[aA] [aA]aA Ab[ac] [ac]a[c] [c]c[] Ba[c] SaB Ba[baA] [baA]b[aA] AbS Zadatak br. 14 • Konstruirati NKA M1 koji prihvaća nizove koje generira gramatika G3 G3 = (V3, T, P3, S) NKAM1 = (Q, S, d1, q01, F1) • Q=V, =T, q0=S • AbC (A,b)=C • A  AF

  46. Zadatak br. 14 • Konstruirati NKA M2 koji prihvaća nizove koji su obrnuto napisani od onih koje prihvaća NKA M1 NKAM1 = (Q, S, d1, q01, F1) NKAM2 = (Q, S, d2, q02, F2) • (A,b)=C (C,b)=A • q02= F1 • F2 = q01

  47. Zadatak br. 15 • Zadanu gramatiku G pretvoriti u lijevo-linearnu gramatiku. Desno-linearna gramatika (DLG)  generira niz slijeva na desno, odnosno od početka prema kraju S u1A1 u1u2A2  ... u1u2...unAn u1u2...unun+1 Lijevo-linearna gramatika (LLG)  generira niz zdesna na lijevo, odnosno od kraja prema početku S B1v1 B2v2v1 ... Bnvn...v2v1 vn+1vn...v2v1

  48. Zadatak br. 15 • Zadanu gramatiku G pretvoriti u lijevo-linearnu gramatiku. Gramatika G desno-linearna gramatika Zadatak konstruirati gramatiku koja generira nizove obrnutim smjerom 1. korak: U skup nezavršnih znakova LLG dodaje se novi nezavršni znak F koji započinje generiranje niza od kraja prema početku. LLG=(VLLG,TLLG,PLLG,F) VLLG= VDLG {F} = {S,A,B,F} TLLG = TDLG F je početni nezavršni znak u LLG

  49. Zadatak br. 15 • Zadanu gramatiku G pretvoriti u lijevo-linearnu gramatiku. 2. korak: Dodaju se prijelazi iz znaka F u sve nezavršne znakove koji na desnoj strani imaju isključivo završne znakove ili -produkcije: za A FA AV za A a1a2...an FA a1a2...an AV, aiT FS FAy FBx

  50. Zadatak br. 15 • Zadanu gramatiku G pretvoriti u lijevo-linearnu gramatiku. 3. korak: U svim ostalim produkcijama okrene se redosljed generiranja međunizova tako da produkcije generiraju nizove od kraja prema početku: za AB  BA A,BV za Aa1a2...anB  BA a1a2...an A,BV, aiT FS FAy FBx SBx SA ASxy BS BSyx

More Related