Στοιχεία Θεωρίας Υπολογισµού (1): Τυπικές Γλώσσες, Γραµµατικές

Transcript

1 Στοιχεία Θεωρίας Υπολογισµού (1): Τυπικές Γλώσσες, Γραµµατικές Ορέστης Τελέλης Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 1 / 24

2 Μοντελοποίηση του Υπολογισµού Ποιές οι θεµελιώδεις δυνατότητες και ποιοί οι εγγενείς περιορισµοί των υπολογιστών; Τί µπορούµε και τί δε µπορούµε να υπολογίσουµε (και γιατί); Η µελέτη των ερωτηµάτων αυτων προϋποθέτει ορισµό του υπολογιστή. ηλαδή, ορισµό και κατανόηση της ϕύσης του υπολογισµού. Ισοδύναµα, προϋποθέτει ορισµό της έννοιας του αλγορίθµου. Αφετηρία προς την κατεύθυνση αυτή δίνουν οι εξής παρατηρήσεις: Οι υπολογιστές επεξεργάζονται ακολουθίες συµβόλων. Αποδέχονται/εκτελούν οδηγίες σε καλά ορισµένες τυπικές γλώσσες. Οι οδηγίες αυτές αποτελούνται από ακολουθίες συµβόλων. Οι τυπικές γλώσσες επιτρέπουν την ανάπτυξη υπολογιστικών µοντέλων. Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 2 / 24

3 Αλφάβητο και Λέξεις Αλφάβητο: πεπερασµένο, µη κενό σύνολο από σύµβολα. Σ = { 0, 1 } Σ = { a, b, c } Σ = { while, void, int, for, if... } Λέξη/Συµβολοσειρά: πεπερασµένη ακολουθία συµβόλων του αλφαβήτου , a b b b c a, ένα πρόγραµµα σε C (ή Java, ή C++,... ) Μήκος λέξης: πλήθος συµβόλων της λέξης, συµβολίζεται µε w. Κενή Λέξη: Λέξη µηδενικού µήκους, συµβολίζεται µε ɛ (ή µε λ). Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 3 / 24

4 Πράξεις µε Λέξεις Παράθεση των λέξεων x και y: x y ή απλώς xy. Π.χ., παράθεση των 010 και 10 δίνει Επανάληψη της λέξης w k ϕορές: w k = k ϕορές {}}{ w w w. Αντίστροφη w R της λέξης w: προκύπτει γράφοντας την w «ανάποδα». (100) R = 001, (abcc) R = ccba. Παλινδροµική Λέξη: w = w R, π.χ.: (010) R = 010. Για κάθε δύο λέξεις x και y: (x y) R = y R x R. x υπολέξη της w αν: w = y x z. Επιτρέπεται είτε y = ɛ είτε z = ɛ (ή και τα δύο). Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 4 / 24

5 Πράξεις σε αλφάβητο Σ k : σύνολο λέξεων µήκους k 0 που αποτελούνται από σύµβολα του Σ. { 0, 1 }2 = { 00, 01, 10, 11 }. { a, b, c } 2 = { ab, bc, ac, ca, cb, ba }. Παρατήρηση: Σ 0 = {ɛ}, για κάθε αλφάβητο Σ. Σ : σύνολο όλων των λέξεων επί του Σ: Σ = k N Σ k Π.χ., { 0, 1 } = { ɛ, 0, 1, 00, 01, 10, 11, 000, 001,... }. Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 5 / 24

6 Τυπικές Γλώσσες Τυπική Γλώσσα L επί του αλφαβήτου Σ: ένα υποσύνολο του Σ. Με άπειρο ή πεπερασµένο πλήθος συµβολοσειρών (λέξεων) - αριθµήσιµο. Παραδείγµατα γλωσσών επί του αλφαβήτου Σ = { 0, 1, 2 }: { 012, 120, 201, 210, 102, 021 } = Σ 3 { ɛ, 0, 00, 000,... } { w Σ : το τελευταίο ψηφίο του w είναι 1 }. { } = (η κενή γλώσσα). { ɛ } η γλώσσα που περιέχει µόνο την κενή λέξη. Γλώσσα C = { w : w συντακτικά ορθό πρόγραµµα σε C } Κάθε συντακτικά ορθό πρόγραµµα είναι µία λέξη της γλώσσας. Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 6 / 24

7 Πράξεις µε Γλώσσες Πράξεις Συνόλων: ένωση, τοµή, διαφορά, συµπλήρωµα,... Παράθεση: L 1 L 2 = L 1 L 2 = { w = x 1 x 2 : όπου x 1 L 1, x 2 L 2 } Π.χ., αν L 1 = { 0, 00, 11 } και L 2 = { ɛ, 1 }: L 1 L 2 = { 0, 00, 11, 01, 001, 111 } Παράθεση Γλώσσας µε την ίδια: L 2 = { w = x 1 x 2, για x 1 L και x 2 L } Παράθεση Γλώσσας k φορές: L k = { w = x 1 x 2 x k, για x 1, x 2,..., x k L } Προσοχή: για κάθε γλώσσα L: L 0 = {ɛ} Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 7 / 24

8 Πράξεις µε Γλώσσες Παράθεση κάθε (πεπερασµένου) πλήθους λέξεων της L: L = k N L k (Παρατήρηση: k 0.) Παράδειγµα: L = { a, bb } = L = { ɛ, a, bb, abb, bba, aabb, bbaa, abba,... } Επίσης: L = { ɛ } L = { ɛ } L = L = { ɛ } Παράθεση θετικού πεπερασµένου πλήθους λέξεων της L: L + = L k (Παρατήρηση: k 1.) k Z + Πότε είναι L = L + ; Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 8 / 24

9 Μέθοδοι Αναπαράστασης Γλωσσών Απαρίθµηση των λέξεών τους, όταν είναι πεπερασµένες. ιατύπωση κοινής χαρακτηριστικής ιδιότητας που έχουν οι λέξεις: L 1 = { w {0, 1} : w έχει άρτιο πλήθος από 1 } L 2 = { 0 n 1 n : n 0 }. Συνολοθεωρητικές πράξεις επί άλλων γνωστών γλωσσών, π.χ., L 1 L 2. Γραµµατικές: µηχανισµοί παραγωγής λέξεων της γλώσσας. Υπολογιστικές Μηχανές: αποφασίζουν αν µια λέξη ανήκει στη γλώσσα. Ενας συντακτικός αναλυτής αποφασίζει αν ένα πρόγραµµα C είναι ορθό. Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 9 / 24

10 Γραµµατική οµής Φράσεως G = (V, T, S, P) Αλφάβητο Γραµµατικής, V: περιέχει όλα τα σύµβολα της γραµµατικής. Σύνολο τερµατικών συµβόλων: T V. Οι λέξεις της γλώσσας αποτελούνται µόνο από τερµατικά σύµβολα. Σύνολο µη τερµατικών συµβόλων: N = V \ T. Εχουν ϱόλο «µεταβλητών»: αντικαθίστανται σύµφωνα µε κανόνες. Συµβολίζονται συνήθως µε κεφαλαία γράµµατα. Εναρκτήριο (Αρχικό) Σύµβολο: S N. (µη τερµατικό) Η παραγωγή λέξεων εκκινεί από το S και ακολουθεί κανόνες παραγωγής. Σύνολο Κανόνων Παραγωγής P (V N V ) V. ιµελής σχέση που συσχετίζει λέξεις µε µη τερµατικά, µε άλλες λέξεις. Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 10 / 24

11 Παράδειγµα Γραµµατική G = (V, T, S, P) µε: V = { a, b, A, B, S }, T = { a, b }, αρχικό σύµβολο S και σύνολο κανόνων παραγωγής P: P = { S ABa, A BB, B ab, AB b } Λέξεις που παράγονται από τη G: b a S ABa, AB b a b a b a b a S ABa, A BB, B ab ( 3) a b a b a b a S ABa, B ab, A BB, B ab ( 2) Είναι εποµένως L(G) = { ba, abababa }. Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 11 / 24

12 Σχέσεις Παραγωγής Εστω: w 0 = l z 0 r V και w 1 = l z 1 r V. Αν: z 0 z 1 P, Λέµε ότι: «η w 1 παράγεται άµεσα από την w 0». Γράφουµε: w 0 w 1. Εστω: w 0, w 1,..., w n V. Αν: w i w i+1, για i = 0,..., n 1, Λέµε ότι: «η w n παράγεται από την w 0». Γράφουµε: w 0 w n. Γλώσσα Γραµµατικής G: L(G) = { w T : S w } Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 12 / 24

13 Παραδείγµατα Ποιά γλώσσα παράγει η γραµµατική G = (V, T, S, P), µε: 1. V = { S, A, a, b }, T = { a, b}, P = {S aa, S b, A aa} 2. V = { 0, 1, S }, T = { 0, 1 }, P = { S 11S, S 0 } Να δοθούν γραµµατικές δοµής ϕράσεως που παράγουν τις γλώσσες: 3. { 0 n 1 n : n = 0, 1, 2,... } 4. { 0 m 1 n : m, n N } 5. { 0 n 1 n 2 n : n N } Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 13 / 24

14 Παράδειγµα (1) Ποιά γλώσσα παράγει η γραµµατική G = (V, T, S, P) µε: V = { S, A, a, b }, T = { a, b}, P = {S aa, S b, A aa} Με δοκιµές: Ξεκινώντας από το αρχικό σύµβολο, S, έχουµε δύο δυνατές παραγωγές: S aa και S b Η δεύτερη παραγωγή µας δίνει τη λέξη b. Συνεχίζοντας από την πρώτη, µε τον κανόνα A aa λαµβάνουµε aaa. Εποµένως, είναι L(G) = { aaa, b}. Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 14 / 24

15 Παράδειγµα (2) Ποιά γλώσσα παράγει η γραµµατική G = (V, T, S, P) µε: V = { 0, 1, S }, T = { 0, 1 }, P = { S 11S, S 0 } Με δοκιµές: Ξεκινώντας έχουµε S 0, εποµένως 0 L(G). Εχουµε επίσης S 11S. Στη συνέχεια, χρησιµοποιώντας S 0, συµπεραίνουµε 110 L(G). Μπορούµε επίσης να συνεχίσουµε µε S 11S και να λάβουµε 1111S. Συνεχίζοντας µε S 0, συµπεραίνουµε L(G). ιαισθητικά συµπεραίνουµε ότι L(G) = { 0, 110, 11110, ,... } Οι λέξεις µε άρτιο πλήθος από 1 και ένα µοναδικό 0 στο τέλος. Αυτό αποδεικνύεται επαγωγικά. Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 15 / 24

16 Παράδειγµα (3) Να δοθεί γραµµατική δοµής ϕράσεως που παράγει τη γλώσσα: { 0 n 1 n n = 0, 1, 2,... } Παρατηρούµε ότι ɛ L(G) (για n = 0). Εισάγουµε έναν κανόνα S ɛ. Επειδή «πλήθος 0» = «πλήθος των 1», εισάγουµε τον κανόνα S 0 S 1. Αποδεικνύεται επαγωγικά ότι η γραµµατική αυτή είναι ορθή. G = ( V = {0, 1, S}, T = {0, 1}, S, P = { S ɛ, S 0 S 1 } ) Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 16 / 24

17 Παράδειγµα (4α) Να δοθεί γραµµατική δοµής ϕράσεως που παράγει τη γλώσσα: { 0 m 1 n m και n είναι µη αρνητικοί ακέραιοι } Μια γραµµατική G 1 = (V, T, S, P) που παράγει τη γλώσσα είναι ως εξής: Αλφάβητο Γραµµατικής G 1 : V = { 0, 1, S }. Τερµατικά Σύµβολα της G 1 : T = { 0, 1 }. Μη τερµατικά Σύµβολα της G 1 : N = { S }. Παραγωγές της G 1 : P = { S ɛ, S 0S, S S1 }. Παρατηρούµε ότι παράγεται η λέξη ɛ και επιπλέον για κάθε άλλη παραγωγή πεπερασµένου πλήθους ϐηµάτων έχουµε ένα S διαθέσιµο για αντικατάσταση, είτε µε 0S, είτε µε S1 (όσες ϕορές επιθυµούµε). Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 17 / 24

18 Παράδειγµα (4β) Να δοθεί γραµµατική δοµής ϕράσεως που παράγει τη γλώσσα: { 0 m 1 n m και n είναι µη αρνητικοί ακέραιοι } Μια δεύτερη γραµµατική G 2 = (V, T, S, P) που παράγει τη γλώσσα: Αλφάβητο Γραµµατικής G 2 : V = { 0, 1, S, A }. Τερµατικά Σύµβολα της G 2 : T = { 0, 1 }. Μη τερµατικά Σύµβολα της G 2 : N = { S, A }. Παραγωγές της G 2 : P = { S ɛ, S 0S, S 1A, S 1, A 1A, A 1 } Παράγει ακριβώς την ίδια Ϲητούµενη γλώσσα µε την G 1 που παρουσιάστηκε προηγουµένως. Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 18 / 24

19 Παράδειγµα (5) Να δοθεί γραµµατική δοµής ϕράσεως που παράγει τη γλώσσα: { 0 n 1 n 2 n : n N } Παράγεται από τη γραµµατική G = (V, T, S, P), µε: Αλφάβητο: V = { 0, 1, 2, S, A, B, C }. Τερµατικά Σύµβολα: T = { 0, 1, 2 }. Μη τερµατικά Σύµβολα: N = { S, A, B, C }. Σύνολο Παραγωγών: P = { S C, C 0CAB, S ɛ, BA AB, 0A 01, 1A 11, 1B 12, 2B 22 } Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 19 / 24

20 Τύποι Γραµµατικών οµής Φράσεως Τύπος Επιτρεπτά Είδη Κανόνων Περιορισµοί 0 Ολα τα είδη 1 l A r l w r, S ɛ l, r V, w V + Αν υπάρχει S ɛ, το S να µην εµφανίζεται στα δεξιά άλλου κανόνα. 2 A w A V \ T, w V 3 A a B, A a, S ɛ A, B V \ T, a T Γλώσσα Τύπου 3: { 0 m 1 n : m, n N }. Γλώσσα Τύπου 2: { 0 n 1 n : n N }. Γλώσσα Τύπου 1: { 0 n 1 n 2 n : n N }. Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 20 / 24

21 Τύποι Γραµµατικών και Γλωσσών Τύπου 3: Κανονικές ( Regular) Γραµµατικές Παράγουν Κανονικές Γλώσσες Τύπου 2: Γραµµατικές χωρίς Συµφραζόµενα (Context-Free) Παράγουν Γλώσσες Χωρίς Συµφραζόµενα Χρησιµοποιούνται για την περιγραφή γλωσσών προγραµµατισµού. Τύπου 1: Γραµµατικές µε Συµφραζόµενα (Context-Free). Κάθε γραµµατική Τύπου t είναι και Τύπου t 1. Μια γλώσσα είναι Τύπου t αν παράγεται από γραµµατική Τύπου t, αλλά όχι από γραµµατική Τύπου t + 1. Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 21 / 24

22 Μηχανές Πεπερασµένων Καταστάσεων Πεπερασµένα Αυτόµατα Απλοϊκές µηχανές που δέχονται σαν είσοδο µία συµβολοσειρά. Σε κάθε βήµα υπολογισµού: 1. ιαβάζουν το επόµενο σύµβολο της συµβολοσειράς εισόδου. 2. Ανάλογα µε το σύµβολο που διαβάζουν, µεταβαίνουν σε µία κατάσταση. Εχουν πεπερασµένο πλήθος καταστάσεων. Εχουν µία αρχική κατάσταση από την οποία εκκινούν. Εχουν µία ή περισσότερες καταστάσεις αποδοσχής. Αποδέχονται την είσοδο, αν στο τέλος του υπολογισµού ϐρίσκονται σε κάποια από αυτές τις καταστάσεις. Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 22 / 24

23 Πεπερασµένα Αυτόµατα - Αναγνωριστές Γλώσσας Ενα αυτόµατο πεπερασµένων καταστάσεων (πεπερασµένο αυτόµατο): αποτελείται από: M = (S, Σ, δ, s 0, F) Πεπερασµένο Σύνολο Καταστάσεων Πεπερασµένο Αλφάβητο Εισόδου Συνάρτηση Μεταβάσεων Αρχική Κατάσταση Σύνολο Καταστάσεων Αποδοχής S Σ δ : S Σ S s 0 S F S Κάθε λέξη εισόδου που αποδέχεται το αυτόµατο ανήκει στη γλώσσα που αναγνωρίζει. Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 23 / 24

24 Παράδειγµα Σύνολο Καταστάσεων: S = { s 0, s 1, s 2, s 3 }. Αλφάβητο Εισόδου: Σ = { 0, 1 }. Αρχική Κατάσταση: s 0. Σύνολο Καταστάσεων Αποδοχής: F = { s 0, s 3 }. Συνάρτηση Μεταβάσεων: δ : S Σ S, όπως απεικονίζεται παρακάτω. δ 0 1 s 0 s 0 s 1 s 1 s 0 s 2 s 2 s 0 s 0 s 3 s 2 s 1 s 0 0 s , 1 0 s 2 s 3 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 24 / 24