ΚΕΦΑΛΑΙΟ 6: Γλώσσες Προγραμματισμού

Transcript

1 ΚΕΦΑΛΑΙΟ 6: Γλώσσες Προγραμματισμού 6.1 Ιστορική εξέλιξη 6.2 Παραδοσιακές έννοιες προγραμματισμού 6.3 Διαδικασιακές μονάδες 6.4 Υλοποίηση γλώσσας 6.5 Αντικειμενοστρεφής προγραμματισμός 6.6 Προγραμματισμός ταυτόχρονων δραστηριοτήτων 6.7 Δηλωτικός προγραμματισμός Οι διαφάνειες βασίζονται σε μεγάλο βαθμό σε αυτές που συνοδεύονται με το προτεινόμενο σύγγραμμα, καθώς και στις διαφάνειες προηγούμενων ετών του κ. Κουρκουμπέτη. 1

2 Γλώσσες προγραμματισμού Γλώσσα Προγραμματισμού: Εργαλείο για αναπαράσταση των αλγορίθμων προσιτό στους ανθρώπους εύκολα μετατρέπεται σε γλώσσα μηχανής που είναι κατανοητή από τον Η/Υ 2

3 Πρώτη Γενιά: Γλώσσα Μηχανής Γλώσσα μηχανής: οι εντολές αναπαριστώνται με δυαδικό σύστημα Κάθε εντολή αναπαρίσταται ως μια ακολουθία από δυαδικά ψηφία Το πρόγραμμα ήταν μια σειρά από τέτοιες εντολές, π.χ. Εξαιρετικά δύσκολο το γράψιμο και η κατανόηση προγραμμάτων Συχνά σφάλματα Δύσκολη αποσφαλμάτωση (debugging) 3

4 Δεύτερη γενιά: γλώσσα assembly Ένα μνημονικό σύστημα για την αναπαράσταση προγραμμάτων Χρήση μνημονικών (mnemonic) ονομάτων για την αναπαράσταση εντολών. Ονόματα για όλους τους καταχωρητές. Τα αναγνωριστικά (identifiers) είναι περιγραφικά ονόματα για τις θέσεις μνήμης, τα οποία επιλέγονται από τον προγραμματιστή. Υπάρχει ακριβής 1-1 αντιστοιχία μεταξύ των εντολών της μηχανής και των εντολών assembly. Η μετάφραση από γλώσσα assembly σε γλώσσα μηχανής γίνεται από ένα πρόγραμμα που ονομάζεται assembler 4

5 Παράδειγμα γλώσσας assembly Γλώσσα μηχανής Γλώσσα assembly 156C 166D CE C000 LD R5, Price LD R6, ShippingCharge ADDI R0, R5 R6 ST R0, TotalCost HLT 5

6 Μειονεκτήματα της Assembly O προγραμματιστής πρέπει να σκέφτεται πάλι σε γλώσσα μηχανής (απλά αλλάζει η αναπαράσταση και η σύνταξη των εντολών) Η assembly είναι εγγενώς εξαρτημένη από τη μηχανή (οι εντολές ενός προγράμματος σε assembly εκφράζονται με ιδιότητες εγγενείς στην τεχνολογία της συγκεκριμένης μηχανής) Δύσκολη έως αδύνατη φορητότητα (portability) (μεταφορά του ίδιου προγράμματος ώστε να είναι σωστό σε μια άλλη μηχανή) Τα αρχέτυπα (εντολές) είναι χαμηλού επιπέδου (πολύ κοντά στο hardware) Δεν διευκολύνει στον γενικό σχεδιασμό ενός προγράμματος (γιατί αποτελείται από μικροεντολές που συνδέονται με πολύ μικρές λειτουργίες του Η/Υ) 6

7 Τρίτη γενιά γλωσσών Βασίζεται σε (σχετικά μικρό αριθμό από αρχέτυπα (primitives) υψηλού επιπέδου, π.χ. Ανεξάρτητες από τη μηχανή (τις περισσότερες φορές) Παραδείγματα: FORTRAN, COBOL Κάθε αρχέτυπο ανταποκρίνεται σε μία μικρή ακολουθία εντολών γλώσσας μηχανής. Μεταφράζεται σε γλώσσα μηχανής από ένα πρόγραμμα που λέγεται compiler (μεταγλωττιστής) Εναλλακτικά αντί για compiler υπάρχει ο ερμηνευτής (interpreter) Εκτελεί τις εντολές καθώς τις μεταφράζει, ενώ ο compiler πρώτα μεταφράζει όλες τις εντολές του προγράμματος σε γλώσσα μηχανής και μετά τις εκτελεί 7

8 Η εξέλιξη των προγραμματιστικών μοντέλων 8

9 Προγραμματιστικά μοντέλα Διαφορετικές φιλοσοφίες στον προγραμματισμό Προστακτικό (imperative) ή διαδικαστικό (procedural) μοντέλο: η διαδικασία προγραμματισμού είναι μια ακολουθία από εντολές, που όταν εκτελεστούν, επενεργούν στα δεδομένα και παράγουν το επιθυμητό αποτέλεσμα Υπονοεί ότι πρέπει να βρεθεί ο αλγόριθμος για την επίλυση του προβλήματος και έπειτα ο αλγόριθμος να αναπαρασταθεί σαν μια ακολουθία από εντολές Το πιο παραδοσιακό από τα μοντέλα Παραδείγματα: FORTRAN (για αριθμητικούς υπολογισμούς) COBOL (για επιχειρησιακές εφαρμογές ), BASIC, C, Pascal (γενικής χρήσης) Ada (η επίσημη γλώσσα ανάπτυξης στρατιωτικών εφαρμογών από το Υπ. Άμυνας των ΗΠΑ, επίσης για εναέριες εφαρμογές) 9

10 Προγραμματιστικά μοντέλα (2) Δηλωτικό (declarative) μοντέλο: ο προγραμματιστής πρέπει να περιγράψει το πρόβλημα προς επίλυση, και όχι τον αλγόριθμο Εφαρμόζει ένα γενικό αλγόριθμο επίλυσης προβλημάτων Ο προγραμματιστής πρέπει να περιγράψει κατάλληλα το πρόβλημα Χρήση για προσομοίωση συστημάτων (οικονομία, πολιτική, μετεωρολογία, περιβάλλον) για π.χ. πρόγνωση Ο προγραμματιστής περιγράφει τι θέλει να προσομοιωθεί, ο αλγόριθμος πρόγνωσης υπάρχει στην γλώσσα Παραδείγματα: Prolog: τομέας τεχνητής νοημοσύνης Ο τομέας μαθηματικών της Επίσημης Λογικής (Formal Logic) έδωσε ώθηση σε αυτές τις γλώσσες 10

11 Προγραμματιστικά μοντέλα (3) Συναρτησιακό (functional) μοντέλο: Το πρόγραμμα είναι μια οντότητα που δέχεται εισόδους και βγάζει εξόδους (όπως η συνάρτηση) Πρόγραμμα = συνάρτηση που μετασχηματίζει εισόδους σε εξόδους Το πρόγραμμα κατασκευάζεται συνδέοντας μικρότερες ενότητες (συναρτήσεις) Προγραμματισμός: σύνθεση αυτής της συνάρτησης από απλούστερες Έξοδοι από μια συνάρτηση χρησιμοποιούνται ως είσοδοι σε άλλες συναρτήσεις Ο προγραμματισμός έγκειται στο χτίσιμο μεγάλων συναρτήσεων από μικρότερες Παραδείγματα: LISP Συμβολισμός για την συνάρτηση f(x,y,z): (f x y z) Μεγάλο πλεονέκτημα σε σχέση με τις προστακτικές γλώσσες προγραμματισμού: δεν χρειάζονται πολλές μεταβλητές και συνεπώς καταναλώνεται πολύ λιγότερος χώρος στη μνήμη για το πρόγραμμα 11

12 Παράδειγμα Συναρτησιακού Μοντέλου Γλώσσας Προγραμματισμού Σε μια imperative γλώσσα προγραμματισμού θα ήταν (Find_diff (Find_sum Old_balance Credits) (Find_sum Debits)) 12

13 Προγραμματιστικά μοντέλα (4) Αντικειμενο- στραφές (object- oriented) μοντέλο / Object- oriented Programming Κατά βάση προστακτικό μοντέλο Μονάδες δεδομένων = ενεργά αντικείμενα Κάθε αντικείμενο μπορεί να επενεργεί στον εαυτό του ή σε άλλα αντικείμενα Παράδειγμα 1: Graphical User Interface Κάθε εικονίδιο είναι ένα αντικείμενο Κάθε αντικείμενο περιλαμβάνει διαδικασίες (μεθόδους, methods) που ορίζουν πως αποκρίνεται σε διάφορα γεγονότα Παράδειγμα 2: λίστα ονομάτων Παραδοσιακός προγραμματισμός: λίστα = σύνολο δεδομένων, προγραμματιστής υπεύθυνος να κατασκευάσει αλγόριθμο προσπέλασης OOP: λίστα = αντικείμενο = δεδομένα + διαδικασίες χειρισμού (εισαγωγή ή αφαίρεση στοιχείου στη λίστα, ταξινόμηση, αναζήτηση) 13

14 Αντικειμενο- στραφές μοντέλο Κλάση (class) αντικειμένων: το σύνολο ιδιοτήτων που χαρακτηρίζουν ίδια αντικείμενα (που ανήκουν στην ίδια κλάση) Ορίζεται μια κλάση αντικειμένων π.χ. Εικονίδιο, δορυφόρος, σταθμός βάσης Έπειτα ορίζονται αντικείμενα π.χ. icon1, icon2 σαν εκδοχές (instances) της κλάσης Το μοντέλο OOP είναι μοντέλο δομημένου προγραμματισμού όπου ο προγραμματισμός γίνεται χτίζοντας το πρόγραμμα με μπλοκ Παραδείγματα: C++, Visual Basic, Java, C# 14

15 Σεναριακές Γλώσσες προγραμματισμού Σεναριακές Γλώσσες προγραμματισμού (scripting languages): χρησιμοποιούνται για να κάνουν μικρές διαχειριστικές εργασίες στον υπολογιστή Σενάριο (script): κομμάτι κώδικα που υλοποιεί την συγκεκριμένη εργασία Π.χ. Ο διαχειριστής ενός συστήματος γράφει ένα πρόγραμμα για να καταγράψει τις εργασίες που χρειάζεται να γίνουν για αρχειοποίηση Ή ένα script για ανάγνωση και δεικτειοδότηση (indexing) εικόνων από μια φωτογραφική μηχανή Γλώσσες: Perl, PHP 15

16 Η σύνθεση ενός τυπικού προστακτικού προγράμματος (Declarative statements) (imperative statements) Υπάρχουν και σχόλια (comments) που βελτιώνουν την αναγνωσιμότητα 16

17 Τύποι και Δηλώσεις μεταβλητών σε C, C++, C# και Java Μεταβλητή (variable): όνομα που υποδηλώνει μια θέση μνήμης Αν αλλάξει η τιμή που είναι αποθηκευμένη σε αυτή τη θέση μνήμης, αλλάζει και η τιμή που σχετίζεται με την μεταβλητή Τύποι (types) Δεδομένων Ακέραιος (integer): Ακέραιος αριθμός Πραγματικός (real): Αριθμοί με δεκαδικά ψηφία Χαρακτήρες (character): Σύμβολα Boolean: Αληθές/ψευδές Δηλώσεις Μεταβλητών float Length, Width; int Price, Tax, Total; char Symbol 17

18 Δομές δεδομένων (Data structures) Δομές δεδομένων: Νοητικά σχήματα για τη διάταξη δεδομένων Οι αλγόριθμοι προτιμούν τα δεδομένα να είναι δομημένα (για μεγαλύτερη αποδοτικότητα) Πίνακες (arrays) Λίστες (lists) Δένδρα (trees) Πως τα υλοποιούμε στη μνήμη; 18

19 Πίνακες Δομή δεδομένων: α11 α12 α13 α21 α22 α23 γραμμή 1 γραμμή 2 γραμμή 3 Μνήμη: αρχή του πίνακα... γραμμή 1 γραμμή 2 γραμμή

20 Παράδειγμα: Ένας 2- διάστατος πίνακας 2 γραμμών και 9 στηλών int Scores[2][9] στην C INTEGER Scores(2,9) στην Fortran Πάνω αριστερά στοιχείο του πίνακα: Scores[0][0] στην C, Scores(1,1) στην FORTRAN 20

21 Λίστες Λίστα: ακολουθία από records (int ή πιο σύνθετα records, βλ. Παρακάτω) Λίστα: 10, 12, 6, 7 πρόσθεση μέλους: 10, 12, 2, 6, 7 pointer (δείκτης) nil nil

22 Δένδρα T Α Δομή δεδομένων: A B C Β nil nil D E C Υλοποίηση στη μνήμη: D nil nil E nil nil 22

23 Ετερογενής πίνακας (structure) Eτερογενής πίνακας ή Δομή (structure) ή record. Μπλοκ δεδομένων με στοιχεία (πεδία) Ενδεχομένως διαφορετικού τύπου Employee.Name Employee.Age Employee.SkillRating 23

24 Παράδειγμα Ετερογενούς πίνακα δεδομένων 24

25 Σταθερές (constants) και δηλώσεις ανάθεσης Καλύτερα να δηλώνονται στην αρχή του προγράμματος Αν χρειαστεί να αλλαχθούν, θα αλλαχθούν μόνο εκεί Δηλώσεις ανάθεσης (assignment statements) Μπορεί να διαφέρουν σε διαφορετικές γλώσσες, π.χ. Αριθμητικές πράξεις Τηρείται η προτεραιότητα τελεστών (operator precedence) 2*4 + 6 / 2 = 11 Ο ίδιος τελεστής μπορεί να έχει διαφορετικές λειτουργίες π.χ. + κάνει πρόσθεση (αν έχει ως τελεστέους αριθμούς) ή συνένωση (concatenation) από strings (αν έχει ως τελεστέους strings) Αυτή η «διπλή» λιτουργία λέγεται υπερφόρτωση τελεστή (operator overloading) 25

26 Δομές ελέγχου και οι αναπαραστάσεις τους στις γλώσσες C, C++, C#, και Java

27 Η δομή βρόχου for και η αναπαράσταση της στις γλώσσες C++, C# και Java 27

28 Διαδικασίες (procedures) Διαδικασία (procedure): μια σειρά από εντολές που υλοποιούν μια εργασία Μπορεί να χρησιμοποιηθεί ως αυτούσια προγραμματιστική μονάδα 28

29 Διαδικασίες (2) Έχουν τη δομή ενός συνήθους προγράμματος (κεφαλίδα, δήλωση μεταβλήτών, σειρά εντολών) Μεταβλητές: Τοπικές (local), χρησιμοποιούνται και αλλάζουν μόνο εντός της διαδικασίας Ολικές (global), χρησιμοποιούνται και αλλάζουν μέσα σε όλο το πρόγραμμα Εύρος ή εμβέλεια (scope) μιας μεταβλητής: το μέρος του προγράμματος που μπορεί μια μεταβλητή να χρησιμοποιηθεί Κλήση: απλά με το όνομα 29

30 Παράδειγμα Διαδικασίας Παράμετροι (parameters): ορίσματα Τυπικές (formal) παράμετροι: οι παράμετροι που χρησιμοποιούνται εντός της διαδικασίας Πραγματικές (actual) παράμετροι: οι τιμές που ανατίθενται στις τυπικές παραμέτρους όταν καλείται η διαδικασία από το κυρίως πρόγραμμα 30

31 Πέρασμα παραμέτρων Περιγραφή διαδικασίας: Κλήση διαδικασίας με κατάλληλες παραμέτρους: Πέρασμα παραμέτρων κατά τιμή ή αξία (Passed by value) Ένα αντίγραφο των δεδομένων που παριστάνεται με τις πραγματικές παραμέτρους δίνεται στην διαδικασία Αλλαγή των δεδομένων από την διαδικασία: αλλάζει μόνο τα δεδομένα στο αντίγραφο, και όχι αυτά στο κυρίως (καλόν) πρόγραμμα Πέρασμα παραμέτρων κατ αναφορά (passed by reference) Δίνεται στην διαδικασία απευθείας πρόσβαση στις τιμές των πραγματικών παραμέτρων, δηλ. δίνονται στην διαδικασία οι διευθύνσεις των πραγματικών παραμέτρων Αλλαγή των δεδομένων από την διαδίκασία αλλάζει τα δεδομένα στο κυρίως πρόγραμμα Η μέθοδος χρησιμοποιείται αν ο σκοπός της διαδικασίας είναι η αλλαγή των δεδομένων (π.χ. ταξινόμηση μιας λίστας) 31

32 Παράδειγμα: Πέρασμα παραμέτρων κατά αξία Actual = 5 Κλήση διαδικασίας: 32

33 Παράδειγμα: Πέρασμα παραμέτρων κατ αναφορά Actual = 5 Κλήση διαδικασίας: 33

34 Παράδειγμα Συνάρτησης Διαφορά από την Διαδικασία: Η συνάρτηση (function) πάντα επιστρέφει μια τιμή 34

35 Υλοποίηση γλώσσας: Μετάφραση Πρόγραμμα- πηγή (source program): το πρόγραμμα στην αρχική του μορφή Μετάφραση: μετατροπή προγράμματος από τη μια γλώσσα στην άλλη Πρόγραμμα- αντικείμενο (object- program): το αποτέλεσμα της μετάφρασης Χρειαζόμαστε μετάφραση για: εντολές σε γλώσσα υψηλού επιπέδου δομές δεδομένων (υψηλού επιπέδου) i:=0; while i<n do {A[i]:=B[i]; i:=i+1} δύο στρατηγικές: διερμηνεία (interpretation) μεταγλωττισμός (compilation) 35

36 Διερμηνεία Διερμηνευτής (interpreter): Μεταφράζει και εκτελεί το πρόγραμμα υψηλού επιπέδου εντολή προς εντολή ξεκίνα από την αρχή του προγράμματος υψηλού επιπέδου Repeat μετάφρασε την επόμενη εντολή υψηλού επιπέδου εκτέλεσε την μετάφραση της εντολής με τα αντίστοιχα δεδομένα until τέλος προγράμματος 36

37 Μεταγλωττισμός Μεταγλωττιστής (Compiler): μεταφράζει μία φορά το πρόγραμμα υψηλού επιπέδου (source program) σε πρόγραμμα γλώσσας μηχανής / πρόγραμμα- αντικείμενο (object program) ξεκίνα από την αρχή του προγράμματος υψηλού επιπέδου Repeat μετάφρασε την επόμενη εντολή υψηλού επιπέδου until τέλος προγράμματος κάνε τις τελικές αλλαγές στον μεταφρασμένο κώδικα ώστε να είναι έτοιμος για εκτέλεση 37

38 Μεταγλωττισμός vs. Διερμηνεία Interpreters ταχύτητα όχι σημαντική λίγη μνήμη ανακάλυψη λαθών (debugging) Compilers ταχύτητα σημαντική 38

39 Η διαδικασία της μεταγλώττισης Λεκτικός Αναλυτής Συντακτικός Αναλυτής Γεννήτρια κώδικα Πρόγραμμα αντικείμενο Πηγαίο Πρόγραμμα 39

40 Μεταγλώττιση Λεκτικός αναλυτής (lexical analyzer): διαβάζει το πρόγραμμα χαρακτήρα προς χαρακτήρα, αναγνωρίζει συμβολικές οντότητες Συμβολική οντότητα (token) Ταξινόμηση tokens σε κατηγορίες (τελεστές, σύμβολα, αριθμητικές τιμές, κλπ) Συντακτικός αναλυτής (parser): συντάσσει τα tokens σε προτάσεις και statements Αναγνώριση της γραμματικής δομής του προγράμματος Αναγνώριση του ρόλου κάθε token Παράδειγμα σύνταξης στα αγγλικά: Δεσμευμένες λέξεις (reserved words) Ο parser χρησιμοποιεί την Γραμματική (grammar) της γλώσσας Γραμματική: σύνολο από συντακτικούς κανόνες 40

41 Περιγραφή σύνταξης Α. Διαγράμματα σύνταξης Λογική Παράσταση Εντολή if then else Εντολή Β.Κανόνες BNF ifstmt - > if log_exp then stmt if log_exp then stmt else stmt If x<1 then y=2 else z=1 41

42 Παράδειγμα γραμματικής Ο Γιάννης είναι καλός μαθητής και έχει κακό χαρακτήρα Γραμματική (σύνταξη): προτ - > απλή_προτ σύνθ_προτ απλή_προτ - > υποκ ρήμα επίθ αντικ υποκ ρήμα αντικ σύνθ_προτ - > απλή_προτ και απλή_προτ απλή_προτ και σύνθ_προτ Βασικοί τύποι λέξεων (τερματικά σύμβολα): {υποκ, ρήμα, επίθ, αντικ, και} Λεξικογραφική περιγραφή: υποκ - > Γιάννης, Κώστας, άνδρας ρήμα - > έχει, κάνει,... 42

43 Ορισμός σύνταξης BNF Γραμματικές: BNF σύνταξη (Backus- Naur Form) κανόνες παραγωγής, τερματικά, μη- τερματικά σύμβολα τερματικά σύμβολα (terminals, tokens): στοιχειώδη σύμβολα, δεν αναλύονται περισσότερο ( τύποι λέξεων...) μη- τερματικά σύμβολα (non- terminals): συντακτικές κατηγορίες (προτάσεις, υπο- προτάσεις,...), δηλ. αυτά που μπορούν να αναλυθούν περαιτέρω με άλλα διαγράμματα δυνατότητα αναδρομικών ορισμών Γλώσσα: σύνολο σωστών ακολουθιών τερματικών συμβόλων 43

44 Διαγράμματα σύνταξης για τη δομή μίας απλής αλγεβρικής παράστασης x+y*z E -> T+E T-E T T -> F*T F/T F F -> x y z 44

45 Το δέντρο συντακτικής ανάλυσης για τη συμβολοσειρά x+y*z E - > T+E T- E T T - > F*T F/T F F - > x y z 45

46 Παράδειγμα γλώσσας Γλώσσα = απλές αριθμητικές εκφράσεις με 0,...,9 και +,-,*,/ E - > E + E E E E * E E / E - E E - > *5 είναι σωστή πρόταση; 6+*4 είναι σωστή πρόταση; Σημασία πρότασης; 9 E E - E E E 2 * 5 συντακτικό δέντρο Σωστή πρόταση: υπάρχει προτασιακό δέντρο που να την δικαιολογεί 46

47 Ασάφεια στην Γραμματική E - > E + E E E E * E E / E - E E - > τι σημαίνει 9-2*5 ; E E 9 E E 2 * 5 2 συντακτικά δέντρα! ποιο από τα δύο εννοούμε; E - E 9 E E - E * 2 E 5 47

48 Συντακτικός αναλυτής Ο συντακτικός αναλυτής κατασκευάζει ένα συντακτικό δέντρο (parse tree) για το πηγαίο πρόγραμμα Το δέντρο παριστάνει την ερμηνεία του αναλυτή για την γραμματική σύνθεση του προγράμματος Γι αυτό πρέπει οι συντακτικοί κανόνες μιας γλώσσας να είναι μονοσήμαντοι, δηλ. μια σειρά από εντολές να μην οδηγεί σε 2 ή περισσότερα δυνατά συντακτικά δέντρα Ο συντακτικός αναλυτής διαχωρίζει τις δηλωτικές από τις προστακτικές εντολές Κατασκευάζει τον πίνακα συμβόλων (symbol table) με μεταβλητές, σταθερές, τύπους δεδομένων Χρησιμοποιεί τους τύπους δεδομένων για να ερμηνεύσει μια εντολή π.χ. z ß x + y, δηλ. τι τύπος είναι το x και το y (int, float, char) Ακολούθως, δίνει ανάλογο σήμα στην γεννήτρια κώδικα για να κατασκευάσει την κατάλληλη εντολή (ή ακολουθία εντολών) σε γλώσσα μηχανής 48

49 Παράδειγμα ασαφούς γραμματικής Θεωρείστε την εντολή: Μπορεί να ερμηνευτεί και με τα δυο δέντρα Ασάφεια (ambiguity) Σε ποιο if αναφέρεται το else; Στον ψευδοκώδικα αποφεύγουμε το μπέρδεμα ως εξής: 49

50 Παράδειγμα Συντακτική ανάλυση συντακτικό δένδρο condition relation statement conditional statement assignment expression operator if id neq num then set id to id + id b if b x b! = b 1 b thenb setb y b to bx + y Λεκτική ανάλυση 50

51 Οι φάσεις της μεταγλώττισης πηγαίο πρόγραμμα σε γλώσσα υψηλού επιπέδου αφαιρεί άχρηστη πληροφορία Λεκτική ανάλυση... bif bx17=bmaxb-3... blank space πίνακας αριθμ. σταθερών τιμή θέση L if id eq id - num nil Συντακτική ανάλυση nil nil G όνομα Γεννήτρια κώδικα πίνακας συμβόλων x17 integer 1445 max integer 1447 αντικείμενο πρόγραμμα σε γλώσσα μηχανής συντακτικό δένδρο τύπος θέση στη μνήμη y integer

52 Συντακτική ανάλυση abcdbwbwbw Λεκτική ανάλυση Συντακτική ανάλυση Γεννήτρια κώδικα tokens Γραμματική G Κατασκευή συντακτικού δένδρου (parse tree) bottom up αρχικό σύμβολο top - down Πίνακας συμβόλων τερματικά (tokens) κανόνας της γραμματικής 52

53 Γεννήτρια κώδικα Κατασκευάζει τις εντολές σε γλώσσα μηχανής που υλοποιούν τις εντολές που αναγνωρίζονται από τον συντακτικό αναλυτή Βελτιστοποίηση κώδικα (code optimization) Π.χ. Ελαχιστοποίηση του αριθμού των εντολών σε γλώσσα μηχανής που υλοποιούν μια σειρά εντολών Στο παραπάνω, μετά την 1 η εντολή και πριν την 2 η, αναγνωρίζει η γεννήτρια κώδικα ότι οι x, z υπάρχουν ήδη σε καταχωρητές 53

54 Γεννήτρια κώδικα (2) condition relation statement conditional statement assignment expression operator if id neq num then set id to id + id 1000 load R load R subtract R0 R0 R jumpzero load R load R add R1 R1 R store R x integer y integer 1457 module generate-expression(t) A1:= & of left child generate load R1 A1 A2:= & of right child generate load R2 A2 if op = + then generate add R1 R1 R2 else generate subtract R1 R1 R2 54

55 Διαδικασία Μετάφρασης Διαρκής αλληλεπίδραση και ανταλλαγή μηνυμάτων μεταξύ των διαφόρων σταδίων 55

56 Ολόκληρη η διαδικασία προετοιμασίας ενός προγράμματος για εκτέλεση Μετάφραση Σύνδεση Φόρτωση Εκτελέσιμο Πηγαίο Πρόγραμμα Υπομονάδα Πρόγραμμα Πρόγραμμα αντικείμενο φόρτωσης 56

57 Αντικειμενοστραφής προγραμματισμός Αντικείμενο (object): μία αυτόνομη προγραμματιστική μονάδα που περιέχει τόσο δεδομένα όσο και διαδικασίες Στις γλώσσες αντικειμενοστραφούς προγραμματισμού (C++, Java) το σημαντικό είναι η σωστή περιγραφή των αντικειμένων Κλάση (class): ένα πρότυπο για όλα τα αντικείμενα του ίδιου τύπου Ένα αντικείμενο ονομάζεται στιγμιότυπο (instance) της κλάσης. Ορισμός αντικειμένων στην C++: Java: 57

58 Στοιχεία ενός αντικειμένου Μεταβλητή στιγμιότυπου (instance variable) είναι μία μεταβλητή που βρίσκεται στο εσωτερικό ενός αντικειμένου. Π.χ. RemainingPower Μέθοδος (method) είναι μία διαδικασία στο εσωτερικό ενός αντικειμένου. Μπορεί να χειριστεί τις μεταβλητές στιγμιότυπου ενός αντικειμένου. Π.χ. turnright(), turnleft(), fire() 58

59 Μέθοδος Κατασκευής Μέθοδος κατασκευής (constructor): μία ειδική μέθοδος που εκτελείται αυτόματα κατά τη δημιουργία ενός αντικειμένου από την κλάση. Ίδιο όνομα με το αντικείμενο Βοηθά στην διαφορετική αρχικοποίηση ή ανάθεση διαφορετικών παραμέτρων σε αντικείμενα της ίδιας κλάσης 59

60 Πρόσθετες ιδέες Η κληρονομικότητα (inheritance) επιτρέπει σε μία κλάση να περιλαμβάνει ιδιότητες κάποιας προηγούμενης κλάσης Ο πολυμορφισμός (polymorphism) επιτρέπει σε μία μέθοδο που κάνει κλήση να ερμηνευτεί κατά περίπτωση από το αντικείμενο που λαμβάνει την κλήση. Π.χ. Η μέθοδος σχεδιασμού ενός σχήματος ερμηνεύεται ανάλογα με το σχήμα Αντίστοιχο σαν ιδέα με την υπερφόρτωση τελεστών 60

61 Ενθυλάκωση Ενθυλάκωση (encapsulation) είναι ένας τρόπος περιορισμού της πρόσβασης στις εσωτερικές ιδιότητες ενός αντικειμένου. Μόνο το ίδιο το αντικείμενο μπορεί να έχει πρόσβαση και να αλλάξει τις ιδιότητες. Μπορεί να είναι: Ιδιωτική Δημόσια. 61

62 Προγραμματισμός Ταυτόχρονων Δραστηριοτήτων Παράλληλη (ή ταυτόχρονη) επεξεργασία (concurrent processing) ταυτόχρονη εκτέλεση πολλών διεργασιών Η πραγματική ταυτόχρονη επεξεργασία απαιτεί την ύπαρξη πολλών CPU Μπορεί να προσομοιωθεί μέσω χρονομερισμού (time- sharing) στην περίπτωση μίας μόνο CPU Java: πολλαπλά νήματα (threads) Ζητήματα: Δημιουργία threads Σταμάτημα και επανεκκίνηση threads Επικοινωνία μεταξύ 2 ή περισσότερων threads (π.χ. Ένα thread χρειάζεται να ξεκινήσει όταν ένα άλλο thread έχει φτάσει σε ένα συγκεκριμένο σημείο) 62

63 Παραγωγή νημάτων 63

64 Διάδραση μεταξύ διεργασιών Αμοιβαίος αποκλεισμός (mutual exclusion) είναι μία μέθοδος που εξασφαλίζει ότι τα δεδομένα μπορούν να προσπελαστούν από μία μόνο διεργασία τη φορά. Aναγνώριση κρίσιμων περιοχών (critical regions): περιοχές του προγράμματος που δεν μπορούν να χρησιμοποιούνται από 2 ή περισσότερα threads ταυτόχρονα Αυτοελεγχόμενο (monitoring) λέγεται ένα στοιχείο δεδομένων με τη δυνατότητα να ελέγχει την πρόσβαση στον εαυτό του Ο έλεγχος υπάρχει μόνο σε ένα σημείο του προγράμματος Αντί τα νήματα να προσέχουν να μην παίρνουν πρόσβαση σε ένα στοιχείo δεδομένων (ο έλεγχος είναι μοιρασμένος σε διαφορετικά σημεία του προγράμματος) 64

65 Δηλωτικός προγραμματισμός (Declarative Programming) Επίλυση (resolution): ο συνδυασμός δύο ή περισσοτέρων προτάσεων για την παραγωγή μίας νέας πρότασης (που είναι αληθής αν οι αρχικές προτάσεις είναι αληθείς) Παράδειγμα: (P OR Q) AND (R OR Q) δίνει ως αποτέλεσμα (- >) την (P OR R) Σημαίνει ότι αν η αρχική πρόταση είναι αληθής, τότε και το αποτέλεσμα (η 2 η πρόταση) είναι αληθής Αν Q αληθής, τότε R πρέπει να είναι αληθής. Αν Q ψευδής, τότε η P πρέπει να είναι αληθής. Άρα P OR R είναι αληθής, ανεξάρτητα του τι είναι το Q Επιλυθέν (resolvent) ονομάζεται η νέα πρόταση που σχηματίζεται από την επίλυση. Μορφή όρων (clause form) έχουμε σε μία πρόταση των οποίων τα θεμελιώδη στοιχεία συνδέονται με τη λογική πράξη ΟR. Ενοποίηση (unification) είναι η διαδικασία ανάθεσης τιμών σε μεταβλητές μέσα σε μία πρόταση. 65

66 Παράδειγμα: Επίλυση των προτάσεων (P OR Q) και (R OR Q) ώστε να παραχθεί η (P OR R) Α Β Αν Συνθήκη Α αληθής Και συνθήκη Β αληθής Τότε και Συνθήκη Γ αληθής Γ 66

67 Παράδειγμα 2: Επίλυση των προτάσεων (P OR Q), (R OR Q), R, και P Ένα σύνολο από προτάσεις λέγεται ασυνεπές (inconsistent) αν είναι αδύνατο όλες να είναι αληθείς την ίδια στιγμή Επαναληπτική επίλυση για να βρεθεί αν το σύνολο προτάσεων είναι ασυνεπές ή όχι 67

68 Prolog Κατηγόρημα (predicate): βασικό δομικό συστατικό της γλώσσας Όλες οι προτάσεις είναι είτε γεγονότα είτε κανόνες. Γεγονός (Fact): όνομα Κατηγορήματος(ορίσματα) Παράδειγμα: parent( bill, mary) faster(rabbit, turtle) (μια συγκεκριμένη εκδοχή) Κανόνας (Rule): συμπέρασμα :- πρόταση :- σημαίνει αν Παράδειγμα: wise(x) :- old(x). Παράδειγμα: (μια γενική ιδιότητα) faster(x, Z) :- faster(x, Y), faster(y, Z) σημαίνει Ο προγραμματιστής καθορίζει τα γεγονότα και τους κανόνες Το πρόγραμμα επιβεβαίωνει ή π.χ. λύνει το faster (W, snail) ή καταγράφει όλες τις συγκρίσεις faster (X,Y) 68