Γλώσσες Προγραμματισμού Μεταγλωττιστές

Transcript

1 Γλώσσες Προγραμματισμού Μεταγλωττιστές Επαναληπτικό Μάθημα Πανεπιστήμιο Μακεδονίας Τμήμα Εφαρμοσμένης Πληροφορικής Ηλίας Σακελλαρίου

2 Γλώσσες Προγραμματισμού Γλώσσα προγραμματισμού: Συμβολική περιγραφή υπολογισμών (computations). Προδιαγραφή, οργάνωση και συλλογιστική υπολογισμών. Πρόγραμμα = συμβολική περιγραφή ενός υπολογισμού σε κάποια γλώσσα. Μια γλώσσα προγραμματισμού έχει σαν στόχο να επιτρέπει την εύκολη περιγραφή των υπολογισμών, να εκμεταλλεύεται αποδοτικά την υπολογιστική ισχύ των μηχανών. Ευκολία προέχει της απόδοσης!

3 Φάσεις Μεταγλώττισης Αρχικό Πρόγραμμα Λεκτική Ανάλυση λεκτικές μονάδες Πίνακας Συμβόλων Τελικό Πρόγραμμα Συντακτική Ανάλυση συντακτικό δένδρο Σημασιολογική Ανάλυση συντακτικό δένδρο Παραγωγή Ενδιάμεσου Κώδικα ενδιάμεσος κώδικας Βελτιστοποίηση Ενδιάμεσου Κώδικα ενδιάμεσος κώδικας Παραγωγή Τελικού Κώδικα τελικός κώδικας Βελτιστοποίηση Τελικού Κώδικα Χειριστής Σφαλμάτων

4 Λεκτική Ανάλυση Αποδοχή μιας συμβολοσειράς χαρακτήρων που αποτελούν το αρχικό πρόγραμμα και εξαγωγή των λεκτικών μονάδων (tokens). Οι λεκτικές μονάδες χρησιμοποιούνται σαν είσοδος στην φάση της συντακτικής ανάλυσης. Αποτελούν τερματικά σύμβολα της γλώσσας. Υλοποιείται από τον λεκτικό αναλυτή (lexical analyser, scanner). Αποθήκευση λεκτικών μονάδων στον πίνακα συμβόλων. Ανίχνευση σφαλμάτων Διαγραφή σχολίων, διαστημάτων, κενών γραμμών.

5 Γραμματικές Πώς θα γίνει η περιγραφή των λεκτικών μονάδων και (αργότερα) της σύνταξης μιας γλώσσας; Γραμματικές: Σύστημα παραγωγής συμβολοσειρών G, που αποτελείται από μια τετράδα (T,N,P,S) T τερματικά σύμβολα (terminals) που αποτελούν το αλφάβητο της γλώσσας. N μη-τερματικά σύμβολα (non-terminals) P κανόνες παραγωγής (production rules) της μορφής α β, όπου α και β (Τ Ν)* S αρχικό σύνολο, το οποίο είναι στοιχείο το Ν (start symbol)

6 Ιεραρχία Chomsky Γραμματικές τύπου 0. Γραμματικές τύπου 1 (γραμματικές με συμφραζόμενα context sensitive grammars) Γραμματικές τύπου 2 (γραμματικές χωρίς συμφραζόμενα context free grammars) Γραμματικές τύπου 3 (κανονικές γραμματικές regular grammars)

7 Γραμματικές για Μεταγλωττιστές Γραμματικές τύπου 2 (γραμματικές χωρίς συμφραζόμενα context free grammars) Οι κανόνες παραγωγής έχουν μορφή α β, όπου η συμβολοσειρά α αποτελείται από ένα μη-τερματικό σύμβολο και η β είναι συμβολοσειρά. Γραμματικές τύπου 3 (κανονικές γραμματικές regular grammars) Οι κανόνες παραγωγής έχουν την μορφή Α aβ Α a Α ε A,B μη τερματικά και a τερματικό.

8 Αντιστοιχία Μοντέλων Γεννητικά Μοντέλα Γραμματικές τύπου 0. Γραμματικές με συμφραζόμενα Γραμματικές χωρίς συμφραζόμενα Κανονικές γραμματικές Αναγνωριστικά Μοντέλα Μηχανή Turing Γραμμικά Περιορισμένη Μηχανή Turing Αυτόματα Στοίβας Πεπερασμένα Αυτόματα.

9 Κανονικές Εκφράσεις Χρησιμοποιούνται για την περιγραφή κανονικών γλωσσών. Κομψότερος και λακωνικότερος φορμαλισμός. Αντιστοιχία μεταξύ κανονικών εκφράσεων και κανονικής γραμματικής και πεπερασμένων αυτομάτων. Χρήση από εργαλεία κατασκευής λεκτικών αναλυτών.

10 Κανονικές Εκφράσεις Έστω ένα αλφάβητο Σ, μια κανονική έκφραση (KE) r ορίζει μια γλώσσα L(r) πάνω στο Σ. Αναδρομικός ορισμός Κανονική έκφραση είναι H κενή συμβολοσειρά Κάθε σύμβολο a του Σ L(ε)={ε} L(a) = {a} Η διάζευξη r s L(r s) = L(r) L(s) H παράθεση rs L(rs)=L(r)L(s) Το κλείσιμο Kleene r* L(r*)=L(r)* όπου τα r και s είναι κανονικές εκφράσεις.

11 Επέκταση Κανονικών Εκφράσεων Θετικό κλείσιμο Kleene r+ = rr* Έκφραση εμφανίζεται μία η περισσότερες φορές Μηδέν ή μια εμφανίσεις της r r? = r ε Κλάσεις χαρακτήρων [a,b,c]=a b c Διαστήματα χαρακτήρων [a-z]=a b... z Ειδικό σύμβολο για οποιονδήποτε χαρακτήρα Συνήθως είναι η τελεία Ειδικοί χαρακτήρες παριστάνονται με το σύμβολο \ να προηγείται. \) \( \[

12 Άσκηση Περιγράψτε με κανονική έκφραση συμβολοσειρές που ξεκινούν με το πρόθεμα "func" ή "endfunc" ακολουθούμενο το σύμβολο "-"και από ένα ή περισσότερα γράμματα πχ. func-double, func-computestring, func-a, endfunc-a Απάντηση: (func endfunc)-([a-za-z])+

13 Πεπερασμένα Αυτόματα Αφηρημένες μηχανές που μπορούν να χρησιμοποιηθούν σαν αναγνωριστές σε κανονικές γλώσσες. Ντετερμινιστικά Πεπερασμένα Αυτόματα (ΝΠΑ) Μη-Ντετερμινιστικά Πεπερασμένα Αυτόματα (ΜΠΑ) Μη-Ντετερμινιστικά Πεπερασμένα Αυτόματα με μηδενικές Μεταβάσεις (ΜΠΑ-ε) Όλα τα παραπάνω είναι ισοδύναμα από πλευράς υπολογιστικής ικανότητας.

14 Διαγραμματική Αναπαράσταση (Γράφος Μετάβασης) Συμβολοσειρές που αναγνωρίζει; abb, aabb aaaabbbbb Κανονική Έκφραση a+b+ aa*bb* a 0 1 a b 3 b b a 2 a b

15 Παράδειγμα ΜΠΑ (i) Τι αναγνωρίζει το ακόλουθο αυτόματο; abb abababb ababbaabbabaabb a a b b 3 b

16 Παράδειγμα ΜΠΑ-ε (aa bb)(a b)*b ε a 1 2 a 3 ε a 0 4 b 8 ε b 5 6 b 7 ε b

17 Άσκηση Έστω συμβολοσειρές που αποτελούνται από 0 και 1, όπου κάθε 0 έχει πριν και μετά τουλάχιστον ένα 1. πχ ενώ απορρίπτονται οι 110, 00 και Να δοθεί το αντίστοιχο ντετερμινιστικό πεπερασμένο αυτόματο Η αντίστοιχη κανονική γραμματική Η κανονική έκφραση

18 Απάντηση: ΝΠΑ Α Β Γ 1

19 Απάντηση: Γραμματική και Κανονική Έκφραση Γραμματική S::=1D D::=ε D::=1D D::=01D Κανονική έκφραση 1(1 01)*

20 Άσκηση Έστω συμβολοσειρές με μήκος τουλάχιστον 2 που περιέχουν τουλάχιστον ένα 1, οι οποίες όταν ξεκινούν από 1 τότε η υπόλοιπη συμβολοσειρά πρέπει να έχει άρτιο αριθμό 1, ενώ όταν ξεκινούν από 0 η υπόλοιπη συμβολοσειρά πρέπει να έχει περιττό αριθμό 1, πχ 1011, και 01, 0111, Να δοθεί το αντίστοιχο ντετερμινιστικό πεπερασμένο αυτόματο.

21 Απάντηση 0 1 Β 1 Α 0 C 1 D 0 0 1

22 Γραμματική και Κανονική Έκφραση Κανονική έκφραση: (0 10*1)0*1(0 10*1)* Γραμματική: S::=1B S::=0C B::=0B B::=1C C::=0C C::=1D D::=ε D::=1C D::=0D

23 Αναγωγή Κανονικής Γραμματικής σε ΜΠΑ-ε Έστω μια γραμματική G=(T,N,P,S). Το αντίστοιχο ΜΠΑ-ε (Σ,Q,δ,F) θα έχει: Σ = Τ, το αλφάβητο του ΜΠΑ-ε είναι το αλφάβητο της γραμματικής Q = Ν {q f }, οι καταστάσεις του ΜΠΑ-ε είναι τα μητερματικά σύμβολα της γραμματικής, επαυξημένα με μια ακόμη κατάσταση που είναι η τελική. Για κάθε κανόνα Α aβ δ(α,a)=b Α a δ(α,a)=q f A ε δ(α,ε)=q f F = {q f }, τελική κατάσταση του αυτομάτου.

24 Παράδειγμα Αναγωγής σε ΜΠΑ-ε Έστω η γραμματική Τ = {a,b} N = {I,S,U} P = {I as, S bu U ε S as, S bs U b} S = I Ι a S a b b U b ε q f

25 Αναγωγή ΚΕ σε ΜΠΑ-ε Η αναγωγή γίνεται αναδρομικά με κατάλληλη σύνθεση των ΜΠΑ-ε που αντιστοιχούν σε υποεκφράσεις της αρχικής. Στα επόμενα το Μ(r) είναι το ΜΠΑ-ε που αντιστοιχεί στην έκφραση r.

26 Αναγωγές (i) Κενή συμβολοσειρά ε παράγεται από το αυτόματο Μ(ε): ε q f Κανονική έκφραση που περιέχει ένα σύμβολο a του αλφαβήτου, από το αυτόματο Μ(a): t a q f

27 Αναγωγές (ii) Συμβολοσειρά rs, όπου κάθε υποέκφραση παράγεται από τα αυτόματα Μ(r) και Μ(s) αντίστοιχα, παράγεται από το αυτόματο Μ(rs): M(r) ε M(s) t 1 q f1 t 2 q f2 M(r) M(s) t 1 t 2 q f2

28 Αναγωγές (iii) Συμβολοσειρά r s, όπου κάθε υποέκφραση παράγεται από τα αυτόματα Μ(r) και Μ(s) αντίστοιχα, παράγεται από το αυτόματο Μ(r s): ε M(r) ε t 1 q f1 t q f M(s) ε t 2 q f2 ε

29 Αναγωγές (iv) Συμβολοσειρά r*, όπου κάθε υποέκφραση παράγεται από τα αυτόματα Μ(r) και Μ(s) αντίστοιχα, παράγεται από το αυτόματο Μ(r*): ε t ε M(r) t 1 q f1 q f ε

30 Παράδειγμα Κανονική Έκφραση: (a b)a(aa bb)* ε ε a ε ε a a ε a ε b ε ε b b ε ε

31 Συντακτική Ανάλυση

32 Συντακτικοί Αναλυτές (parsers) Οι ΣΑ που χρησιμοποιούνται στην πράξη αφορούν ένα υποσύνολο των γραμματικών χωρίς συμφραζόμενα. Επιβολή περιορισμών λόγω αποδοτικότητας. Ακόμα και με περιορισμούς εν λόγω γραμματικές καλύπτουν τις ανάγκες των περισσοτέρων γλωσσών προγραμματισμού. Οι από πάνω προς τα κάτω ΣΑ (top-down parers), ευκολότεροι στην κατασκευή και προγραμματίζονται χειρωνακτικά. Οι από κάτω προς τα πάνω (bottom-up parsers), καλύπτουν μια μεγαλύτερη κλάση γλωσσών και κατασκευάζονται συνήθως από αυτοματοποιημένα εργαλεία.

33 Παραγωγές στις Γραμματικές χωρίς Συμφραζόμενα (ΓΧΣ) Παραγωγή: Αντικατάσταση υποσυμβολοσειράς που ταιριάζει με αριστερό μέλος, με το αντίστοιχο δεξιό μέλος του κανόνα παραγωγής. Στις ΓΧΣ κάθε φορά αντικαθίσταται οποιοδήποτε μη-τερματικό σύμβολο που περιέχεται στην συμβολοσειρά. Αριστερότερη παραγωγή: αντικατάσταση πάντα του αριστερότερου μη-τερματικού συμβόλου Δεξιότερη παραγωγή: αντικατάσταση του δεξιότερου μη-τερματικού συμβόλου.

34 Συντακτικό Δένδρο (syntax tree) Τρόπος αναπαράστασης μιας παραγωγής. Το αρχικό μη-τερματικό σύμβολο τοποθετείται στη ρίζα του δένδρου. Κάθε "ενδιάμεσος" κόμβος του δένδρου αναπαριστά ένα μη-τερματικό σύμβολο. Κάθε φύλλο του δένδρου αναπαριστά ένα τερματικό σύμβολο. Οι ακμές από ένα "ενδιάμεσο" κόμβο στους απογόνους του αναπαριστούν την αντικατάσταση του μη-τερματικού συμβόλου βάση ενός κανόνα παραγωγής της γραμματικής.

35 Παράδειγμα (II.1) P={ Stmt if ( Expr ) then Stmt Stmt while ( Expr ) Stmt Stmt id := id ; Stmt id := num ; Stmt begin StmtList end StmtList Stmt StmtList Stmt SmtList Expr id Op id Expr id Op num Op > Op < } if ( Expr ) Stmt then if (id > id) then id := id ; Stmt id Op id id id := ; >

36 'Ασκηση Έστω η γραμματική και η συμβολοσειρά αα +αα** S::= SS+ SS* a Δώστε την αριστερότερη παραγωγή της συμβολοσειράς. Δώστε την δεξιότερη παραγωγή της συμβολοσειράς Δώστε το συντακτικό δένδρο της συμβολοσειράς για την συγκεκριμένη γραμματική. Απάντηση S=>SS*=>SS+S*=>aS+S*=>aa+S*=> aa+ss**=>aa+as**=>aa+aa** S=>SS*=>SSS**=>SSa**=>Saa**=> SS+aa**=>Sa+aa**=>aa+aa**

37 Συντακτικό Δένδρο S S S * S S + S S * a a a a

38 Διφορούμενες Γραμματικές Όταν μια συμβολοσειρά μπορεί να αντιστοιχεί σε δύο συντακτικά δένδρα για μια γραμματική τότε η γραμματική ονομάζεται διφορούμενη. Για παράδειγμα: E::=E"+"E E"-"E Ε"*"Ε Ε"/"Ε D D::="1" "2" "3""... "9" "0" Ε Ε Συμβολοσειρά: Ε Ε + E D 1 D 2 + E D 3 E D 1 + Ε Ε + E D 2 D 3

39 Άσκηση Η παρακάτω γραμματική είναι διφορούμενη? Δώστε ένα παράδειγμα (δηλαδή μια συμβολοσειρά που αντιστοιχεί σε δύο συντακτικά δένδρα) που να αποδεικνύει το ισχυρισμό σας. S::="a" S "b" B::="a" B B::=B "b" B::=ε

40 Απάντηση Ναι γιατί για παράδειγμα η συμβολοσειρά aabb έχει δύο συντακτικά δένδρα. S S a B b a B b a B B b B b a B ε ε

41 Τελεστές και Γραμματικές Πώς μπορεί να εκφραστεί η προτεραιότητα και προσεταιριστικότητα μέσω μιας μηδιφορούμενης γραμματικής; Προτεραιότητα: Για κάθε ομάδα τελεστών ίσης προτεραιότητας, δημιουργούμε ένα μη-τερματικό σύμβολο. Προσεταιριστικότητα: Για κάθε τελεστή ορίζεται κατάλληλα ο αντίστοιχος κανόνας παραγωγής.

42 Προσεταιριστικότητα Αριστερά προσεταιριστικός τελεστής List ::= List "," Letter Letter Letter ::= "a" "b"... "z" Συμβολοσειρά a,b,c Δεξιά προσεταιριστικός τελεστής Αssg ::= Letter "="Assg Letter Letter ::= "a" "b"... "z" Συμβολοσειρά a = b = c List List, Letter List, Letter c Letter b a Assg Letter = Assg a Letter = Assg b Letter c

43 Παράδειγμα (i) Γραμματική: E::=E"+"E E"-"E Ε"*"Ε Ε"/"Ε D D::="1" "2" "3""... "9" "0" Δύο κατηγορίες τελεστών ως προς την προτεραιότητα: αριστερά προσεταιριστικοί "+", "-" δημιουργία μη-τερματικού E αριστερά προσεταιριστικοί "*", "/" δημιουργία μη-τερματικού T. το σύμβολο D παραμένει για να δηλώσει τις βασικές μονάδες.

44 Παράδειγμα (ii) Αρ. προσεταιριστικοί "+", "-" (συμβ. Ε) Αρ. προσεταιριστικοί "*", "/" (συμβ. Τ) το σύμβολο D E::=E"+"T E"-"T T T::=T"*"D T"/"D D D::="1" "2"... "9" "0" Ε Συμβολοσειρά 4-3+5*8 Ε Ε - T + Τ Τ * D T D D 8 D 3 5 4

45 Απαλοιφή Αριστερής Αναδρομής Αριστερά αναδρομικός κανόνας με: Άμεση αναδρομή Α::= Αβ Έμμεση αναδρομή Α::=αβ, όπου σε μία ή περισσότερες παραγωγές η συμβολοσειρά α παράγει την Αγ. Γενικότερα Α α και α Αβ Η αριστερή αναδρομή είναι ανεπιθύμητη στην περίπτωση της από-πάνω προς τα κάτω ανάλυσης (top-down). Γιατί;

46 Μέθοδος Απαλοιφής Έστω ο κανόνας Α::=Αα 1 Αα 2... Αα n β 1... β m Ο μετασχηματισμός περιλαμβάνει την εισαγωγή ενός νέου τερματικού Α' και την μεταγραφή του κανόνα στους ακόλουθους: Α::=β 1 Α'... β m Α' Α'::=α 1 Α' α 2 Α'... α n Α' ε Παράδειγμα: E::=E "+"T E "-" T T Α::=Α α 1 Α α 2 β 1 Α::=β 1 Α' γίνεται Ε::=ΤΕ' Α'::=α 1 Α' α 2 Α' ε γίνεται Ε'::="+"ΤΕ' "-"ΤΕ' ε

47 Αντικατάσταση Οι μετασχηματισμοί για τις έμμεσες αναδρομές περιλαμβάνουν αντικαταστάσεις, έτσι ώστε οι νέοι κανόνες που θα προκύψουν να είναι άμεσα αναδρομικοί, όπου και εφαρμόζεται η προηγούμενη μέθοδος. Αντικατάσταση είναι ο μετασχηματισμός στον οποίο αντικαθιστούμε ένα μη-τερματικό σύμβολο Β στο δεξιό μέλος ενός κανόνα Α με όλα τα εναλλακτικά δεξιά μέλη κανόνων που αφορούν το Β. Α::=α 1 Βα 2 Α::=α 1 β 1 α 2 α 1 β 2 α 2... α 1 β n α 2 Β::=β 1 β 2... β n Β::=β 1 β 2... β n

48 Αριστερή Παραγοντοποίηση Για την αποδοτική υλοποίηση των συντακτικών αναλυτών δεν πρέπει δύο εναλλακτικοί κανόνες για ένα μη-τερματικό να ξεκινούν με το ίδιο πρόθεμα. Δηλαδή: Α::=αβ 1 αβ 2... αβ n γ 1 γ 2... γ n Η γραμματική με αριστερή παραγοντοποίηση μετατρέπεται στην: Α::=αΒ γ 1 γ 2... γ n Β::=β 1 β 2... β n

49 Άσκηση Εφαρμόστε αριστερή παραγοντοποίηση και τις απαραίτητες αντικαταστάσεις στην ακόλουθη γραμματική: S::=aBc adec C g B::=de C::=adefB Απάντηση: Με αντικατάσταση της Β και της C το πρώτο σύνολο κανόνων γίνεται: S::=adec adeadefb adefb g και με παραγοντοποίηση: S::=adeS' g S'::=c adefb fb

50 Συναρτήσεις FIRST και FOLLOW Οι δύο συναρτήσεις ορίζονται για τα σύμβολα μιας γραμματικής και αφορούν την κατασκευή συντακτικών αναλυτών και των δύο τύπων. Έστω μια γραμματική G={T,N,P,S} Η συνάρτηση FIRST(α) ορίζεται για κάθε συμβολοσειρά α (Τ Ν)* και ισούται με το σύνολο των τερματικών συμβόλων με τα οποία μπορεί να ξεκινά μια συμβολοσειρά η οποία παράγεται από την α. Η συνάρτηση FOLLOW(A), όπου Α Ν, είναι το σύνολο των τερματικών συμβόλων που μπορεί να ακολουθούν την Α σε ένα προτασιακό τύπο.

51 Υπολογισμός Συνάρτησης FIRST (i) Για κάθε σύμβολο Χ της γραμματικής G, ισχύουν οι ακόλουθοι κανόνες υπολογισμού: Αν Χ τερματικό τότε FIRST(X) ={X} Αν Χ Ν και υπάρχει κανόνας Χ ε, τότε FIRST(X)=FIRST(X) {ε} Αν Χ Ν, και για κάθε κανόνα Χ Α 1,Α 2...Α n, τότε FIRST(X) = FIRST(X) (FIRST(A i ) -{ε}), για κάθε i, τέτοιο ώστε j 0<j<i ε FIRST(A j ). Εάν j 0<j n ε FIRST(A j ), τότε FIRST(X)=FIRST(X) {ε} Οι κανόνες εφαρμόζονται μέχρι να μην μπορούν να μεταβληθούν τα σύνολα FIRST.

52 Υπολογισμός Συνάρτησης FIRST (ii) Για κάθε συμβολοσειρά Χ 1,Χ 2,...,Χ n FIRST(Χ 1,...,Χ n ) = FIRST(X 1 ) {ε} Για κάθε i 1<i n, εάν j 0<j<i ε FIRST(X j ) τότε FIRST(Χ 1,...,Χ n )=FIRST(Χ 1,...,Χ n ) (FIRST(X i )- {ε}) Εάν για κάθε 0<i n, ε FIRST(X i ), τότε FIRST(Χ 1,...,Χ n ) = FIRST(Χ 1,...,Χ n ) {ε}

53 Συνάρτηση FOLLOW Δεδομένης μιας γραμματικής G={T,N,P,S}, και A Ν, τότε η συνάρτηση FOLLOW(A) Τ {EOF}, ορίζεται ως: Αν υπάρχει παραγωγή S * αaaβ, όπου α,β (Τ Ν)* και a είναι τερματικό σύμβολο, τότε a FOLLOW(Α). Αν υπάρχει παραγωγή S * αa, όπου α (Τ Ν)* τότε EOF FOLLOW(Α).

54 Υπολογισμός της συνάρτησης FOLLOW FOLLOW(S)={EOF} Για κάθε κανόνα της μορφής Α αββ, όπου Α και Β Ν και α,β (Τ Ν)*, FOLLOW(B)=FOLLOW(B) (FIRST(β)-{ε}) Εάν ε FIRST(β) τοτε FOLLOW(B)=FOLLOW(B) FOLLOW(Α) Το παραπάνω εκτελείται μέχρι τα σύνολα FOLLOW να μην μεταβάλλονται.

55 Συντακτική Ανάλυση από Πάνω προς τα Κάτω Η συντακτική ανάλυση ξεκινά από το αρχικό σύμβολο της γραμματικής (ρίζα του συντακτικού δένδρου) και αντικαθιστά αυτό με τα σύμβολα από ένα κανόνα παραγωγής. Η διαδικασία συνεχίζεται με τους επόμενους κόμβους μέχρι όλα τα φύλλα του δένδρου να είναι τερματικά σύμβολα της γραμματικής. Με ποια σειρά θα εξεταστούν οι κόμβοι παιδιά ενός κόμβου; Ποιος από τους πιθανούς εναλλακτικούς κανόνες θα χρησιμοποιηθεί για την αντικατάσταση του μη-τερματικού συμβόλου;

56 LL(1) Γραμματικές LL(1) γραμματική: Αναγνώσιμη από ένα LL(1) ΣΑ (αναδρομικής κατάβασης ή ΑΣ). Υποσύνολο των γραμματικών χωρίς συμφραζόμενα, αρκετά πλούσιο όμως για να περιγράψει τις περισσότερες γλώσσες. Προϋποθέσεις: Για κάθε ζεύγος κανόνων παραγωγής Α α και Α β πρέπει να ισχύει FIRST(α) FIRST(β) =. Αν το ε ανήκει στο FIRST(A) (για παράδειγμα υπάρχει κανόνας Α ε) πρέπει να ισχύει FIRST(Α) FOLLOW(Α) =.

57 LL(1) Γραμματικές Αποκλείονται οι γραμματικές: Αριστερά αναδρομικές Έχουν δύο εναλλακτικούς κανόνες με δεξιά μέλη που ξεκινούν με το ίδιο σύμβολο. Έχουν δύο εναλλακτικούς κανόνες τα δεξιά μέλη των οποίων παράγουν την κενή συμβολοσειρά. Πως επιτυγχάνεται το παραπάνω; Απαλοιφή αριστερής αναδρομής Αντικατάσταση Αριστερή παραγοντοποίηση

58 Άσκηση Είναι η ακόλουθη γραμματική LL; Αν όχι κάντε τους απαραίτητους μετασχηματισμούς ώστε να γίνει LL. S::= SS+ SS* a Απάντηση: Όχι η γραμματική δεν είναι LL, καθώς είναι αριστερά αναδρομική.

59 Απάντηση Οι μετασχηματισμοί που πρέπει να γίνουν είναι οι ακόλουθοι. (παραγοντοποίηση) S::=SSB a B::=+ * (απαλοιφή αριστερής αναδρομής) S::=aC C::=SBC ε B::=+ * Εναλλακτικά θα μπορούσαν οι μετασχηματισμοί να γίνουν με διαφορετική σειρά.

60 Υπολογισμός FIRST FIRST(S)={a} FIRST(B)={+,*} FIRST(C)={ε + FIRST(S)}={ε,a} S::=aC C::=SBC ε B::=+ * FOLLOW(S)={EOF,+FIRST(B)}={EOF,+,*} FOLLOW(C)=FOLLOW(S)={EOF,+,*} FOLLOW(B)={(FIRST(C)-ε))+FOLLOW(C)}={a +FOLLOW(S)}={a,EOF,+,*}

61 ΣΑ Αναδρομικής Κατάβασης Recursive Descent ΣΑ από πάνω προς τα κάτω, εύκολα κατασκευάσιμος χειρωνακτικά. Σε κάθε μη-τερματικό σύμβολο, αντιστοιχίζεται μια ρουτίνα η οποία το αναγνωρίζει. Αποφυγή οπισθοδρόμησης: Χρήση της συνάρτησης FIRST για την επιλογή της κατάλληλης ρουτίνας για την αναγνώριση, εξετάζοντας την επόμενη λεκτική μονάδα (lookahead).

62 ΣΑ Αναδρομικής Κατάβασης (ii) Έστω Α::=α 1 α 2... α n και η επόμενη λεκτική μονάδα είναι η token. O κώδικας για την αναγνώριση της Α είναι: if token FIRST(α 1 ) then <κώδικας για την α 1 >... elseif token FIRST(α n ) then <κώδικας για την α n > elseif ε FIRST(α 1 )... FIRST(α n ) then <συντακτικό σφάλμα> elseif token FOLLOW(A) then <συντακτικό σφάλμα>

63 Χειροκίνητη Κατασκευή Συντακτικού Αναλυτή FIRST(S)={a} FIRST(B)={+,*} FIRST(C)={ε,a} FOLLOW(S)={EOF,+,*} FOLLOW(C)={EOF,+,*} FOLLOW(B)={a,EOF,+,*} S::=aC FIRST(aC)={a} C::=SBC ε FIRST(SBC)={a} FIRST(ε) = {ε} B::=+ * FIRST(+)={+} FIRST(-)={-} void S() {if token=a match(a);call C; else error;} void B() {if token = + match(+) elseif token=* match(*); else error} void C(){if token = a call S; call B; call C; elseif token not_in {EOF,+,*} error;}

64 ΣΑ LL(1) Αυτομάτου Στοίβας a 1 a 2... a m EOF x n... x 2 Πίνακας Συντακτικής Ανάλυσης LL(1) x 1

65 Κατασκευή Πίνακα Συντακτικής Ανάλυσης Για κάθε κανόνα παραγωγής Α β: Για κάθε τερματικό σύμβολο a a FIRST(β), πρόσθεσε τον κανόνα Α β στη θέση M[A,a] Αν ε FIRST(β), τότε για κάθε τερματικό σύμβολο a FOLLOW(Α), πρόσθεσε τον κανόνα Α β στην θέση Μ[Α,a]. Αν ε FIRST(β) και EOF FOLLOW(Α) τότε πρόσθεσε τον κανόνα Α β στην θέση Μ[Α,EOF] Όσες θέσεις του πίνακα μένουν κενές συμπληρώνονται με την ένδειξη error (ή απλώς υπονοείται).

66 Πίνακας LL FIRST(S)={a} FIRST(B)={+,*} FIRST(C)={ε,a} FOLLOW(S)={EOF,+,*} FOLLOW(C)={EOF,+,*} FOLLOW(B)={a,EOF,+,*} S::=aC FIRST(aC)={a} C::=SBC ε FIRST(SBC)={a} FIRST(ε) = {ε} B::=+ * FIRST(+)={+} FIRST(-)={-} * + a EOF B * + C ε ε SBC ε S ac

67 Λειτουργία ΣΑ LL(1) Συμπίπτει με την λειτουργία του ΑΣ. Μέχρι η στοίβα να είναι κενή: Αν στην κορυφή της στοίβας βρίσκεται το τερματικό σύμβολο a το οποίο συμπίπτει με το επόμενο σύμβολο της συμβολοσειράς εισόδου, τότε το a αφαιρείται από τη στοίβα και το αυτόματο προχωρά στο επόμενο σύμβολο. Αν στην κορυφή της στοίβας είναι το μη-τερματικό Α, και το επόμενο σύμβολο της συμβολοσειράς εισόδου τότε είναι το a, και υπάρχει κανόνας Α β στο Μ[Α,a], τότε το Α αφαιρείται από τη στοίβα και τοποθετούνται τα σύμβολα του β στη στοίβα. Αλλιώς σφάλμα.

68 Συντακτική Ανάλυση από Κάτω προς τα Πάνω Bottom-up Syntax Analysis Δημιουργία δένδρου: Κατασκευή αριστερότερου κόμβου, του οποίου όλοι οι κόμβοι παιδιά (απόγονοι) έχουν ήδη κατασκευαστεί. Η κατασκευή του δένδρου τερματίζει όταν κατασκευαστεί το τερματικό σύμβολο της γραμματικής (ρίζα). Πρόβλημα: Ποιοι ήδη δημιουργημένοι κόμβοι θα χρησιμοποιηθούν ως παιδιά για την κατασκευή του νέου κόμβου;

69 Παράδειγμα Έστω η ακόλουθη γραμματική και η συμβολοσειρά id * id. Ε ::= Ε "+" Τ Τ T ::= Τ "*" F F F ::= "id" "(" E ")" Η δημιουργία του δένδρου περιλαμβάνει T E T id * id F * id T * id T * F T * F T * F id F F id F id F id id id id id

70 ΣΑ Ολίσθησης Ελάττωσης (shift-reduce) Γενική κατηγορία ΣΑ από κάτω προς τα πάνω Χρησιμοποιούν στοίβα για να αποθηκεύουν τερματικά και μη-τερματικά σύμβολα. Ενέργειες ενός ΣΑ: Ολίσθηση (shift), όπου ένα σύμβολο εισόδου τοποθετείται στη στοίβα Ελάττωση (reduce), όπου ένα ή περισσότερα σύμβολα από την κορυφή της στοίβας αντικαθίστανται από ένα μη-τερματικό σύμβολο. Αποδοχή (accept), όταν η στοίβα περιέχει το αρχικό σύμβολο της γραμματικής Σφάλμα (error), όταν εμφανιστεί συντακτικό σφάλμα.

71 Αποφάσεις κατά την διάρκεια της Συντακτικής Ανάλυσης Ε ::= Ε "+" Τ Τ T ::= Τ "*" F F F ::= "id" "(" E ")" Στοίβα Είσοδος Ενέργεια $ id * id EOF shift $id *id EOF reduce F::=id $F *id EOF reduce T::=F $T *id EOF shift $T* id EOF shift $T*id EOF reduce F::=id $T*F EOF reduce T::=T*F $T EOF reduce E::=T $E EOF accept Ελάττωση με κανόνα Ε::=Τ ή ολίσθηση? Ελάττωση με τον κανόνα Τ::=Τ*F ή T::=F?

72 ΣΑ LR(1) Οι ΣΑ της κατηγορίας υλοποιούνται με αυτόματο στοίβας της μορφής: s n a 1 a 2... a m EOF x n... ΑΛΓΟΡΙΘΜΟΣ LR s 1 x 1 ΠΙΝΑΚΕΣ ΕΛΕΓΧΟΥ ΣΥΝΤΑΚΤΙΚΗΣ ΑΝΑΛΥΣΗΣ s 0 ACTION NEXT

73 Λειτουργία ΣΑ LR Αρχικά, η στοίβα περιέχει μόνο η αρχική κατάσταση. Έστω ότι στην κορυφή της στοίβας βρίσκεται η κατάσταση s και το σύμβολο εισόδου είναι a. Τότε αν το κελί του πίνακα action(s,a) περιέχει: πράξη ολίσθησης, τότε το a τοποθετείται στη στοίβα και μετά από αυτό η κατάσταση next(s,a). πράξη ελάττωσης, με ένα κανόνα της μορφής Α::=β, τότε αφαιρούνται από τη στοίβα β ζεύγη καταστάσεων-συμβόλων. Η επόμενη κατάσταση καθορίζεται από την ενέργεια s''=next(s',α) (πίνακας ΝΕΧΤ), όπου s' το στοιχείο στην κορυφή της στοίβας. Τοποθετείται στη στοίβα το Α και η κατάσταση s''. πράξη αποδοχής, τότε ο ΣΑ σταματά.

74 Παράδειγμα Πίνακα ΣΑ LR (1) Ε ::= Ε "+" Τ (2) Ε ::= Τ (3) T ::= Τ "*" F (4) T::=F (5) F::="(" E ")" (6) F ::= "id" STATE Action Goto (Next) id + * ( ) EOF E T F 0 s5 s s6 acc 2 r2 s7 r2 r2 3 r4 r4 r4 r4 4 s5 s r6 r6 r6 r6 6 s5 s s5 s s6 s11 9 r1 s7 r1 r1 10 r3 r3 r3 r3 11 r5 r5 r5 r5

75 Παράδειγμα ανάλυσης της id * id + id Στοίβα Είσοδος Ενέργεια 1 0 id*id+id EOF shift (s5) 2 0 id 5 *id+id EOF reduce by F ::= id (r6) 3 0 F 3 *id+id EOF reduce T ::= F (r4) 4 0 T 2 *id+id EOF shift (s7) 5 0 T 2 * 7 id+id EOF shift (s5) 6 0 T 2 * 7 id 5 +id EOF reduce by F ::= id (r6) 7 0 T 2 * 7 F 10 +id EOF reduce by T::=T*F (r3) 8 0 T 2 +id EOF reduce by E ::= T (r2) 9 0 E 1 +id EOF shift (s6) 10 0 E id EOF shift (s5) 11 0 E id 5 EOF reduce by F ::= id (r6) 12 0 E F 3 EOF reduce by T ::=F (r4) 13 0 E T 9 EOF reduce by E::=E+T (r1) 14 0 E 1 EOF accept

76 Κατασκευή Πίνακα SLR(1) Για την κατασκευή του αντίστοιχου πίνακα συντακτικής ανάλυσης απαιτείται ο ορισμός: της έννοιας του στοιχείου (item), της συνάρτησης CLOSURE(I) (κλεισίματος) ενός συνόλου στοιχείων, της συνάρτησης GOTO(I,X) ενός συνόλου στοιχείων και ενός συμβόλου της γραμματικής, η οποία επιστρέφει ένα σύνολο στοιχείων, ορισμός των καταστάσεων του αυτομάτου. Αλγόριθμος κατασκευής του πίνακα βάσει των παραπάνω.

77 Στοιχεία (Items) Στοιχείο είναι ένας κανόνας παραγωγής, στον οποίο έχει προστεθεί το σύμβολο " ". Για παράδειγμα στον κανόνα Α::= ΧΥΖ αντιστοιχούν τα ακόλουθα στοιχεία Α::= ΧΥΖ, Α::= Χ ΥΖ, Α::= ΧΥ Ζ Α::= ΧΥΖ Το σημείο " " σηματοδοτεί το σημείο της συμβολοσειράς που έχουμε ήδη δει, και το τι περιμένουμε να δούμε στη συνέχεια.

78 Συνάρτηση CLOSURE(I) Η συνάρτηση CLOSURE (κλείσιμο) ενός συνόλου στοιχείων Ι της γραμματικής δίνεται από: όλα τα στοιχεία του συνόλου Ι, για κάθε στοιχείο του Ι της μορφής Α::=α Ββ το οποίο ανήκει στο σύνολο CLOSURE(I) και για κάθε κανόνα της γραμματικής της μορφής Β::=γ, το στοιχείο Β::= γ ανήκει στο CLOSURE(I). Το παραπάνω βήμα εκτελείται μέχρι να μη ν μεταβάλλεται το CLOSURE(I).

79 Παράδειγμα Υπολογισμού CLOSURE(I) Έστω η (επαυξημένη) γραμματική: Ε' ::= Ε Ε ::= Ε "+" Τ Τ T ::= Τ "*" F F F ::= "id" "(" E ")" Εάν θεωρήσω το σύνολο I 0 = {E' ::= E} η συνάρτηση CLOSURE(I 0 ) είναι: CLOSURE(I 0 ) = {E'::= E; E::= E+T; E::= T; T ::= T * F; T ::= F; F ::= (E); F ::= id }

80 Συνάρτηση GOTO(Ι,Χ) Η συνάρτηση GOTO(I,X) απεικονίζει ένα σύνολο στοιχείων Ι και ένα σύμβολο της γραμματικής Χ (τερματικό ή μη) σε ένα σύνολο Ι' στοιχείων τέτοιων ώστε: GOTO(I,X) = CLOSURE(J) J = {A::=αX b A::=α Xb I} Παράδειγμα Υπολογισμού GOTO: I 1 ={E'::=E ; E::=E +T} GOTO(I 1,*) = {} GOTO(I 1,+)={E::=E+ T; T::= T*F;T::= F; F::= id; F::= (E) } Ε' ::= Ε Ε ::= Ε "+" Τ Τ T ::= Τ "*" F F F ::= "id" "(" E ")"

81 Καταστάσεις του Αυτομάτου Αρχικά το αυτόματο δεν έχει "διαβάσει" κανένα σύμβολο. Άρα η αρχική του κατάσταση είναι: Ε' ::= E Φυσικά, το Ι 0 =CLOSURE(E'::= E) CLOSURE(E'::= E) = {E'::= E; E::= E+T; E::= T; T ::= T * F; T ::= F; F ::= (E); F ::= id } Αν το αυτόματο διαβάσει ένα σύμβολο a τότε η κατάσταση του θα δίνεται από την I 1 =GOTO(I 0,a) Πχ. "ανάγνωση" σύμβολου id, άρα GOTO(I 0,id)={ F ::= id } = I 1

82 Κατασκευή Καταστάσεων Έστω μια γραμματική G=(T,N,P,S) και η επαυξημένη γραμματική: G'={T,N S',P (S'::=S),S'} Οι καταστάσεις Ι 0, Ι 1,...Ι n προκύπτουν από την ακόλουθη διαδικασία: I 0 = CLOSURE({S'::= S}) C = {I 0 } repeat forall Ι i C forall α (T N) if GOTO(Ι i,α) and GOTO(Ι i,α) C then I j = GOTO(Ι i,α) C = C { I j } until C unchaged

83 Κατασκευή Πίνακα SLR(1) ΣΑ για μια Γραμματική G 1) Δημιουργία των καταστάσεων των στοιχείων της G. 2) Για μια κατάσταση Ι i, αν υπάρχει στο Ι i κανόνας: i) Α::=α aβ και a είναι τερματικό σύμβολο και υπάρχει GOTO(Ι i,a)= Ι j τότε action(i,a)=shift j ii) Α::=α τότε για κάθε a στο FOLLOW(A) με Α S', τότε action(i,a)= reduce A::=α iii) S'::=S τότε action(i,eof) = accept 3) Για κάθε μη-τερματικό σύμβολο Α αν GOTO(Ι i,a)= Ι j τότε next(i,a)= j 4) Όλες οι άλλες θέσεις του πίνακα παίρνουν την τιμή error. 5) Η αρχική κατάσταση είναι η Ι 0 =CLOSURE({S'::= S})

84 Παράδειγμα Να υπολογιστεί ο SLR πίνακας συντακτικής ανάλυσης για την γραμματική S::=01 0S1 Επαυξημένη Γραμματική S'::=S S::=01 S::=0S1 FIRST(S)={0} FOLLOW(S)={1,EOF}

85 Υπολογισμός GOTO I 0 ={S'::= S,S::= 01, S::= 0S1} GOTO(I 0,0)={S::= 0 1, S::= 0 S1,S::= 01, S::= 0S1} = I 1 GOTO(I 0,1)={} <no state> GOTO(I 0,S)={S'::=S }=I 2 GOTO(I 1,0)={S::= 0 1, S::= 0 S1,S::= 01, S::= 0S1} = I 1 GOTO(I 1,1)={S::= 01 }=I 3 GOTO(I 1,S)={S::= 0S 1}=I 4 GOTO(I 4,1)={S::= 0S1 }=I 5 S'::=S (1) S::=01 (2) S::=0S1

86 Πίνακας SLR I 0 ={S'::= S,S::= 01, S::= 0S1} GOTO(I 0,0)={S::= 0 1, S::= 0 S1,S::= 01, S::= 0S1} = I 1 GOTO(I 0,S)={S'::=S }=I 2 GOTO(I 1,0)={S::= 0 1, S::= 0 S1,S::= 01, S::= 0S1} = I 1 GOTO(I 1,1)={S::= 01 }=I 3 GOTO(I 1,S)={S::= 0S 1}=I 4 GOTO(I 4,1)={S::= 0S1 }=I 5 S'::=S (1) S::=01 (2) S::=0S1 0 1 EOF S 0 s1 2 1 s1 s r1 acc r1 4 s5 5 r2 r2

87 Εξετάσεις Το σύγγραμα μοιράζεται από το Βιβλιοπωλείο ΑΝΙΚΟΥΛΑ (ισόγειο) Η ύλη είναι στο site του Μαθήματος. Ερωτήσεις γρ. 529 ή . Σύμφωνα με το πρόγραμμα οι εξετάσεις είναι: Παρασκευή 1 Φεβρουαρίου :00-17:00 Αιθ. 10 Καλή επιτυχία!