ΠΕΡΙΕΧΟΜΕΝΑ ΜΕΡΟΣ I: ΕΙΣΑΓΩΓΗ, ΒΑΣΙΚΟΙ ΤΥΠΟΙ ΚΑΙ ΔΟΜΕΣ ΕΛΕΓΧΟΥ... 1 ΚΕΦΑΛΑΙΟ 0 ΕΙΣΑΓΩΓΗ... 3

Transcript

1

2

3 ΠΕΡΙΕΧΟΜΕΝΑ ΠΡΟΛΟΓΟΣ...xxi Σημείωση προς τον αναγνώστη... xxiii Σημείωση προς το διδάσκοντα...xxiv ΜΕΡΟΣ I: ΕΙΣΑΓΩΓΗ, ΒΑΣΙΚΟΙ ΤΥΠΟΙ ΚΑΙ ΔΟΜΕΣ ΕΛΕΓΧΟΥ... 1 ΚΕΦΑΛΑΙΟ 0 ΕΙΣΑΓΩΓΗ Ιστορία των υπολογιστικών μηχανών Αρχαιότητα Αναγέννηση Δέκατος Ένατος Αιώνας Πρώτος και Δεύτερος Παγκόσμιος Πόλεμος Υπολογιστές πρώτης γενιάς Υπολογιστές δεύτερης γενιάς Υπολογιστές τρίτης γενιάς Υπολογιστές τέταρτης γενιάς Πέμπτη και έκτη γενιά Οργάνωση υπολογιστών Ιστορία του προγραμματισμού Πρώτη γενιά Δεύτερη γενιά Τρίτη γενιά Τέταρτη γενιά Αλγόριθμοι...25 Aσκήσεις 0.1*...28 Προγράμματα

4 viii Δομημένος Προγραμματισμός με Pascal ΚΕΦΑΛΑΙΟ 1 ΠΡΟΓΡΑΜΜΑΤΑ, ΔΕΔΟΜΕΝΑ ΚΑΙ ΤΥΠΟΙ Προγράμματα εξόδου...31 Aσκήσεις Δεδομένα (Data) Εντολές εκχώρησης...39 Προγράμματα Aπαντήσεις ΚΕΦΑΛΑΙΟ 2 Ο ΤΥΠΟΣ INTEGER ΚΑΙ Η ΑΡΙΘΜΗΤΙΚΗ ΤΟΥ Τιμές τύπου integer Παραστάσεις τύπου integer Τελεστές Προκαθορισμένες συναρτήσεις...47 Ασκήσεις Είσοδος και έξοδος αντικειμένων τύπου integer Είσοδος αντικειμένων τύπου integer Έξοδος αντικειμένων τύπου integer...50 Aσκήσεις Σφάλματα Προγραμματισμού (Programming Errors) Συντακτικά σφάλματα Σημασιολογικά σφάλματα...53 Προγράμματα Απαντήσεις Aπαντήσεις ΚΕΦΑΛΑΙΟ 3 Ο ΤΥΠΟΣ BOOLEAN, Η ΑΛΓΕΒΡΑ ΤΟΥ ΚΑΙ OΙ ΒΑΣΙΚΕΣ ΔΟΜΕΣ ΕΛΕΓΧΟΥ Eισαγωγή Άλγεβρα Boole...60

5 Περιεχόμενα ix Αρχή του Δυϊσμού (Duality Principle) Βασικά Θεωρήματα Συναρτήσεις Boole...63 Ορισμός Συγκρίσεις Παραστάσεις τύπου boolean Συγκρίσεις Έξοδος αντικειμένων τύπου boolean Χρήσιμοι νόμοι της άλγεβρας του Boole...69 Ασκήσεις H εντολή while...70 Παραδείγματα Ασκήσεις H εντολή if...75 Παραδείγματα Ασκήσεις Προγράμματα Απαντήσεις Απαντήσεις Aπαντήσεις ΚΕΦΑΛΑΙΟ 4 ΕΙΣΑΓΩΓΗ ΣΤΟ ΔΟΜΗΜΕΝΟ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟ Δομημένος προγραμματισμός Eντοπισμός και άρση σφαλμάτων (Debugging)...94 Πρoγράμματα ΚΕΦΑΛΑΙΟ 5 ΟΙ ΤΥΠΟΙ CHAR ΚΑΙ TEXT O τύπος char Eντολές εκχώρησης Συγκρίσεις...101

6 x Δομημένος Προγραμματισμός με Pascal Είσοδος και έξοδος αντικειμένων τύπου char Aσκήσεις O τύπος text Παράμετροι προγράμματος Ασκήσεις Πρoγράμματα Απαντήσεις Απαντήσεις ΚΕΦΑΛΑΙΟ 6 ΤΥΠΟΙ ΠΟΥ ΟΡΙΖΟΝΤΑΙ ΑΠΟ ΤΟ ΧΡΗΣΤΗ ΚΑΙ ΑΛΛΕΣ ΔΟΜΕΣ ΕΛΕΓΧΟΥ Απαριθμητοί τύποι Τύποι υποπεριοχής Συμβατοί τύποι Τακτικοί τύποι Η επαναληπτική εντολή for Η επαναληπτική εντολή repeat Η εντολή case Ασκήσεις Πρoγράμματα Aπαντήσεις ΚEΦΑΛΑΙΟ 7 Ο ΤΥΠΟΣ REAL ΚΑΙ ΤΑ ΣΦΑΛΜΑΤΑ ΤΟΥ O τύπος real Παραστάσεις τύπου real Tελεστές Προκαθορισμένες συναρτήσεις Συγκρίσεις Συμβατότητα εκχώρησης Είσοδος και έξοδος αντικειμένων τύπου real Σφάλματα τιμών των αντικειμένων τύπου real...145

7 Περιεχόμενα xi Σφάλματα παρατήρησης (observation errors) Σφάλματα μέτρησης (measurement errors) Σφάλματα παράστασης (representation errors) Σφάλματα υπολογισμών Aσκήσεις Προγράμματα Απαντήσεις ΚΕΦΑΛΑΙΟ 8 ΥΠΟΠΡΟΓΡΑΜΜΑΤΑ Εισαγωγή Συναρτήσεις που ορίζονται από το χρήστη Ασκήσεις Διαδικασίες που ορίζονται από το χρήστη Μηχανισμοί περάσματος (μεταβίβασης) παραμέτρων (parameter passing mechanisms) Τύποι παραμέτρων Κανόνες πεδίων επιρροής ή εμβέλειας (scope rules) Ασκήσεις Προγράμματα Απαντήσεις Aπαντήσεις ΚΕΦΑΛΑΙΟ 9 ΔΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΜΕ ΥΠΟΠΡΟΓΡΑΜΜΑΤΑ Σχεδιασμός και ανάπτυξη προγραμμάτων Χρήση υποπρογραμμάτων σε μεγάλα προγράμματα Εργαλεία Ασκήσεις Φίλτρα Ασκήσεις Υλοποίηση και δοκιμή προγραμμάτων Από πάνω προς τα κάτω δοκιμή (Top-down testing)...186

8 xii Δομημένος Προγραμματισμός με Pascal Από κάτω προς τα πάνω δοκιμή (Bottom-up testing) Παραγωγή ψευδοτυχαίων αριθμών Ασκήσεις Στυλ προγραμματισμού Προγράμματα Απαντήσεις Απαντήσεις Απαντήσεις ΜΕΡΟΣ II ΔΟΜΗΜΕΝΟΙ ΤΥΠΟΙ ΚΑΙ ΕΦΑΡΜΟΓΕΣ ΚΕΦΑΛΑΙΟ 10 ΜΟΝΟΔΙΑΣΤΑΤΟΙ ΠΙΝΑΚΕΣ Εισαγωγή Ο τύπος array Ασκήσεις Aντικείμενα τύπου array Συμβατότητα εκχώρησης Πίνακες ως παράμετροι υποπρογραμμάτων Ασκήσεις Πρoγράμματα Απαντήσεις Απαντήσεις ΚΕΦΑΛΑΙΟ 11 ΣΥΜΒΟΛΟΣΕΙΡΕΣ ΚΑΙ ΠΙΝΑΚΕΣ ΠΕΡΙΣΣΟΤΕΡΩΝ ΤΗΣ ΜΙΑΣ ΔΙΑΣΤΑΣΕΩΝ Πυκνωμένοι πίνακες Συμβολοσειρές Ασκήσεις Πίνακες δύο διαστάσεων Ασκήσεις Ασκήσεις

9 Περιεχόμενα xiii 11.4 Πολυδιάστατοι πίνακες Ασκήσεις Προγράμματα Απαντήσεις Απαντήσεις Απαντήσεις Απαντήσεις ΚΕΦΑΛΑΙΟ 12 ΕΓΓΡΑΦΕΣ Eγγραφές Η εντολή with Αντικείμενα τύπου record Aσκήσεις Πυκνωμένες εγγραφές Σύνθετες δομές Εγγραφές με παραλλαγές Απαντήσεις ΚΕΦΑΛΑΙΟ 13 ΣΥΝΟΛΑ Eισαγωγή Ορισμοί, δηλώσεις και εκχώρηση Τελεστές και παραστάσεις Παραστάσεις τύπου boolean Παραστάσεις τύπου set Ασκήσεις Νόμοι της άλγεβρας των συνόλων Προγράμματα Aπαντήσεις

10 xiv Δομημένος Προγραμματισμός με Pascal KEΦΑΛΑΙΟ 14 ΑΚΟΛΟΥΘΙΑΚΑ ΑΡΧΕΙΑ Αρχεία Ακολουθιακά αρχεία στην Pascal Ενταμιευτές αρχείων Aρχεία χαρακτήρων Ιδιομορφίες υλοποιήσεων και πιθανά σφάλματα Aσκήσεις Προγράμματα Απαντήσεις ΚΕΦΑΛΑΙΟ 15 ΕΦΑΡΜΟΓΕΣ Ι Εργαλεία και φίλτρα Εσωτερική ταξινόμηση Eξωτερική ταξινόμηση Κωδικοποίηση Εμπορικές εφαρμογές Δημοκρατικές διαδικασίες Οικολογία Στατιστική Λογιστική Απαντήσεις Απαντήσεις Απαντήσεις Απαντήσεις Απαντήσεις Απαντήσεις Απαντήσεις Απαντήσεις Απαντήσεις

11 Περιεχόμενα xv ΚΕΦΑΛΑΙΟ 16 ΥΠΟΠΡΟΓΡΑΜΜΑΤΑ ΩΣ ΠΑΡΑΜΕΤΡΟΙ Υποπρογράμματα ως παράμετροι Ασκήσεις Aναδρομικά υποπρογράμματα Ασκήσεις H συνάρτηση του Ackerman Αμοιβαία αναδρομή Προγράμματα Aπαντήσεις Απαντήσεις ΚΕΦΑΛΑΙΟ 17 ΔΕΙΚΤΕΣ ΚΑΙ ΛΙΣΤΕΣ ΜΕ ΣΥΝΔΕΣΗ Η έννοια του δείκτη Δείκτες στην Pascal Προκαθορισμένες διαδικασίες και η προκαθορισμένη σταθερά nil Εντολές εκχώρησης Συγκρίσεις Άλλες δυνατότητες Γραμμικές λίστες με σύνδεση Δημιουργία κενής λίστας Eισαγωγή ενός στοιχείου στην κεφαλή (αρχή) μιας λίστας Εισαγωγή ενός στοιχείου σε μια λίστα Διαγραφή του στοιχείου που βρίσκεται στην κεφαλή μιας λίστας Διαγραφή ενός ορισμένου στοιχείου μιας λίστας Ασκήσεις Oικονομία χώρου Πρoγράμματα Απαντήσεις

12 xvi Δομημένος Προγραμματισμός με Pascal ΚΕΦΑΛΑΙΟ 18 ΕΙΣΑΓΩΓΗ ΣΤΗΝ TURBO PASCAL H εντολή goto Παράδειγμα Κανόνες πεδίων επιρροής Χρήση και κατάχρηση των εντολών goto Σύμμορφα σχήματα πινάκων Άλλοι περιορισμοί της Pascal Ο τύπος string Ορισμοί, δηλώσεις και εκχώρηση Συγκρίσεις Προκαθορισμένες συναρτήσεις και διαδικασίες Eίσοδος και έξοδος αντικειμένων τύπου string Συμβολοσειρές ως παράμετροι υποπρογραμμάτων Ασκήσεις Άμεση προσπέλαση αρχείων Άλλοι τύποι αριθμών Διαδικασίες μετατροπής μεταξύ αριθμών και συμβολοσειρών Ασκήσεις Προγράμματα Απαντήσεις Απαντήσεις ΚΕΦΑΛΑΙΟ 19 ΕΦΑΡΜΟΓΕΣ ΙΙ Δομές δεδομένων Ανάλυση κειμένων (Επ)Ανάκτηση πληροφοριών Εργαλεία και φίλτρα Αναζήτηση (Searching) Μορφοποίηση Κειμένων (Text Formatting) Επιχειρησιακή Έρευνα (Operations Research)...416

13 Περιεχόμενα xvii 19.8 Τεχνητή Νοημοσύνη (Artificial Intelligence) Διάφορες εφαρμογές* Απαντήσεις Απαντήσεις Απαντήσεις Απαντήσεις Απαντήσεις Απαντήσεις Απαντήσεις Απαντήσεις ΚΕΦΑΛΑΙΟ 20 ΑΝΤΙΚΕΙΜΕΝΑ ΚΑΙ ΕΦΑΡΜΟΓΕΣ ΤΟΥΣ Αντικείμενα Κληρονομικότητα Η παράμετρος self Αντικειμενοστρεφής Προγραμματισμός Μονάδες Ιδεατές μέθοδοι και πολυμορφισμός Εφαρμογές του αντικειμενοστρεφούς προγραμματισμού Δομές Δεδομένων Οπτικές εφαρμογές (Visual Applications) "Ζωντανά" Γραφικά (Animated Graphics) Τεχνητή Νοημοσύνη Αντικειμενοστρεφείς Σχεσιακές Βάσεις Δεδομένων ΠΑΡΑΡΤΗΜΑ Α ΕΙΣΑΓΩΓΗ ΣΤΟ ΛΕΙΤΟΥΡΓΙΚΟ ΣΥΣΤΗΜΑ UNIX Α.1 Προκαταρκτικά Α.1.1 Σύνδεση...471

14 xviii Δομημένος Προγραμματισμός με Pascal Α.1.2 Αποσύνδεση Α.1.3 Χαρακτήρες πληκτρολογίων Α.2 Απλές εντολές Α.2.1 Η εντολή cat Α.2.2 Η εντολή ls Α.2.3 Μετακίνηση αρχείων Α.2.4 Αντιγραφή αρχείων Α.2.5 Διαγραφή αρχείων και ευρετηρίων Α.2.6 Δημιουργία νέων ευρετηρίων Α.2.7 Οι εντολές pwd και cd Α.2.8 Αλλαγή των δικαιωμάτων προσπέλασης αρχείων και ευρετηρίων Α.3 Φλοιός (Shell) Α.3.1 Σωλήνες και φίλτρα Α.3.2 Εκτύπωση Αρχείων Α.3.3 Ταίριασμα χαρακτήρων (pattern matching, "wild cards") Α.4 ed - Ο βασικός συντάκτης του UNIX A.4.1 Αρχή της διαλογικής επικοινωνίας με τον ed A.4.2 Επιπρόσθεση κειμένου A.4.3 Αποταμίευση κειμένου A.4.4 Τέλος της διαλογικής επικοινωνίας με τον ed A.4.5 Σύνταξη με βάση τις γραμμές του κειμένου (line editing) A.4.6 Σύνταξη με βάση τα συμφραζόμενα (context editing) Α.4.7 Οι εντολές u και! A.5 Μεταγλώττιση και εκτέλεση προγραμμάτων Pascal ΠΑΡΑΡΤΗΜΑ Β ΟΙ ΚΥΡΙΟΤΕΡΕΣ ΕΝΤΟΛΕΣ ΤΩΝ ΛΕΙΤΟΥΡΓΙΚΩΝ ΣΥΣΤΗΜΑΤΩΝ UNIX, MS-DOS KAI VAX/VMS ΠΑΡΑΡΤΗΜΑ Γ ΠΙΝΑΚΑΣ ΤΩΝ ΧΑΡΑΚΤΗΡΩΝ ΤΟΥ ΚΩΔΙΚΑ ASCII ΚΑΙ Η ΕΠΕΚΤΑΣΗ ΤΟΥ ΓΙΑ ΤΟΥΣ ΜΙΚΡΟΫΠΟΛΟΓΙΣΤΕΣ IBM PC ΚΑΙ ΤΟΥΣ ΣΥΜΒΑΤΟΥΣ ΤΟΥΣ ΣΤΗΝ ΕΛΛΑΔΑ

15 Περιεχόμενα xix ΠΑΡΑΡΤΗΜΑ Δ ΜΑΘΗΜΑΤΙΚΕΣ ΣΤΑΘΕΡΕΣ BIBΛΙΟΓΡΑΦΙΑ Ξένη Βιβλιογραφία Ελληνική Βιβλιογραφία ΕΥΡΕΤΗΡΙΟ ΟΡΩΝ ΕΥΡΕΤΗΡΙΟ ΞΕΝΩΝ ΟΝΟΜΑΤΩΝ ΣΥΝΤΟΜΟΓΡΑΦΙΕΣ

16

17 ΚΕΦΑΛΑΙΟ 1 ΠΡΟΓΡΑΜΜΑΤΑ, ΔΕΔΟΜΕΝΑ ΚΑΙ ΤΥΠΟΙ Επιτέλους, ανακάλυψα ότι όλα τα πράγματα είχαν ονόματα. Μετά άρχισα να διερωτάμαι γιατί είχαν τα ονόματα που είχαν. Όταν τελικά εγκατέλειψα την προσπάθεια αυτή, τότε άρχισα ν αναγνωρίζω τον κόσμο και να προσπαθώ να επικοινωνήσω με τους άλλους με τις λέξεις που άκουγα κι είχα μάθει να ξεχωρίζω. "¼ôáí ñçóéìïðïéþ ìéá ëýîç," åßðå ï Humpty Dumpty, óå ìüëëïí ëåõáóôéêü ôüíï, "óçìáßíåé ü,ôé åãþ ôçí åðéëýãù íá óçìáßíåé. ôßðïôá ðåñéóóüôåñï Þ ëéãüôåñï." Lewis Carroll, Through the Looking-Glass Èá ôá êüíáìå ìïýóêåìá, åüí ôá êüíáìå ìáæß. ÂëÝðåéò, åßìáóôå äéáöïñåôéêïß ôýðïé. 1.1 Προγράμματα εξόδου Το παρακάτω είναι ένα απλό πρόγραμμα της Pascal που, αν γνωρίζετε αγγλικά, μπορείτε ίσως να καταλάβετε τη σημασιολογία του. program hello (output); {τυπώνει Hello there} begin write(output,'hello there'); (1.1) writeln (output) end {hello}. Η πρώτη λέξη κάθε προγράμματος της Pascal είναι η ειδική ή δεσμευμένη λέξη (reserved word) program που σημαίνει πρόγραμμα. [Για να είναι ευανάγνωστα τα προγράμματά μας, οι ειδικές λέξεις θα είναι τυπωμένες συχνά με μαύρο τύπο γραμμάτων ή υπογραμμισμένες ή γραμμένες με κεφαλαία γράμματα, σ αυτό το βιβλίο. Όταν πληκτρολογούνται ή εμφανίζονται στο τερματικό, θα είναι με κεφαλαία ή με μικρά γράμματα, ανάλογα με το τι μας προσφέρει το πληκτρολόγιο]. Η επόμενη λέξη είναι το όνομα του προγράμματος. Το όνομα του προγράμματος (1.1) είναι hello. Στην επιστήμη των υπολογιστών, τα ονόματα ονομάζονται αναγνωριστικά (identifiers) και εκλέγονται από τους προγραμματιστές με τέτοιο τρόπο, ώστε να δηλώνουν τη σημασία του αφηρημένου αντικειμένου (abstract object), που αντιπροσωπεύουν. Θα μπορούσατε να εκλέξετε ως όνομα του προγράμματος (1.1) ένα από τα αναγνωριστικά: SALUTE first GeiaSas prog1pas P007

18 32 Δομημένος Προγραμματισμός με Pascal Είναι ίσως φανερό ότι αν εκλέγατε το αναγνωριστικό SALUTE ή το GeiaSas, η εκλογή σας θα ήταν περισσότερο επιτυχής από του να εκλέγατε ένα από τα αναγνωριστικά first, prog1pas ή P007. Ανεξάρτητα από την επιλογή σας, ένα αναγνωριστικό (όνομα) πρέπει ν αρχίζει μ ένα γράμμα του λατινικού αλφαβήτου, που μπορεί ν ακολουθείται μ ένα ή περισσότερα γράμματα του (λατινικού) αλφαβήτου ή ψηφία. Ο παραπάνω συντακτικός κανόνας (syntax rule) έχει εκφρασθεί στην Ελληνική γλώσσα και χρειάζεται να συμπληρωθεί με προτάσεις που εξηγούν τι είναι τα γράμματα του αλφαβήτου (της Pascal, εννοείται) και τι είναι τα ψηφία. Επειδή περιγραφές αυτής της μορφής μπορεί να είναι μακροσκελείς, ο John Backus επινόησε μια μεταγλώσσα (metalanguage), δηλαδή μια γλώσσα που μπορεί να χρησιμοποιηθεί για να περιγράψει (συνοπτικά) μια άλλη γλώσσα. Η γλώσσα αυτή χρησιμοποιήθηκε πρώτα από τον Peter Naur για την περιγραφή της γλώσσας ALGOL 60 (βλ. Κεφ ) κι έτσι καθιερώθηκε ως BNF (Backus-Naur Form). Αργότερα επεκτάθηκε από άλλους επιστήμονες και στη νέα της μορφή είναι γνωστή ως Extended Backus-Naur Form (EBNF). Στην BNF ο παραπάνω συντακτικός κανόνας γράφεται ως εξής: <αναγνωριστικό> ::= <γράμμα>{<γράμμα> <ψηφίο>} Παρατηρούμε ότι η BNF περιγραφή της σύνταξης ενός αναγνωριστικού είναι κατά πολύ συντομότερη της ελληνικής περιγραφής. Αυτό οφείλεται στο ότι η BNF χρησιμοποιεί μόνο τέσσερα μετασύμβολα (metasymbols), τα εξής: μετασύμβολο σημασία ::= ορίζεται ως <...> η συντακτική κατηγορία... ή (διαζευκτικό) {...} μηδέν ή περισσότερες φορές ότι περικλείεται στα άγκιστρα { και }. Μπορούμε τώρα να περιγράψουμε τη σύνταξη των γραμμάτων και των ψηφίων: <γράμμα> ::= A B C D E F G Η Ι J K L M N O P Q R S T U V W X Y Z a b c d e f g h i j k l m n o p q r s t u v w x y z <ψηφίο> ::= Ένας άλλος τρόπος περιγραφής των συντακτικών κανόνων, που είναι ίσως περισσότερο παραστατικός, είναι τα συντακτικά διαγράμματα. Τα διαγράμματα αυτά είναι προσανατολισμένα γραφήματα με ένα σημείο εισόδου κι ένα σημείο εξόδου. Κάθε πλήρης διαδρομή του γραφήματος ορίζει μια επιτρεπτή ακολουθία συμβόλων. Έτσι, οι παραπάνω κανόνες για τα αναγνωριστικά και τα ψηφία μπορούν να περιγραφούν με τα συντακτικά διαγράμματα:

19 Προγράμματα, δεδομένα και τύποι 33 αναγνωριστικό γράμμα γράμμα ψηφίο ψηφίο [Το συντακτικό διάγραμμα για τα γράμματα αφήνεται ως άσκηση για τον αναγνώστη, γιατί ο συντακτικός κανόνας τους είναι βαρετός σ οποιαδήποτε γλώσσα κι αν περιγραφεί. Αν όλα αυτά σας έχουν λίγο μπερδέψει, μην ανησυχείτε. Θα συνηθίσετε. Ας επιστρέψουμε όμως στο πρόγραμμά μας.] Μετά το όνομα του προγράμματος ακολουθούν οι παράμετροί (parameters) του μέσα σε παρενθέσεις. Οι παράμετροι ενός προγράμματος προσδιορίζουν από πού αυτό παίρνει τα δεδομένα του και πού στέλνει τ αποτελέσματά του. Εφόσον το πρόγραμμά μας τυπώνει, χρησιμοποιείται η λέξη output (έξοδος) που προσδιορίζει ότι τ αποτελέσματά του θα σταλούν στην οθόνη του τερματικού μας. [Αν το πρόγραμμά μας χρειάζονταν και να διαβάσει, τότε οι παράμετροί του θα ήταν input, output όπου η λέξη input (είσοδος) προσδιορίζει ότι τα δεδομένα του προγράμματος θα παρθούν από το πληκτρολόγιο του τερματικού μας (βλ. και Κεφ. 5.2)]. Η πρώτη γραμμή του προγράμματός μας ονομάζεται επικεφαλίδα (heading) και διαχωρίζεται από το υπόλοιπο πρόγραμμα με μια αγγλική άνω τελεία (;). Η επόμενη γραμμή περιέχει ένα σχόλιο. Το σχόλιο (comment) είναι μια ακολουθία χαρακτήρων που περικλείεται μεταξύ των α- γκίστρων { και } και περιγράφει τι κάνει το πρόγραμμα. Τα σχόλια αγνοούνται από το μεταγλωττιστή κι έτσι, αν το πληκτρολόγιό μας μας το επιτρέπει, ίσως μπορούν να γραφούν στα ελληνικά. Μερικά πληκτρολόγια δεν έχουν όμως ούτε τις αγκύλες {και}. Για το λόγο αυτό, η Pascal μας επιτρέπει να γράψουμε σχόλια και μεταξύ των συμβόλων (* και *). Επειδή τα (* και *) στην πραγματικότητα παριστάνουν ένα μόνο σύμβολο, δεν πρέπει να υπάρχει κανένα κενό διάστημα μεταξύ των παρενθέσεων και των αστερίσκων. Τα σχόλια μπορούν, και πολλές φορές χρειάζεται, να επεκτείνονται σε περισσότερες της μιας γραμμής. Έτσι, τα παρακάτω είναι επιτρεπτά σχόλια. {τυπώνει hello there γράφτηκε στις 26/10/87 από το Γ. Κ.} ή (* prints hello there *) MåôÜ την επικεφαλίδα και το σχόλιο του προγράμματος ακολουθεί ο κορμός (block) του, που αποτελείται από το μέρος ορισμών και δηλώσεών του και από το μέρος των εντολών του.

20 34 Δομημένος Προγραμματισμός με Pascal Στο πρόγραμμα αυτό δε χρειάζονται ορισμοί και δηλώσεις κι έτσι μπορούμε να εξετάσουμε κατευθείαν το μέρος των εντολών του (γνωστό καμιά φορά ως σώμα (body) του προγράμματος). Το μέρος των εντολών ενός προγράμματος αρχίζει με την ειδική λέξη begin (που σημαίνει άρχισε) και τελειώνει με την ειδική λέξη end (που σημαίνει τέλειωσε). Μεταξύ των δύο αυτών ειδικών λέξεων μπορούν να υπάρχουν εντολές που διαχωρίζονται μεταξύ τους με άνω τελεία (;). Οι εντολές αυτές εκτελούνται όταν το πρόγραμμα εκτελεστεί ή "τρέξει" στον υπολογιστή. Στο παράδειγμά μας υπάρχουν δύο εντολές. Η εντολή: write (output, 'Hello there') που γράφει (write) στην έξοδο (output) ότι βρίσκεται ανάμεσα στις αποστρόφους ' και ' όπως α- κριβώς είναι. Η writeln (output) αλλάζει γραμμή (γράφει μια νέα γραμμή (line)) στην έξοδο. Η ειδική λέξη end στο τέλος του προγράμματος πρέπει ν ακολουθείται μ ένα σχόλιο που απλά περιέχει το όνομα του προγράμματος και μια τελεία (.). Αφού γράψουμε το πρόγραμμα στην Pascal χρειάζεται να το μεταγλωττίσουμε. Ο μεταγλωττιστής αγνοεί τα σχόλια του προγράμματος, αντικαθιστά τις ειδικές λέξεις με δικά του ειδικά σύμβολα και τέλος μεταφράζει το πρόγραμμα στη γλώσσα της μηχανής που πρόκειται να εκτελέσει το πρόγραμμα αυτό. Έτσι, αν η μεταγλώττιση είναι επιτυχής και εκτελέσουμε το παραπάνω πρόγραμμα, θα πρέπει να πάρουμε στην οθόνη του τερματικού μας το μήνυμα: Hello there Είναι ίσως φανερό ότι αν θέλαμε να πάρουμε στην οθόνη τα μηνύματα: Hello there! Hello my friend hello. How are you? τότε θα έπρεπε να ετοιμάσουμε (με το συντάκτη), να μεταγλωττίσουμε και να εκτελέσουμε το παρακάτω πρόγραμμα: program manyhellos (output); {τυπώνει πολλά χαιρετίσματα} begin write (output, 'Hello there'); write (output, '! Hello my friend hello.'); writeln (output); write (output, 'How are you?'); writeln (output) end {manyhellos}. Τελειώνοντας θα μπορούσαμε να περιγράψουμε τη σύνταξη (syntax) ενός προγράμματος της Pascal με τους παρακάτω κανόνες της BNF: <πρόγραμμα> ::= <επικεφαλίδα προγράμματος> ; <κορμός προγράμματος>.

21 Προγράμματα, δεδομένα και τύποι 35 <επικεφαλίδα προγράμματος> ::= program <αναγνωριστικό> (<παράμετροι προγράμματος>) <κορμός προγράμματος> ::= <μέρος ορισμών και δηλώσεων> <μέρος εντολών> <μέρος εντολών> ::= <σύνθετη εντολή> <σύνθετη εντολή> ::= begin <εντολή> {;<εντολή>} end <παράμετροι προγράμματος> ::= <αναγνωριστικό> {,<αναγνωριστικό>} ή με τα παρακάτω συντακτικά διαγράμματα: πρόγραμμα program αναγνωριστικό ( παράμετροι προγράμματος ) κορμός προγράμματος. κορμός προγράμματος μέρος ορισμών και δηλώσεων μέρος εντολών μέρος εντολών σύνθετη εντολή σύνθετη εντολή begin εντολή end ; παράμετροι προγράμματος αναγνωριστικό, Είναι ίσως φανερό ότι οι κανόνες αυτοί θα μπορούσαν να διατυπωθούν με διάφορους (ισοδύναμους) τρόπους. [Για παράδειγμα, θα μπορούσε να παραλειφθεί η "σύνθετη εντολή", αλλά θα τη συμπεριλάβουμε, γιατί θα μας είναι χρήσιμη αργότερα]. Σ όλες τις περιπτώσεις η σημασιολογία (semantics) του προγράμματος είναι η ίδια: Η εκτέλεση των εντολών γίνεται ακολουθιακά (η κάθε εντολή εκτελείται με τη σειρά) αρχίζοντας από την πρώτη εντολή (αυτή που ακολουθεί το πρώτο begin του προγράμματος) και τελειώνοντας στην τελευταία (αυτή που προηγείται του τελευταίου end του προγράμματος). AóêÞóåéò Ποια από τα παρακάτω αναγνωριστικά είναι ορθά; Εξηγείστε γιατί τα υπόλοιπα δεν είναι.

22 36 Δομημένος Προγραμματισμός με Pascal (α) omega (â) prog.2 (γ) 5Bez710K (δ) NaCl (ε) H2SO4 (ζ) Backus-Naur (η) εφθ(θ) (θ) begin (ι) Jaws 3 2. Γράψτε παραδείγματα προτάσεων, που μπορούν να παραχθούν από τους παρακάτω συντακτικούς κανόνες. <πρόταση>::= <υποκείμενο> <ρήμα> <αντικείμενο>. <υποκείμενο>::= <άρθρο1>{<επίθετο1>}<ουσιαστικό1> <αντικείμενο>::= <άρθρο2>{<επίθετο2>}<ουσιαστικό2> <επίθετο1>::= μεγάλος μικρός χοντρός λιγνός άγριος <ουσιαστικό1>::= ελέφαντας ποντικός τίγρης άνθρωπος <ρήμα>::= έφαγε σκότωσε είδε <ουσιαστικό2>::= ελέφαντα ποντικό τίγρη καρπό άνθρωπο <επίθετο2>::= μεγάλο μικρό χοντρό λιγνό ήρεμο <άρθρο1>::= Ï <άρθρο2>::= τον 3. Μια αμαξοστοιχία αποτελείται από μια μηχανή, ένα οποιοδήποτε πλήθος βαγονιών α' θέσης, ένα βαγόνι εστιατόριο ή ένα βαγόνι μπαρ, τουλάχιστον ένα βαγόνι β' θέσης και τελειώνει μ ένα βαγόνι αποσκευών. Σχεδιάστε ένα συντακτικό διάγραμμα, που περιγράφει τη δομή μιας τέτοιας αμαξοστοιχίας. 4. Σχεδιάστε ένα συντακτικό διάγραμμα, που να ορίζει ακριβώς και μόνο τη Ρωμαϊκή παράσταση των αριθμών από 1 ως 10, δηλαδή I, II, III, IV, V, VI, VII, VIII, IX, X. 5. Γράψτε συντακτικούς κανόνες στη BNF, που να παράγουν χημικούς τύπους της μορφής: H4, NaCl, H2O, (C2H2)4CLi2 1.2 Δεδομένα (Data) Tá δεδομένα παριστάνουν πληροφορίες που πρέπει να δοθούν σ ένα πρόγραμμα. Το πρόγραμμα επεξεργάζεται τις πληροφορίες αυτές για να παράγει αποτελέσματα. Τα δεδομένα προέρχονται από το εξωτερικό περιβάλλον (συσκευές εισόδου) ή τη βοηθητική μνήμη (συσκευές μαγνητικών δίσκων ή μαγνητικών ταινιών) του υπολογιστή. Αντιπροσωπεύουν γεγονότα, παρατηρήσεις, μετρήσεις, ιδέες για τον κόσμο κ.ά.. Τα ζωντανά όντα αναγνωρίζουν δεδομένα σε εικόνες, κείμενα, ομιλίες κ.ά., μέσω των αισθήσεών τους. Οι ηλεκτρονικοί υπολογιστές αναγνωρίζουν μόνο κείμενα, δηλαδή ακολουθίες χαρακτήρων, που ανήκουν σε κάποιο σύνολο χαρακτήρων (για παράδειγμα το ASCII, βλ. Κεφ.

23 Προγράμματα, δεδομένα και τύποι ) 1. Το πλήθος των χαρακτήρων αυτών είναι περιορισμένο και περιλαμβάνει συνήθως τα γράμματα του λατινικού αλφαβήτου, τα δεκαδικά ψηφία, τα σημεία στίξης και μερικά μαθηματικά και άλλα σύμβολα. Τα δεδομένα έχουν κάποιον τύπο (type) που ορίζει τη σημασία τους, το σύνολο των τιμών (values) που μπορούν να πάρουν και περιορίζει το τι μπορεί να γίνει μ αυτές τις τιμές. Η Pascal υποστηρίζει τέσσερις βασικούς απλούς τύπους (simple types) δεδομένων, που ονομάζονται integer, char, boolean και real. Οι τιμές αυτών των τύπων ανήκουν σε (γνήσια) υποσύνολα των ακεραίων, των χαρακτήρων (συμβόλων), της αλήθειας και του ψέματος και των πραγματικών αριθμών αντίστοιχα. Η Pascal εφαρμόζει αυστηρό έλεγχο των τύπων (strongly typed), δηλαδή επιτρέπει πολύ σπάνια την ανάμειξη δεδομένων διαφόρων τύπων. Έτσι, στην Pascal, δεν μπορεί (κι ούτε έχει νόημα) να γίνει ο πολλαπλασιασμός ενός δεδομένου τύπου integer μ ένα δεδομένο τύπου char. Μερικά από τα δεδομένα που χρησιμοποιούνται σ ένα πρόγραμμα δεν αλλάζουν ποτέ. Τα δεδομένα αυτά μπορούν να παρασταθούν με σταθερές (constants). Οι σταθερές στην Pascal ορίζονται με τη γραφή του (συμβολικού) ονόματος (αναγνωριστικού) τους, του συμβόλου "=" και της τιμής τους. Για παράδειγμα, evdomadesxronou = 52 Όλοι οι ορισμοί των σταθερών (constant definitions) ενός προγράμματος ακολουθούν την επικεφαλίδα (και το κύριο σχόλιο) του και αρχίζουν με την ειδική λέξη const. Για παράδειγμα οι ορισμοί: const meresergasias = 5; asteriskos = '*'; alnthia = true; pi = ορίζουν τέσσερις σταθερές των τύπων integer, char, boolean και real αντίστοιχα. Ο ορισμός μιας σταθεράς δίνει ένα όνομα σε μια τιμή [Ο μεταγλωττιστής, κατά τη διάρκεια της μεταγλώττισης ενός προγράμματος, αντικαθιστά όλα τα ονόματα των σταθερών του προγράμματος με τις αντίστοιχες τιμές τους]. ëëá δεδομένα υπόκεινται σε αλλαγή. Για παράδειγμα, σ ένα πρόγραμμα ή σ έναν υ- πολογιστή τσέπης που προσθέτει αριθμούς, το τρέχον άθροισμα μεταβάλλεται κάθε φορά που προστίθεται σ αυτό ένας νέος αριθμός. Δεδομένα αυτής της μορφής παριστάνονται με μεταβλητές (variables). Οι μεταβλητές αυτές, όπως και τα πλήκτρα μνήμης των υπολογιστών τσέπης, παριστάνουν θέσεις της κύριας μνήμης του υπολογιστή. Έτσι, όταν θ αναφερόμαστε στην "τιμή μιας μεταβλητής" θα εννοούμε στην πραγματικότητα τα περιεχόμενα της θέσης της μνήμης, που αντιστοιχεί στη μεταβλητή αυτή. Σε αντίθεση με τους υπολογιστές τσέπης, οι ψηφιακοί υπολογιστές μας επιτρέπουν να χρησιμοποιήσουμε όσες μεταβλητές χρειαζόμαστε και να τις ονομάσουμε, όπως μας βολεύει (δε μας περιορίζουν σε ονόματα όπως Μ, STO1 κ.λπ. που χρησιμοποιούν οι υπολογιστές τσέπης). 1 Όπως και στην περίπτωση των ανθρώπων, τα δεδομένα δεν αντιπροσωπεύουν ακριβώς το φυσικό κόσμο. Παρέχουν απλά προσεγγιστικά μοντέλα τμημάτων αυτού.

24