Γλώσσες Προγραμματισμού Μεταγλωττιστές. Λεκτική Ανάλυση II

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "Γλώσσες Προγραμματισμού Μεταγλωττιστές. Λεκτική Ανάλυση II"

Transcript

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

2 Δομή Ππρασμένα Αυτόματα Νττρμινιστικά Ππρασμένα Αυτόματα Μη-Νττρμινιστικά Ππρασμένα Αυτόματα Μη-Νττρμινιστικά Ππρασμένα Αυτόματα μ Μηδνικές Μταβάσις Αναγωγές Αυτομάτων και Γραμματικών. Υλοποίηση Λκτικών Αναλυτών Προβλήματα Προσομοίωση ΠΑ Διαγράμματα Μτάβασης Σφάλματα

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

4 Νττρμινιστικά Ππρασμένα Αυτόματα Αποτλούνται από Ππρασμένο σύνολο καταστάσων Q Σύνολο συμβόλων ισόδου (αλφάβητο) Σ Συνάρτηση μτάβασης δ η οποία ορίζι για κάθ κατάσταση q i και σύμβολο Σ μια νέα κατάσταση q j Q Αρχική κατάσταση q 0 Τλικές καταστάσις F Q

5 Λιτουργία του ΝΠΑ Αρχικά το αυτόματο "βρίσκται" στην αρχική κατάσταση. Το αυτόματο δέχται σύμβολα από την συμβολοσιρά ισόδου και ανάλογα μ το σύμβολο μταβαίνι στην κατάσταση που ορίζται από την συνάρτηση μτάβασης. Αφού "καταναλωθί" η συμβολοσιρά αν το αυτόματο βρίσκται σ μια από τις τλικές καταστάσις τότ αναγνωρίζι τη συμβολοσιρά. Διαφορτικά τη απορρίπτι.

6 Παράδιγμα Αλφάβητο Σ = {,} Καταστάσις Q = {0,1,2,3} Συνάρτηση Μτάβασης δ(0,)=1 δ(1,)=1 δ(2,)=2 δ(3,)=2 δ(0,)=2 δ(1,)=3 δ(2,)=2 δ(3,)=3 Τλικές Καταστάσις F = {3}

7 Διαγραμματική Αναπαράσταση (Γράφος Μτάβασης)

8 Διαγραμματική Αναπαράσταση (Γράφος Μτάβασης) 'Αλλς Συμβολοσιρές που αναγνωρίζι;, Κανονική Έκφραση ++ **

9 Αυστηρός Ορισμός της Λιτουργίας του ΝΠΑ Συνάρτηση δ*(q,σ), όπου σ μια συμβολοσιρά. δ*(q,)=q δ*(q,σ')= δ(δ*(q,σ'),)

10 Κατάσταση Παγίδυσης Κατάσταση στην οποία καμιά συμβολοσιρά δν οδηγί σ τλική κατάσταση

11 Αναγνώριση μιας Συμβολοσιράς από ένα ΝΠΑ Έτσι για παράδιγμα η συμβολοσιρά "then" μπορί να αναγνωριστί από το αυτόματο: t h e n

12 Μη-Νττρμινιστικά Ππρασμένα Αυτόματα Είναι δυνατό από μια κατάσταση να υπάρχουν πρισσότρς από μια μταβάσις για το ίδιο σύμβολο ισόδου. Σ ποια κατάσταση θα βρθί το αυτόματο; Μη-Νττρμινισμός! δ(0,) = {0,1} 0 1

13 Μη-Νττρμινιστικά Ππρασμένα Αυτόματα Αποτλούνται από: Ππρασμένο σύνολο καταστάσων Q Σύνολο συμβόλων ισόδου (αλφάβητο) Σ Συνάρτηση μτάβασης δ η οποία ορίζι για κάθ κατάσταση q i και σύμβολο Σ ένα σύνολο καταστάσων Q j P(Q). Αρχική κατάσταση q 0 Τλικές καταστάσις F Q Στην πρίπτωση αυτή το αυτόματο αναγνωρίζι τη συμβολοσιρά αν υπάρχι τουλάχιστον ένα μονοπάτι κτέλσης που να οδηγί σ μια τλική κατάσταση.

14 Παράδιγμα ΜΠΑ (i) Τι αναγνωρίζι το ακόλουθο αυτόματο;

15 Παράδιγμα ΜΠΑ (ii) Κανονική Έκφραση ( )*

16 Αυστηρός Ορισμός της Λιτουργίας του ΜΠΑ Συνάρτηση δ*(q,σ), όπου σ μια συμβολοσιρά. Ορίζται η συνάρτηση δ για σύνολα καταστάσων: δ (R,) = q R δ(q,) Η λιτουργία του αυτομάτου ορίζται ως δ*(q,)={q} δ*(q,σ')=δ (δ*(q,σ'),)

17 Μη-Νττρμινιστικά ΠΑ μ Μηδνικές Μταβάσις Μη-νττρμινιστικά αυτόματα μ "αυθόρμητς" μταβάσις Κνή συμβολοσιρά μέρος του αλφάβητου που δέχται το αυτόματο. "Αυθόρμητη μτάβαση": Μτάβαση σ μια κατάσταση μ βάση την κνή συμβολοσιρά [δ(q,)] 0 1 2

18 Μη-Νττρμινιστικά ΠΑ μ Μηδνικές Μταβάσις Αποτλούνται από: Ππρασμένο σύνολο καταστάσων Q Σύνολο συμβόλων ισόδου (αλφάβητο) Σ Συνάρτηση μτάβασης δ η οποία ορίζι για κάθ κατάσταση q i και σύμβολο Σ {} ένα σύνολο καταστάσων Q j P(Q). Αρχική κατάσταση q 0 Τλικές καταστάσις F Q Οι μταβάσις μπορούν να γίνουν μ 2 τρόπους: Σαν "κανονικό" ΜΠΑ Αυθόρμητα από μια μτάβαση που ορίζται από δ(q i,)

19 Παράδιγμα ΜΠΑ- ( )( )*

20 -Κλίσιμο Ορίζται ως -κλίσιμο(q i ) το σύνολο των καταστάσων οι οποίς ίναι προσβάσιμς από την κατάσταση q i μόνο μ -μταβάσις. Αναδρομικά ορίζται ως -κλίσιμο 0 (R) = R -κλίσιμο n+1 (R) = {δ(q,) q -κλίσιμο n (R)} -κλίσιμο(r) = {-κλίσιμο n (R)} όπου R ένα σύνολο καταστάσων του αυτομάτου.

21 Παράδιγμα -κλίσιμο(0) -κλίσιμο(0) = {1,5,7,4}

22 Αυστηρός Ορισμός της Λιτουργίας του ΜΠΑ- Συνάρτηση δ*(q,σ), όπου σ μια συμβολοσιρά. Δδομένου ότι η συνάρτηση δ ίναι: δ (R,) = q R δ(q,) Η λιτουργία του αυτομάτου ορίζται ως δ*(q,) = -κλίσιμο({q}) δ*(q,σ') = -κλισιμο(δ (δ*(q,σ'),))

23 Γλώσσς Προγραμματισμού Μταγλωττιστές Αναγωγές Ππρασμένων Αυτομάτων, Κανονικών Γραμματικών και Κανονικών Εκφράσων

24 Αναγωγές Είναι δυνατό να γίνουν οι ακόλουθς αναγωγές Από μια κανονική γραμματική σ ένα ΜΠΑ- Από ένα ΜΠΑ- σ κανονική γραμματική Από μια κανονική έκφραση σ ΜΠΑ- Από ΜΠΑ- σ κανονική έκφραση Ενδιαφέρον στην κατασκυή μταγλωττιστών έχουν οι αναγωγές σ ΜΠΑ- από κανονικές κφράσις και κανονικές γραμματικές.

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

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

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

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

29 Αναγωγές (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

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

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

32 Παράδιγμα Αναγωγής ΚΕ σ ΜΠΑ- Κανονική Έκφραση α(α β)*β

33 Υλοποίηση ΝΠΑ; Πρόγραμμα το οποίο υλοποιί το ππρασμένο αυτόματο. s=s0; c = nextchr(); while (c!=eof){ s = move(s,c); c = nextchr();} if (s is in F) return "yes"; else return "no";

34 Μη-Νττρμινιστικά ΠΑ Υπάρχι πρόγραμμα που υλοποιί MΠΑ, όμως η πολυπλοκότητα του ίναι μγάλη. Άρα Μτατροπή των ΜΠΑ και ΜΠΑ- σ ΝΠΑ. Βασική ιδέα Εφόσον σ κάθ μτάβαση ένα ΜΠΑ μπορί να ίναι σ ένα σύνολο καταστάσων, το αντίστοιχο ΝΠΑ έχι σαν καταστάσις σύνολα καταστάσων του ΜΠΑ. Ομαδοποίηση καταστάσων ΜΠΑ σ μια νέα Κατάσταση.

35 Ορισμός Μτατροπής Έστω ΜΠΑ- και (Σ,Q,δ,q 0,F). Το αντίστοιχο ΝΠΑ (Σ',Q',δ',q' 0,F') έχι: Σ' = Σ Q' = P(Q), το δυναμοσύνολο των καταστάσων Q δ'(q',) = -κλίσιμο(δ (q',)), q' P(Q) q' 0 = -κλίσιμο(q 0 ) F' = {q' P(Q) q' F }

36 Βήματα Μτατροπής (i) Παραγωγή όλων των νέων καταστάσων P(Q). Δημιουργία της συνάρτησης μτάβασης, σύμφωνα μ την συνάρτηση δ. Αρχική κατάσταση ίναι το -κλίσιμο της αρχικής κατάστασης. Τλικές καταστάσις όλς κίνς που πριέχουν μια τλική κατάσταση του αρχικού ΜΠΑ.

37 Βήματα Μτατροπής (ii) Μπορί να γίνι η κατασκυή αυτόματα. Πρόβλημα: Πολλές μη-προσβάσιμς (απρόσιτς) καταστάσις, δηλαδή καταστάσις για τις οποίς δν υπάρχι συμβολοσιρά που να οδηγί το αυτόματα από την αρχική σ αυτή τη συμβολοσιρά. Διαγραφή από το αυτόματο. Απλός αλγόριθμος που πισκέπτται όλς τις προσιτές καταστάσις και διαγράφι τις υπόλοιπς.

38 Αλγόριθμος Μτατροπής (λιγότρς απρόσιτς καταστάσις) ΜΠΑ- (Σ,Q,δ,q 0,F) σ ΝΠΑ (Σ',Q',δ',q' 0,F'). q' 0 := e-closure({q 0 }) Q' := {q' 0 } S := {} while ( q' Q'-S) forll Σ q'' := e-closure(δ (q',)) δ'(q',) := q'' Q' := Q' {q''} S := S {q'} F' := {q' Q' q' F }

39 Ελαχιστοποίηση ΝΠΑ Όμως, οι λιγότρς δυνατές καταστάσις του ΝΠΑ, οδηγούν σ αποδοτικότρο κώδικα. Διαγραφή ισοδύναμων καταστάσων. Δύο καταστάσις q 1 και q 2 διακρίνονται από μια συμβολοσιρά σ, όταν δ*(q 1,σ) ίναι τλική κατάσταση νώ δ*(q 2,σ) δν ίναι τλική. Όταν δύο καταστάσις δν διακρίνονται, τότ ίναι ισοδύναμς. Οι ισοδύναμς καταστάσις μπορούν να συγχωνυτούν σ μια.

40 Αλγόριθμος Ελαχιστοποίησης ΝΠΑ (Σ,Q,δ,q 0,F) Τ:= {(q i,q j ) i<j, όπου μόνο ένα των q i,q j ίναι τλική κατάσταση} S:={ (q i,q j ) i<j, όπου ταυτόχρονα τα q i,q j ίναι τλικές ή μη τλικές κατάστασις (ισοδύναμς)} repet forll (q i,q j ) of S forll in Σ q' i = δ(q i,) q' j = δ(q j,) if (q' i,q' j ) T (or (q' j,q' i ) T) Τ:= T {(q i,q j )} S:=S {(q i,q j )} until δν γίνονται αλλαγές στα S και T

41 Υλοποίηση Λκτικών Αναλυτών

42 Υλοποίηση ΛΑ (Ι) Άρα η υλοποίηση του λκτικού αναλυτή αφορά την σχδίαση των ΜΠΑ- που αντιστοιχούν σ κάθ λκτική μονάδα. Συνδυασμός των ΜΠΑ- σ ένα, Τα ΜΠΑ- νώνονται σ ένα ΜΠΑ- μ μηδνικές μταβάσις από μια νέα αρχική κατάσταση στις αρχικές καταστάσις των ΜΠΑ- για κάθ λκτική μονάδα. i f t h e n

43 Υλοποίηση ΛΑ (ΙΙ) Πρόβλημα: Οι λκτικές μονάδς ίναι μέρος μιας μγάλης συμβολοσιράς ισόδου. Αναγνώριση προθέματος χωρίς να ίναι γνωστό το τέλος της. Παράδιγμα: Αναγνώριση των λκτικών ">" "=" ">=" Επισκόπηση πιπλέον χαρακτήρων και κατάλληλη οπισθοδρόμηση. Ορισμένοι χαρακτήρς "διαβάζονται" πρισσότρς από μια φορές. Αναγνώριση της συμβολοσιράς μ το μγαλύτρο μήκος.

44 Παράδιγμα > 1 2 = > 5 6 = 7

45 Λιτουργία Σύνολο S που πριλαμβάνι αρχικά τις καταστάσις - κλίσιμο(q 0 ). Ανάγνωση συμβόλου σ από την ίσοδο και δημιουργία συνόλου S' από τις καταστάσις για τις οποίς υπάρχι μτάβαση για το σ από τις καταστάσις του S. Παραπάνω διαδικασία γίνται έως ότου να μην υπάρχουν άλλς μταβάσις, δηλαδή S' = {}. Το πλέον πρόσφατο σύνολο μ μια τλική κατάσταση ονομάζται πιτυχημένο σύνολο. Η λκτική μονάδα αυτής της κατάστασης πιστρέφται. Το αυτόματο οπισθοδρομί τόσους χαρακτήρς όσους έπονται από το πιτυχημένο σύνολο.

46 Παράδιγμα Αναγνώριση της >=8 0 > > 5 = 3 6 = 7 > =

47 Υλοποίηση μ ΝΠΑ Δημιουργούμ το συνολικό ΜΠΑ-. Μτατροπή σ ΝΠΑ, διαγραφή απρόσιτων καταστάσων και λαχιστοποίηση. Προσομοιώνουμ το αυτόματο μέχρι να έλθι σ ένα σημίο για το οποίο δν υπάρχι μτάβαση. Οπισθοδρομούμ μέχρι να φτάσουμ σ μια απο τις τλικές καταστάσις του ΝΠΑ, όπου γίνονται οι νέργις που σχτίζονται μ αυτή.

48 Γλώσσς Προγραμματισμού Μταγλωττιστές Διαγράμματα Μτάβασης

49 Διαγράμματα Μτάβασης Τροποποιημένα ΝΠΑ που απικονίζουν ύγλωττα τις λιτουργίς του Λκτικού Αναλυτή. Διαφορές ΔΜ και ΝΠΑ Από τις τλικές καταστάσις δν υπάρχουν μταβάσις. Σ κάθ τλική κατάσταση αντιστοιχί κωδικός ξόδου, μοναδικός για κάθ λκτική μονάδα. Στις τλικές καταστάσις σημιώνονται ο αριθμός των συμβόλων (n) που πρέπι να οπισθοδρομήσι το αυτόματο, μ το συμβολισμό *n. Κατασκυή μ μπιρικό τρόπο (συνήθως)

50 Κατασκυή ΔΜ Για κάθ ομάδα λκτικών κατασκυάζται το ΝΠΑ και τον αντίστοιχο γράφο μτάβασης. Συμπληρώνται ο γράφος μτάβασης ώστ να προκύψι το ΔΜ. Συνδυάζονται τα ΔΜ ώστ να προκύψι το συνολικό ΔΜ του λκτικού αναλυτή.

51 Παράδιγμα (1) Γράφοι Μτάβασης Αναγνωριστικών L 1 2 L D Διάγραμμα Μτάβασης L L όχι L/D * (Τ_ID) D

52 Παράδιγμα (2) Γράφοι Μτάβασης > = > Διάγραμμα Μτάβασης > 0 1 = 2 (Τ_GE) όχι = * 3 (Τ_GT)

53 Ανάνηψη από Σφάλματα Εντοπισμός σχτικά μικρού αριθμού σφαλμάτων λόγω της πριορισμένης οπτικής. Έστω το ακόλουθο: whille (x>0) {..} Στρατηγικές ανάνηψης: Μέθοδος πανικού (pnic mode): Διαγραφή συμβόλων μέχρι να βρθί κατάλληλο πρόθμα. Διαγραφή/ισαγωγή/αντικατάσταση χαρακτήρα. Αντιμτάθση δύο χαρακτήρων.

54 Σύνοψη Ππρασμένα Αυτόματα Νττρμινιστικά Ππρασμένα Αυτόματα Μη-Νττρμινιστικά Ππρασμένα Αυτόματα Μη-Νττρμινιστικά Ππρασμένα Αυτόματα μ Μηδνικές Μταβάσις Αναγωγές Αυτομάτων και Γραμματικών. Υλοποίηση Λκτικών Αναλυτών Προβλήματα Προσομοίωση ΠΑ Διαγράμματα Μτάβασης Σφάλματα

Πεπερασμένα Αυτόματα. Πεπερασμένα Αυτόματα. Ορισμός. Παράδειγμα

Πεπερασμένα Αυτόματα. Πεπερασμένα Αυτόματα. Ορισμός. Παράδειγμα Ππρασμένα Αυτόματα Διδάσκοντς: Φ. Αφράτη, Δ. Φωτάκης Επιμέλια διαφανιών: Δ. Φωτάκης Σχολή Ηλκτρολόγων Μηχανικών Μηχανικών Υπολογιστών Εθνικό Μτσόβιο Πολυτχνίο Ππρασμένα Αυτόματα ίναι απλούστρς υπολογιστικές

Διαβάστε περισσότερα

Σειρά Προβλημάτων 2 Λύσεις

Σειρά Προβλημάτων 2 Λύσεις ΕΠΛ211: Θωρία Υπολογισμού και Πολυπλοκότητα Άσκηση 1 Σιρά Προβλημάτων 2 Λύσις Να δώστ κανονικές κφράσις που να πριγράφουν τις πιο κάτω γλώσσς. (α) { w {,} * η w δν πριέχι δύο συνχόμνα όμοια γράμματα }

Διαβάστε περισσότερα

Σειρά Προβλημάτων 2 Λύσεις

Σειρά Προβλημάτων 2 Λύσεις ΕΠΛ2: Θωρία Υπολογισμού και Πολυπλοκότητα Άσκηση Σιρά Προβλημάτων 2 Λύσις Να μτατρέψτ τα πιο κάτω DFA στις κανονικές κφράσις που τα πριγράφουν χρησιμοποιώντας τη διαδικασία που παρουσιάζται στις διαφάνις

Διαβάστε περισσότερα

Μεταγλωττιστές. Ενότητα 4: Τυπικές γλώσσες (Μέρος 3 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ

Μεταγλωττιστές. Ενότητα 4: Τυπικές γλώσσες (Μέρος 3 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ Μεταγλωττιστές Ενότητα 4: Τυπικές γλώσσες (Μέρος 3 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό

Διαβάστε περισσότερα

Σειρά Προβλημάτων 2 Λύσεις

Σειρά Προβλημάτων 2 Λύσεις ΕΠΛ2: Θωρία Υπολογισμού και Πολυπλοκότητα Άσκηση [5 μονάδς] Σιρά Προβλημάτων 2 Λύσις Να δώστ κανονικές κφράσις που να πριγράφουν τις πιο κάτω γλώσσς πί του αλφάβητου Α = {, }. (α) Όλς οι λέξις πί του αλφάβητου

Διαβάστε περισσότερα

Μεταγλωττιστές. Γιώργος Δημητρίου. Μάθημα 2 ο. Πανεπιστήμιο Θεσσαλίας - Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών

Μεταγλωττιστές. Γιώργος Δημητρίου. Μάθημα 2 ο. Πανεπιστήμιο Θεσσαλίας - Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών Γιώργος Δημητρίου Μάθημα 2 ο Αλφάβητα και Γλώσσες Αλφάβητο: Ένα μη κενό και πεπερασμένο σύνολο συμβόλων Γλώσσα: Ένα οποιοδήποτε υποσύνολο των συμβολοσειρών ενός αλφαβήτου (οι προτάσεις της γλώσσας, πχ.

Διαβάστε περισσότερα

ΕΞΙΣΩΣΗ ΣΦΑΙΡΑΣ. είναι όλοι ίσοι και επιπλέον δεν υπάρχουν οι όροι xy, yz, zx. Γενικά µια εξίσωση της µορφής: 0 + Β + Α.

ΕΞΙΣΩΣΗ ΣΦΑΙΡΑΣ. είναι όλοι ίσοι και επιπλέον δεν υπάρχουν οι όροι xy, yz, zx. Γενικά µια εξίσωση της µορφής: 0 + Β + Α. Suies & Publishing ΣΟΛΩΜΟΥ 9 ΠΟΛΥΤΕΧΝΕΙΟ ΤΗΛ.:.38..57 www.arnοs.gr 3 Ο γωµτρικός τόπος των σηµίων που έχουν σταθρή απόσταση από το σηµίο,, του 3 ονοµάζται σφαίρα. Η σφαίρα µ κέντρο το,, και ακτίνα έχι

Διαβάστε περισσότερα

Σειρά Προβλημάτων 2 Λύσεις

Σειρά Προβλημάτων 2 Λύσεις ΕΠΛ2: Θωρία Υπολογισμού και Πολυπλοκότητα Σιρά Προβλημάτων 2 Λύσις Άσκηση Να μτατρέψτ τα πιο κάτω DFA στις κανονικές κφράσις που τα πριγράφουν χρησιμοποιώντας τη διαδικασία που πριγράφται στις διαφάνις

Διαβάστε περισσότερα

Σειρά Προβλημάτων 2 Λύσεις

Σειρά Προβλημάτων 2 Λύσεις ΕΠΛ2: Θωρία Υπολογισμού και Πολυπλοκότητα Άσκηση Σιρά Προβλημάτων 2 Λύσις Να μτατρέψτ τo πιο κάτω NFA στην κανονική έκφραση που το πριγράφι χρησιμοποιώντας τη διαδικασία που πριγράφται στις διαφάνις 2

Διαβάστε περισσότερα

Μεταγλωττιστές. Ενότητα 5: Λεκτική ανάλυση (Μέρος 1 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ

Μεταγλωττιστές. Ενότητα 5: Λεκτική ανάλυση (Μέρος 1 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ Μεταγλωττιστές Ενότητα 5: Λεκτική ανάλυση (Μέρος 1 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό

Διαβάστε περισσότερα

4.1 ΕΥΘΕΙΕΣ ΚΑΙ ΕΠΙΠΕ Α ΣΤΟ ΧΩΡΟ

4.1 ΕΥΘΕΙΕΣ ΚΑΙ ΕΠΙΠΕ Α ΣΤΟ ΧΩΡΟ 1 4.1 ΥΙΣ ΚΙ Ι ΣΤΟ ΧΩΡΟ ΩΡΙ 1. Το πίπδο: ίναι έννοια πρωταρχική για τα µαθηµατικά δηλαδή έννοια που δν πιδέχται ορισµό. H ικόνα του πιπέδου ίναι γνωστή από την µπιρία µας. Την έχουµ ταυτίσι µ τη µορφή

Διαβάστε περισσότερα

Αριθµητική Ανάλυση & Προγραµµατισµός Ε ιστηµονικών Εφαρµογών

Αριθµητική Ανάλυση & Προγραµµατισµός Ε ιστηµονικών Εφαρµογών Τ.Ε.Ι. Θσσαλονίκης Τµήµα Πληροφορικής Αριθµητική Ανάλυση & Προγραµµατισµός Ε ιστηµονικών Εφαρµογών Θωρία Παραδίγµατα και Άλυτς Ασκήσις Γουλιάνας Κώστας Ε ίκουρος Καθηγητής eml : gul@t.tethe.gr Ιστοσλίδα

Διαβάστε περισσότερα

Στοιχεία από τη Γεωμετρία του χώρου (αναλυτικά στο βιβλίο: Ευκλείδεια Γεωμετρία Α και Β Ενιαίου Λυκείου)

Στοιχεία από τη Γεωμετρία του χώρου (αναλυτικά στο βιβλίο: Ευκλείδεια Γεωμετρία Α και Β Ενιαίου Λυκείου) Στοιχία από τη Γωμτρία του χώρου (αναλυτικά στο βιβλίο: Ευκλίδια Γωμτρία Α και Β Ενιαίου Λυκίου) Σχήματα των οποίων τα σημία δν βρίσκονται όλα στο ίδιο πίπδο ονομάζονται γωμτρικά στρά (π.χ. σφαίρα, κύλινδρος,

Διαβάστε περισσότερα

Περίληψη Προηγούμενου Μαθήματος Κανάλια επικοινωνίας με θόρυβο και η χωρητικότητά τους

Περίληψη Προηγούμενου Μαθήματος Κανάλια επικοινωνίας με θόρυβο και η χωρητικότητά τους ΘΕΩΡΙΑ ΠΛΗΡΟΦΟΡΙΑΣ Γ Κοντογιάννης Πέμπτη Μαΐου 7 Φυλλάδιο #3 Πρίληψη Προηγούμνου Μαθήματος Κανάλια πικοινωνίας μ θόρυβο και η χωρητικότητά τους Πώς πριγράφουμ ένα κανάλι πικοινωνίας; Τι θα πι «θόρυβος»;

Διαβάστε περισσότερα

Αυτόματα και Υπολογιστικά Μοντέλα Automata and Models of Computation

Αυτόματα και Υπολογιστικά Μοντέλα Automata and Models of Computation Αυτόματα και Υπολογιστικά Μοντέλα Automata and Models of Computation Διδάσκων: Στάθης Ζάχος Επιμέλεια Διαφανειών: Μάκης Αρσένης CoReLab ΣΗΜΜΥ - Ε.Μ.Π. Φεβρουάριος 2017 Διδάσκων: Στάθης Ζάχος ( CoReLab

Διαβάστε περισσότερα

CSC 314: Switching Theory

CSC 314: Switching Theory CSC 314: Switching Theory Course Summary 9 th January 2009 1 1 Θέματα Μαθήματος Ερωτήσεις Τι είναι αλγόριθμος? Τι μπορεί να υπολογιστεί? Απαντήσεις Μοντέλα Υπολογισμού Δυνατότητες και μη-δυνατότητες 2

Διαβάστε περισσότερα

Εισαγωγή στην Επιστήμη των Υπολογιστών

Εισαγωγή στην Επιστήμη των Υπολογιστών Εισαγωγή στην Επιστήμη των Υπολογιστών 4ο εξάμηνοσhmμy 6η ενότητα: Αυτόματα, τυπικές γλώσσες, γραμματικές Επιμέλεια διαφανειών: Στάθης Ζάχος, Άρης Παγουρτζής http://www.corelab.ece.ntua.gr/courses/introcs

Διαβάστε περισσότερα

και ( n) 1 R. Αν ε > 0, επιλέγουµε για κάθε k 1 ένα καλύπτουµε τότε την ευθεία Α µε την ακολουθία των ορθογωνίων .

και ( n) 1 R. Αν ε > 0, επιλέγουµε για κάθε k 1 ένα καλύπτουµε τότε την ευθεία Α µε την ακολουθία των ορθογωνίων . 80 Σύνολα µέτρου µηδέν στον και ο χαρακτηρισµός του Lebesgue των iema ολοκληρωσίµων συναρτήσων 7. Ορισµός. Έστω για κάθ 0 Α, λέµ ότι το Α έχι διάστατο µέτρο µηδέν αν, > υπάρχι ακολουθία ανοικτών διάστατων

Διαβάστε περισσότερα

ΓΡΑΜΜΙΚΑ ΣΥΣΤΗΜΑΤΑ Α ΒΑΘΜΟΥ

ΓΡΑΜΜΙΚΑ ΣΥΣΤΗΜΑΤΑ Α ΒΑΘΜΟΥ Πριοδικό ΕΥΚΛΕΙΔΗΣ Β Ε.Μ.Ε. ΓΡΑΜΜΙΚΑ ΣΥΣΤΗΜΑΤΑ Α ΒΑΘΜΟΥ A. ΓΡΑΜΜΙΚΗ ΕΞΙΣΩΣΗ ΜΕ ΔΥΟ ΑΓΝΩΣΤΟΥΣ Γραμμική ξίσωση μ δύο αγνώστους ονομάζται κάθ ξίσωση της μορφής: α + βψ = γ (), μ α,β,γ π.χ. ψ =, =, ψ =, κλπ.

Διαβάστε περισσότερα

ΛΥΣΕΙΣ ΦΥΛΛΑΔΙΟΥ 3 Ευθεία - Επίπεδο ΣΧΟΛΗ ΠΟΛΙΤΙΚΩΝ ΜΗΧΑΝΙΚΩΝ/2010-11

ΛΥΣΕΙΣ ΦΥΛΛΑΔΙΟΥ 3 Ευθεία - Επίπεδο ΣΧΟΛΗ ΠΟΛΙΤΙΚΩΝ ΜΗΧΑΝΙΚΩΝ/2010-11 ΛΥΣΕΙΣ ΦΥΛΛΔΙΥ 3 Ευθία - Επίπδο ΣΧΛΗ ΠΛΙΤΙΚΩΝ ΜΗΧΝΙΚΩΝ/00-.(α) Τα διανύσματα Β = (,, ), Γ = (,, 3) ίναι μη συγγραμμικά και παράλληλα προς το πίπδο Π, νώ το σημίο (,,3) μ διάνυσμα θέσης r = (,,3) ίναι σημίο

Διαβάστε περισσότερα

HEAD INPUT. q0 q1 CONTROL UNIT

HEAD INPUT. q0 q1 CONTROL UNIT Πεπερασμένα Αυτόματα (ΠΑ) Τα πεπερασμένα αυτόματα είναι οι απλούστερες «υπολογιστικές μηχανές». Δεν έχουν μνήμη, μόνο μία εσωτερική μονάδα με πεπερασμένο αριθμό καταστάσεων. Διαβάζουν τη συμβολοσειρά εισόδου

Διαβάστε περισσότερα

Η δυαδική σχέση M ( «παράγει σε ένα βήμα» ) ορίζεται ως εξής: (q, w) M (q, w ), αν και μόνο αν w = σw, για κάποιο σ Σ

Η δυαδική σχέση M ( «παράγει σε ένα βήμα» ) ορίζεται ως εξής: (q, w) M (q, w ), αν και μόνο αν w = σw, για κάποιο σ Σ Πεπερασμένα Αυτόματα (ΠΑ) Τα πεπερασμένα αυτόματα είναι οι απλούστερες «υπολογιστικές μηχανές». Δεν έχουν μνήμη, μόνο μία εσωτερική μονάδα με πεπερασμένο αριθμό καταστάσεων. Διαβάζουν τη συμβολοσειρά εισόδου

Διαβάστε περισσότερα

ΕΛΑΣΤΙΚΟΤΗΤΑ. ε = = Η ελαστικότητα ζήτησης

ΕΛΑΣΤΙΚΟΤΗΤΑ. ε = = Η ελαστικότητα ζήτησης 1 ΕΛΑΣΤΙΚΟΤΗΤΑ Οι οικονοµολόγοι νδιαφέρονται να µτρσουν ορισµένς µταβλητές για να µπορέσουν να κάνουν προβλέψις και για να κτιµσουν µ σχτικ ακρίβια τι αποτέλσµα θα έχι η µταβολ µιας µταβλητς πί µιας άλλης.

Διαβάστε περισσότερα

Πανεπιστήμιο Θεσσαλίας Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών

Πανεπιστήμιο Θεσσαλίας Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Πανεπιστήμιο Θεσσαλίας Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Πρώτη Σειρά Ασκήσεων 27 Οκτωβρίου 2016 Μέρος Α. (χειρόγραφη και ηλεκτρονική παράδοση 11 Νοεμβρίου) Άσκηση 1: Θεωρήστε το ακόλουθο

Διαβάστε περισσότερα

ΜΑΘΗΜΑΤΙΚΑ Α ΓΥΜΝΑΣΙΟΥ

ΜΑΘΗΜΑΤΙΚΑ Α ΓΥΜΝΑΣΙΟΥ ΜΘΗΜΤΙΚ ΥΜΝΣΙΥ ΕΠΝΛΗΠΤΙΚ ΦΥΛΛΙ ΕΠΙΜΕΛΕΙ ΣΙΛΗΣ ΥΕΡΙΝΣ ΕΠΙΜΕΛΕΙ: ΥΕΡΙΝΣ ΣΙΛΗΣ ΘΕΩΡΙ ΜΕΡΣ ο : ΛΕΡ ΚΕΦΛΙ ο ΦΥΣΙΚΙ ΡΙΘΜΙ. Ποιοι αριθμοί ονομάζονται φυσικοί, ποια ιδιότητα έχουν και πως χωρίζονται; πάντηση ι

Διαβάστε περισσότερα

Σειρά Προβλημάτων 4 Λύσεις

Σειρά Προβλημάτων 4 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing (αυθεντικός ορισμός) η οποία να διαγιγνώσκει τη γλώσσα { ww w {a,b}* }. (β) Να διατυπώσετε την τυπική περιγραφή

Διαβάστε περισσότερα

Πεπερασμένα Αυτόματα. ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών

Πεπερασμένα Αυτόματα. ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Πεπερασμένα Αυτόματα ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Πεπερασμένα Αυτόματα είναι απλούστερες

Διαβάστε περισσότερα

ΠΑΝΕΠΙΣΤΗΜΙΟ ΜΑΚΕΔΟΝΙΑΣ ΟΙΚΟΝΟΜΙΚΩΝ ΚΑΙ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ

ΠΑΝΕΠΙΣΤΗΜΙΟ ΜΑΚΕΔΟΝΙΑΣ ΟΙΚΟΝΟΜΙΚΩΝ ΚΑΙ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ ΠΑΝΕΠΙΣΤΗΜΙΟ ΜΑΚΕΔΟΝΙΑΣ ΟΙΚΟΝΟΜΙΚΩΝ ΚΑΙ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ Τελικές εξετάσεις 3 Ιανουαρίου 27 Διάρκεια εξέτασης: 3 ώρες (2:-5:) ΘΕΜΑ ο

Διαβάστε περισσότερα

Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (2)

Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (2) Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (2) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Αυτόματα Στοίβας (2.2) Τυπικός Ορισμός Παραδείγματα Ισοδυναμία με Ασυμφραστικές

Διαβάστε περισσότερα

Μεταγλωττιστές. Ενότητα 7: Συντακτική ανάλυση (Μέρος 1 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ

Μεταγλωττιστές. Ενότητα 7: Συντακτική ανάλυση (Μέρος 1 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ Μεταγλωττιστές Ενότητα 7: Συντακτική ανάλυση (Μέρος 1 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό

Διαβάστε περισσότερα

Θεωρία Υπολογισμού και Πολυπλοκότητα

Θεωρία Υπολογισμού και Πολυπλοκότητα Θεωρία Υπολογισμού και Πολυπλοκότητα Κεφάλαιο 4. Μη Ντετερμινιστικά Πεπερασμένα Αυτόματα 9,19 Φεβρουαρίου 2007 Δρ. Παπαδοπούλου Βίκη 1 Μοντέλα Υπολογισμού Μη Ντετερμινιστικό Πεπερασμένα Αυτόματα: Διαφορά

Διαβάστε περισσότερα

Η θεωρία στην ευθεία σε ερωτήσεις - απαντήσεις

Η θεωρία στην ευθεία σε ερωτήσεις - απαντήσεις Η θρία στην υθία σ ρτήσις - απαντήσις Τι ονομάζουμ ξίσση γραμμής Μια ξίσση μ δύο αγνώστους λέγται ξίσση μιας γραμμής C, όταν οι συντταγμένς τν σημίν της C, και μόνο αυτές, την παληθύουν Ποιό ίναι το βασικό

Διαβάστε περισσότερα

Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (2)

Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (2) Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (2) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Αυτόματα Στοίβας (2.2) Τυπικός Ορισμός Παραδείγματα Ισοδυναμία με Ασυμφραστικές

Διαβάστε περισσότερα

Κανονικές Γλώσσες. ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών

Κανονικές Γλώσσες. ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Κανονικές Γλώσσες ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Κανονικές Γλώσσες Κανονική γλώσσα αν

Διαβάστε περισσότερα

Θεωρία Υπολογισμού και Πολυπλοκότητα

Θεωρία Υπολογισμού και Πολυπλοκότητα Θεωρία Υπολογισμού και Πολυπλοκότητα Κεφάλαιο 10. Μηχανές Turing 20,23 Μαρτίου 2007 Δρ. Παπαδοπούλου Βίκη 1 Μηχανές Turing: Ένα Γενικό Μοντέλο Υπολογισμού Ποια μοντέλα υπολογισμού μπορούν να δεχθούν γλώσσες

Διαβάστε περισσότερα

771 Η - Θεωρία Υπολογισµών και Αλγορίθµων

771 Η - Θεωρία Υπολογισµών και Αλγορίθµων 771 Η - Θεωρία Υπολογισµών και Αλγορίθµων Σηµειώσεις Μέρος 2 ο ιδάσκων: Το παρόν αποτελεί σηµειώσεις που αντιστοιχούν σε µέρος των διαλέξεων για το µάθηµα 771 Η - Θεωρία Υπολογισµών και Αλγορίθµων του

Διαβάστε περισσότερα

ΛΥΣΕΙΣ ΦΥΛΛΑΔΙΟΥ 6 / ΠΟΛΙΤΙΚΟΙ ΜΗΧΑΝΙΚΟΙ Γραμμικές απεικονίσεις, Αλλαγή βάσης, Ιδιοτιμές, Ιδιοδιανύσματα

ΛΥΣΕΙΣ ΦΥΛΛΑΔΙΟΥ 6 / ΠΟΛΙΤΙΚΟΙ ΜΗΧΑΝΙΚΟΙ Γραμμικές απεικονίσεις, Αλλαγή βάσης, Ιδιοτιμές, Ιδιοδιανύσματα 1 ΛΥΣΕΙΣ ΦΥΛΛΑΔΙΟΥ 6 / 010-11 ΠΟΛΙΤΙΚΟΙ ΜΗΧΑΝΙΚΟΙ Γραμμικές αικονίσις, Ααγή βάσης, Ιδιοτιμές, Ιδιοδιανύσματα 1 Έστω η γραμμική αικόνιση T : μ T ( 1,1) = (, 0) και ( 0,1) ( 1,1) T = (α) Βρίτ τον ίνακα της

Διαβάστε περισσότερα

Γωνία που σχηματίζει η ε με τον άξονα. Έστω Oxy ένα σύστημα συντεταγμένων στο επίπεδο και ε μια ευθεία που τέμνει τον άξονα

Γωνία που σχηματίζει η ε με τον άξονα. Έστω Oxy ένα σύστημα συντεταγμένων στο επίπεδο και ε μια ευθεία που τέμνει τον άξονα ΕΥΘΕΙΑ Γωνία που σχηματίζι η μ τον άξονα. Έστω O ένα σύστημα συντταγμένων στο πίπδο και μια υθία που τέμνι τον άξονα στο σημίο Α. Α ω Α ω Τη γωνία ω που διαγράφι ο άξονας όταν στραφί γύρω από το Α κατά

Διαβάστε περισσότερα

Γλώσσες Προγραμματισμού Μεταγλωττιστές. Συντακτική Ανάλυση II

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

Διαβάστε περισσότερα

Στοιχεία Θεωρίας Υπολογισµού (2): Πεπερασµένα Αυτόµατα, Κανονικές Εκφράσεις

Στοιχεία Θεωρίας Υπολογισµού (2): Πεπερασµένα Αυτόµατα, Κανονικές Εκφράσεις Στοιχεία Θεωρίας Υπολογισµού (2): Πεπερασµένα Αυτόµατα, Κανονικές Εκφράσεις Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού

Διαβάστε περισσότερα

771 Η - Θεωρία Υπολογισµών και Αλγορίθµων

771 Η - Θεωρία Υπολογισµών και Αλγορίθµων 771 Η - Θεωρία Υπολογισµών και Αλγορίθµων Σηµειώσεις Μέρος 2 ο ιδάσκων: Το παρόν αποτελεί σηµειώσεις που αντιστοιχούν σε µέρος των διαλέξεων για το µάθηµα 771 Η - Θεωρία Υπολογισµών και Αλγορίθµων του

Διαβάστε περισσότερα

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 5: Κανονικές Εκφράσεις

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 5: Κανονικές Εκφράσεις ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 5: Κανονικές Εκφράσεις Τι θα κάνουμε σήμερα Κλειστότητα Κανονικών Πράξεων (1.2.3) Εισαγωγή στις Κανονικές Εκφράσεις Τυπικός ορισμός της κανονικής

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 2ο Διαφορικός Λογισμός (Νο 6) ΕΠΙΜΕΛΕΙΑ : Π. Δ. ΤΡΙΜΗΣ ΜΑΘΗΜΑΤΙΚΟΣ

ΚΕΦΑΛΑΙΟ 2ο Διαφορικός Λογισμός (Νο 6) ΕΠΙΜΕΛΕΙΑ : Π. Δ. ΤΡΙΜΗΣ ΜΑΘΗΜΑΤΙΚΟΣ ΚΕΦΑΛΑΙΟ ο Διαφορικός Λογισμός (Νο 6) Λ Υ Κ Ε Ι Ο Α Ν Α Λ Υ Σ Η 1Ο Κ Ε Φ Α Λ Α Ι Ο ΕΠΙΜΕΛΕΙΑ : Π. Δ. ΤΡΙΜΗΣ ΜΑΘΗΜΑΤΙΚΟΣ Θτική Τχνολογική Κατύθυνση ασκήσις (ΝΑ ΛΥΘΟΥΝ ΜΕΤΑ ΑΠΟ ΤΙΣ ΑΝΤΙΣΤΟΙΧΕΣ ΤΟΥ ΒΙΒΛΙΟΥ)

Διαβάστε περισσότερα

T.E.I. ΣΤΕΡΕΑΣ ΕΛΛΑΔΑΣ ΤΜΗΜΑ ΗΛΕΚΤΡΟΝΙΚΩΝ ΜΗΧΑΝΙΚΩΝ ΤΕ

T.E.I. ΣΤΕΡΕΑΣ ΕΛΛΑΔΑΣ ΤΜΗΜΑ ΗΛΕΚΤΡΟΝΙΚΩΝ ΜΗΧΑΝΙΚΩΝ ΤΕ T.E.I. ΣΤΕΡΕΑΣ ΕΛΛΑΔΑΣ ΤΜΗΜΑ ΗΛΕΚΤΡΟΝΙΚΩΝ ΜΗΧΑΝΙΚΩΝ ΤΕ ΕΡΓΑΣΤΗΡΙΟ «ΗΛΕΚΤΡΟΝΙΚΕΣ ΔΙΑΤΑΞΕΙΣ ΦΑΣΜΑΤΟΣΚΟΠΙΑΣ» ΕΡΓΑΣΤΗΡΙΑΚΗ ΑΣΚΗΣΗ 6: ΜΕΤΡΗΣΕΙΣ ΥΛΙΚΩΝ ΜΕ ΤΗ ΧΡΗΣΗ ΔΙΑΤΑΞΗΣ ΔΙΗΛΕΚΤΡΙΚΗΣ ΦΑΣΜΑΤΟΣΚΟΠΙΑΣ ΥΨΗΛΩΝ

Διαβάστε περισσότερα

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 9: Αυτόματα Στοίβας (Pushdown Automata - PDA)

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 9: Αυτόματα Στοίβας (Pushdown Automata - PDA) ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 9: Αυτόματα Στοίβας (Pushdown Automata - PDA) Τι θα κάνουμε σήμερα Εισαγωγή στα Αυτόματα Στοίβας Τυπικός Ορισμός Αυτομάτου Στοίβας (2.2.1) Παραδείγματα

Διαβάστε περισσότερα

q 0 q 0.2 q 0.1 q 0.05 q 0.05 q 0.25 q 0.15 q 0.1 q 0.2 q 0.25 q 0.25 q 0.25

q 0 q 0.2 q 0.1 q 0.05 q 0.05 q 0.25 q 0.15 q 0.1 q 0.2 q 0.25 q 0.25 q 0.25 Κεφάλαιο 2 Κανονικές Γλώσσες & Πεπερασμένα Αυτόματα Σύνοψη Τα Πεπερασμένα Αυτόματα (ΠΑ) είναι το απλούστερο και το πιο ευρέως διαδεδομένο μοντέλο υπολογισμού από αυτά που θα εξετάσουμε. Είναι επίσης γνωστά

Διαβάστε περισσότερα

ΣΗΜΕΙΩΣΕΙΣ ΟΙΚΟΝΟΜΙΚΗΣ ΑΝΑΛΥΣΗΣ Μέρος Δ. Καθ. Π. Κάπρος ΕΜΠ 2012

ΣΗΜΕΙΩΣΕΙΣ ΟΙΚΟΝΟΜΙΚΗΣ ΑΝΑΛΥΣΗΣ Μέρος Δ. Καθ. Π. Κάπρος ΕΜΠ 2012 ΣΗΜΕΙΩΣΕΙΣ ΟΙΚΟΝΟΜΙΚΗΣ ΑΝΑΛΥΣΗΣ Μέρος Δ Καθ. Π. Κάπρος ΕΜΠ 22 Mx MR MR Μγιστοποίηση Κέρδους Μονοπωλίου Συνάρτηση Εσόδου Συνάρτηση Κόστους C p p p MC R Μ γιστοποίηση κέρδους : p p D p p δδομένουότι η τιμή

Διαβάστε περισσότερα

Απάντηση: (func endfunc)-([a-za-z])+

Απάντηση: (func endfunc)-([a-za-z])+ Γλώσσες Προγραμματισμού Μεταγλωττιστές Ασκήσεις Επανάληψης ) Περιγράψτε τις κανονικές εκφράσεις που υποστηρίζουν (i) συμβολοσειρές που ξεκινούν με το πρόθεμα "func" ή "endfunc" ακολουθούμενο το σύμβολο

Διαβάστε περισσότερα

Σειρά Προβλημάτων 1 Λύσεις

Σειρά Προβλημάτων 1 Λύσεις ΕΠΛ: Θεωρία Υπολογισμού και Πολυπλοκότητα Σειρά Προβλημάτων Λύσεις Άσκηση Θεωρείστε τις γλώσσες Α = { n n } και Β = {w η w είναι λέξη επί του αλφαβήτου {,} τ.ώ. w }. (α) Για κάθε μια από τις πιο κάτω γλώσσες

Διαβάστε περισσότερα

Σύνοψη Προηγούµενου. Γλώσσες χωρίς Συµφραζόµενα (2) Ισοδυναµία CFG και PDA. Σε αυτό το µάθηµα. Αυτόµατα Στοίβας Pushdown Automata

Σύνοψη Προηγούµενου. Γλώσσες χωρίς Συµφραζόµενα (2) Ισοδυναµία CFG και PDA. Σε αυτό το µάθηµα. Αυτόµατα Στοίβας Pushdown Automata Σύνοψη Προηγούµενου Γλώσσες χωρίς Συµφραζόµενα (2) Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Αυτόµατα Στοίβας Pushdown utomata Ισοδυναµία µε τις Γλώσσες χωρίς Συµφραζόµενα:

Διαβάστε περισσότερα

ΑΡΧΙΤΕΚΤΟΝΙΚΗ ΥΠΟΛΟΓΙΣΤΩΝ. Κεφάλαιο 3

ΑΡΧΙΤΕΚΤΟΝΙΚΗ ΥΠΟΛΟΓΙΣΤΩΝ. Κεφάλαιο 3 ΑΡΧΙΤΕΚΤΟΝΙΚΗ ΥΠΟΛΟΓΙΣΤΩΝ Κεφάλαιο 3 Κεντρική Μονάδα Επεξεργασίας Κεντρική Μονάδα Επεξεργασίας Μονάδα επεξεργασίας δεδομένων Μονάδα ελέγχου Μονάδα επεξεργασίας δεδομένων Δομή Αριθμητικής Λογικής Μονάδας

Διαβάστε περισσότερα

Μάθηµα 18 ο, 19 Νοεµβρίου 2008 (9:00-10:00).

Μάθηµα 18 ο, 19 Νοεµβρίου 2008 (9:00-10:00). Μάθηµα 8 ο, 9 Νοµβρίου 008 (9:00-0:00) Άσκηση 4 Θωρούµ κβαντικό σύστηµα ύο πιπέων, ηλαή έχουµ ύο ιιοκαταστάσις της νέργιας, Ĥ Ε και Ĥ Ε, τις οποίς ν γνωρίζουµ Ενώ για τον τλστή Α, γνωρίζουµ τις ιιοκαταστάσις

Διαβάστε περισσότερα

Ανοικτά και κλειστά σύνολα

Ανοικτά και κλειστά σύνολα 5 Ανοικτά και κλιστά σύνολα Στην παράγραφο αυτή αναπτύσσται ο µηχανισµός που θα µας πιτρέψι να µλτήσουµ τις αναλυτικές ιδιότητς των συναρτήσων πολλών µταβλητών. Θα χριαστούµ τις έννοις της ανοικτής σφαίρας

Διαβάστε περισσότερα

Μεταγλωττιστές. Ενότητα 2: Τυπικές γλώσσες (Μέρος 1 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ

Μεταγλωττιστές. Ενότητα 2: Τυπικές γλώσσες (Μέρος 1 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ Μεταγλωττιστές Ενότητα 2: Τυπικές γλώσσες (Μέρος 1 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό

Διαβάστε περισσότερα

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 10: Αυτόματα Στοίβας II

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 10: Αυτόματα Στοίβας II ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 10: Αυτόματα Στοίβας II Τι θα κάνουμε σήμερα Ισοδυναμία αυτομάτων στοίβας με ασυμφραστικές γραμματικές (2.2.3) 1 Ισοδυναμία PDA με CFG Θεώρημα: Μια

Διαβάστε περισσότερα

Πίνακας Περιεχοµένων Πρόλογος Κεφάλαιο Βασικές εισαγωγικές έννοιες

Πίνακας Περιεχοµένων Πρόλογος Κεφάλαιο Βασικές εισαγωγικές έννοιες Πίνακας Περιεχοµένων Πρόλογος...vii Κεφάλαιο 1:Βασικές εισαγωγικές έννοιες...1 1.1 Η δοµή του µεταγλωττιστή...2 1.2 Η διαδικασία µεταγλώττισης...3 1.2.1 Η Λεξική Ανάλυση...6 1.2.2 Η Συντακτική Ανάλυση...6

Διαβάστε περισσότερα

ÏÌÉÊÑÏÍ ÖÑÏÍÔÉÓÔÇÑÉÏ ÊÏÑÄÅËÉÏ

ÏÌÉÊÑÏÍ ÖÑÏÍÔÉÓÔÇÑÉÏ ÊÏÑÄÅËÉÏ ΟΜΟΣΠΟΝ ΙΑ ΕΚΠΑΙ ΕΥΤΙΚΩΝ ΦΡΟΝΤΙΣΤΩΝ ΕΛΛΑ ΟΣ (ΟΕΦΕ) ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ 01 ΤΑΞΗ: Β ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΜΑΘΗΜΑ: ΜΑΘΗΜΑΤΙΚΑ / ΚΑΤΕΥΘΥΝΣΗΣ Ηµροµηνία: Κυριακή Μαΐου 01 ιάρκια Εξέτασης: ώρς ΑΠΑΝΤΗΣΕΙΣ

Διαβάστε περισσότερα

Περιεχόμενα. Εισαγωγή του επιμελητή, Γιάννης Σταματίου 15 Πρόλογος 17 Εισαγωγή 23. Μέρος I. ΕΠΑΝΑΛΗΠΤΙΚΟΙ ΑΛΓΟΡΙΘΜΟΙ ΚΑΙ ΑΝΑΛΛΟΙΩΤΕΣ ΣΥΝΘΗΚΕΣ

Περιεχόμενα. Εισαγωγή του επιμελητή, Γιάννης Σταματίου 15 Πρόλογος 17 Εισαγωγή 23. Μέρος I. ΕΠΑΝΑΛΗΠΤΙΚΟΙ ΑΛΓΟΡΙΘΜΟΙ ΚΑΙ ΑΝΑΛΛΟΙΩΤΕΣ ΣΥΝΘΗΚΕΣ Περιεχόμενα Εισαγωγή του επιμελητή, Γιάννης Σταματίου 15 Πρόλογος 17 Εισαγωγή 23 Μέρος I. ΕΠΑΝΑΛΗΠΤΙΚΟΙ ΑΛΓΟΡΙΘΜΟΙ ΚΑΙ ΑΝΑΛΛΟΙΩΤΕΣ ΣΥΝΘΗΚΕΣ 1. Επαναληπτικοί αλγόριθμοι: Μέτρα προόδου και αναλλοίωτες συνθήκες.....................................................29

Διαβάστε περισσότερα

ΜΙΚΡΟΟΙΚΟΝΟΜΙΚΗ ΑΝΑΛΥΣΗ ΣΤΗ ΛΗΨΗ ΕΠΙΧΕΙΡΗΜΑΤΙΚΩΝ ΑΠΟΦΑΣΕΩΝ

ΜΙΚΡΟΟΙΚΟΝΟΜΙΚΗ ΑΝΑΛΥΣΗ ΣΤΗ ΛΗΨΗ ΕΠΙΧΕΙΡΗΜΑΤΙΚΩΝ ΑΠΟΦΑΣΕΩΝ ΟΙΚΟΝΟΜΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - ΑΣΟΕΕ ΤΜΗΜΑ ΙΟΙΚΗΤΙΚΗΣ ΕΠΙΣΤΗΜΗΣ ΚΑΙ ΤΕΧΝΟΛΟΓΙΑΣ ΜΙΚΡΟΟΙΚΟΝΟΜΙΚΗ ΑΝΑΛΥΣΗ ΣΤΗ ΛΗΨΗ ΕΠΙΧΕΙΡΗΜΑΤΙΚΩΝ ΑΠΟΦΑΣΕΩΝ ΦΘΙΝΟΠΩΡΙΝΟ-ΧΕΙΜΕΡΙΝΟ ΕΞΑΜΗΝΟ 20-2 Ι ΑΣΚΩΝ: ΠΡΟ ΡΟΜΟΣ ΠΡΟ ΡΟΜΙ

Διαβάστε περισσότερα

Σχεδίαση µε τη χρήση Η/Υ

Σχεδίαση µε τη χρήση Η/Υ Σχδίαση µ τη χρήση Η/Υ Ε Φ Α Λ Α Ι Ο 1 0 Ο Σ Τ Ο Ι Χ Ε Ι Α Γ Ε Ω Μ Ε Τ Ρ Ι Α Σ Τ Ο Υ Χ Ω Ρ Ο Υ Ρ Λ Ε Ω Ν Ι Α Σ Α Ν Θ Ο Π Ο Υ Λ Ο Σ, Ε Π Ι Ο Υ Ρ Ο Σ Α Θ Η Γ Η Τ Η Σ Τ Μ Η Μ Α Ι Ο Ι Η Σ Η Σ Α Ι Ι Α Χ Ε Ι

Διαβάστε περισσότερα

Κανονικές Γλώσσες. Κανονικές Γλώσσες. Κανονικές Γλώσσες και Αυτόματα. Κανονικές Γλώσσες και Αυτόματα

Κανονικές Γλώσσες. Κανονικές Γλώσσες. Κανονικές Γλώσσες και Αυτόματα. Κανονικές Γλώσσες και Αυτόματα Κανονικές Γλώσσες Κανονικές Γλώσσες Διδάσκοντες: Φ. Αφράτη, Δ. Φωτάκης Επιμέλεια διαφανειών: Δ. Φωτάκης Κανονική γλώσσα αν παράγεται από κανονική γραμματική. Παραγωγές P (V Σ) Σ * ((V Σ) ε) Παραγωγές μορφής:

Διαβάστε περισσότερα

ΜΑΘΗΜΑΤΙΚΑ Α ΓΥΜΝΑΣΙΟΥ ΜΕΡΟΣ 2ο ΓΕΩΜΕΤΡΙΑ ΑΣΚΗΣΕΙΣ ΛΥΜΕΝΕΣ 1 ΕΠΙΜΕΛΕΙΑ : ΑΥΓΕΡΙΝΟΣ ΒΑΣΙΛΗΣ

ΜΑΘΗΜΑΤΙΚΑ Α ΓΥΜΝΑΣΙΟΥ ΜΕΡΟΣ 2ο ΓΕΩΜΕΤΡΙΑ ΑΣΚΗΣΕΙΣ ΛΥΜΕΝΕΣ 1 ΕΠΙΜΕΛΕΙΑ : ΑΥΓΕΡΙΝΟΣ ΒΑΣΙΛΗΣ ΜΘΗΜΤΙΚ ΥΜΝΣΙΥ ΜΕΡΣ ο ΕΩΜΕΤΡΙ ΣΚΗΣΕΙΣ ΛΥΜΕΝΕΣ 1 ΕΠΙΜΕΛΕΙ : ΥΕΡΙΝΣ ΣΙΛΗΣ ΜΘΗΜΤΙΚ ΥΜΝΣΙΥ ΣΚΗΣΕΙΣ ΜΕΡΣ 1ο : ΕΩΜΕΤΡΙ ΚΕΦΛΙ 1ο ΣΙΚΕΣ ΕΩΜΕΤΡΙΚΕΣ ΕΝΝΙΕΣ νακφαλαίωση σημίο άπιρς υθίς από υθύγραμμο τμήμα Δ παράλληλα

Διαβάστε περισσότερα

Μεταγλωττιστές. Ενότητα 6: Λεκτική ανάλυση (Μέρος 2 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ

Μεταγλωττιστές. Ενότητα 6: Λεκτική ανάλυση (Μέρος 2 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ Μεταγλωττιστές Ενότητα 6: Λεκτική ανάλυση (Μέρος 2 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό

Διαβάστε περισσότερα

Λύσεις σετ ασκήσεων #6

Λύσεις σετ ασκήσεων #6 ΘΕΩΡΙΑ ΠΛΗΡΟΦΟΡΙΑΣ Γ. Κοντογιάννης Πέμπτη 8 Μαΐου 07 Φυλλάδιο #4 Λύσις στ ασκήσων #6. Θόρυβος od. Έστω ότι ένα κανάλι έχι αλφάβητο ισόδου και αλφάβητο ξόδου το {0}. Όπως στο προηγούμνο στ η έξοδος του

Διαβάστε περισσότερα

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ Θεωρία Υπολογισμού Ενότητα 10: Ισοδυναμία ντετερμινιστικών και μη ντετερμινιστικών αυτομάτων Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για

Διαβάστε περισσότερα

ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ

ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ Ενότητα 3: Μη-ντετερμιμιστικά πεπερασμένα αυτόματα Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό

Διαβάστε περισσότερα

Πανεπιστήμιο Θεσσαλίας Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών

Πανεπιστήμιο Θεσσαλίας Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών Πανεπιστήμιο Θεσσαλίας Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών Παραδείγματα Ενοτήτων 3-6 Ενότητα 3: Λεκτική ανάλυση Άσκηση 3-1: Να δώσετε το ενοποιημένο διάγραμμα μετάβασης που αναγνωρίζει

Διαβάστε περισσότερα

Σειρά Προβλημάτων 4 Λύσεις

Σειρά Προβλημάτων 4 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing που να διαγιγνώσκει τη γλώσσα { n 3 } (α) H ζητούμενη μηχανή Turing μπορεί να διατυπωθεί ως την επτάδα Q,

Διαβάστε περισσότερα

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Επανάληψη Μαθήματος

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Επανάληψη Μαθήματος ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Επανάληψη Μαθήματος Το Μάθημα σε μια Διαφάνεια Υπολογιστικά μοντέλα Κανονικές Γλώσσες Ντετερμινιστικά Αυτόματα Μη Ντετερμινιστικά Αυτόματα Κανονικές Εκφράσεις

Διαβάστε περισσότερα

Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (1)

Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (1) Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (1) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Ασυμφραστικές Γραμματικές (2.1) Τυπικός Ορισμός Σχεδιασμός Ασυμφραστικών Γραμματικών

Διαβάστε περισσότερα

Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (1)

Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (1) Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες () Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Πεπερασμένα Αυτόματα (Κεφάλαιο., Sipser) Ορισμός πεπερασμένων αυτομάτων και ορισμός του

Διαβάστε περισσότερα

Κεφάλαιο 4: Πυροηλεκτρισμός, Πιεζο- ηλεκτρισμός, Λιαροκάπης Ευθύμιος. Διηλεκτρικές, Οπτικές, Μαγνητικές Ιδιότητες Υλικών

Κεφάλαιο 4: Πυροηλεκτρισμός, Πιεζο- ηλεκτρισμός, Λιαροκάπης Ευθύμιος. Διηλεκτρικές, Οπτικές, Μαγνητικές Ιδιότητες Υλικών Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών Εθνικό Μτσόβιο Πολυτχνίο Διηλκτρικές, Οπτικές, Μαγνητικές Ιδιότητς Υλικών Κφάλαιο 4: Πυροηλκτρισμός, Πιζο- ηλκτρισμός, Σιδηροηλκτρισμός Λιαροκάπης Ευθύμιος

Διαβάστε περισσότερα

Νόμος του Gauss 1. Ηλεκτρική Ροή ( πλήθος δυναμικών γραμμών). είναι διάνυσμα μέτρου Α και κατεύθυνσης κάθετης στην επιφάνεια. Στην γενική περίπτωση:

Νόμος του Gauss 1. Ηλεκτρική Ροή ( πλήθος δυναμικών γραμμών). είναι διάνυσμα μέτρου Α και κατεύθυνσης κάθετης στην επιφάνεια. Στην γενική περίπτωση: Νόμος του Gauss 1. Ηλκτρική Ροή ( πλήθος δυναμικών γραμμών). ( a) cosφ ( b) ίναι διάνυσμα μέτρου Α και κατύθυνσης κάθτης στην πιφάνια. Στην γνική πρίπτωση: d d d ( ) (πιφανιακό ολοκλήρωμα) Νόμος του Gauss

Διαβάστε περισσότερα

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

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

Διαβάστε περισσότερα

Ποιές οι θεµελιώδεις δυνατότητες και ποιοί οι εγγενείς περιορισµοί των υπολογιστών ; Τί µπορούµε και τί δε µπορούµε να υπολογίσουµε (και γιατί);

Ποιές οι θεµελιώδεις δυνατότητες και ποιοί οι εγγενείς περιορισµοί των υπολογιστών ; Τί µπορούµε και τί δε µπορούµε να υπολογίσουµε (και γιατί); Μοντελοποίηση του Υπολογισµού Στοιχεία Θεωρίας Υπολογισµού (): Τυπικές Γλώσσες, Γραµµατικές Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ποιές οι θεµελιώδεις δυνατότητες

Διαβάστε περισσότερα

Αυτόματα. Παράδειγμα: πωλητής καφέ (iii) Παράδειγμα: πωλητής καφέ (iv) Εισαγωγή στην Επιστήμη των Υπολογιστών 6

Αυτόματα. Παράδειγμα: πωλητής καφέ (iii) Παράδειγμα: πωλητής καφέ (iv) Εισαγωγή στην Επιστήμη των Υπολογιστών 6 Εισαγωγή στην Επιστήμη των Υπολογιστών 3η ενότητα: Αυτόματα και Τυπικές Γραμματικές http://www.corelab.ece.ntua.gr/courses/ Αυτόματα Τρόπος κωδικοποίησης αλγορίθμων. Τρόπος περιγραφής συστημάτων πεπερασμένων

Διαβάστε περισσότερα

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 4: Μη Ντετερμινιστικά (Αντιαιτιοκρατικά) Πεπερασμένα Αυτόματα (ΝFA)

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 4: Μη Ντετερμινιστικά (Αντιαιτιοκρατικά) Πεπερασμένα Αυτόματα (ΝFA) ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 4: Μη Ντετερμινιστικά (Αντιαιτιοκρατικά) Πεπερασμένα Αυτόματα (ΝFA) Τι θα κάνουμε σήμερα Εισαγωγή στα Μη Ντετερμινιστικά Πεπερασμένα Αυτόματα Τυπικός

Διαβάστε περισσότερα

CSC 314: Switching Theory. Chapter 3: Turing Machines

CSC 314: Switching Theory. Chapter 3: Turing Machines CSC 314: Switching Theory Chapter 3: Turing Machines 21 November 2008 1 Dr. Vicky Papadopoulou 1 Μηχανές Turing: Ένα Γενικό Μοντέλο Υπολογισμού Ποια μοντέλα υπολογισμού μπορούν να δεχθούν γλώσσες της μορφής

Διαβάστε περισσότερα

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 12: Μηχανές Turing

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 12: Μηχανές Turing ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 12: Μηχανές Turing Τι θα κάνουμε σήμερα Εισαγωγή στις Μηχανές Turing (TM) Τυπικός Ορισμός Μηχανής Turing (3.1.1) 1 Τι είδαμε μέχρι στιγμής Πεπερασμένα

Διαβάστε περισσότερα

Θεωρία Υπολογισμού και Πολυπλοκότητα

Θεωρία Υπολογισμού και Πολυπλοκότητα Θεωρία Υπολογισμού και Πολυπλοκότητα Κεφάλαιο 4. Πεπερασμένα Αυτόματα 6 Φεβρουαρίου 2007 Δρ. Παπαδοπούλου Βίκη 1 Μοντέλα Υπολογισμού 1930 : Μηχανή Turing : αφαιρετική μηχανή (μοντελοποίηση ενός υπολογιστή)

Διαβάστε περισσότερα

6.3 Η ΣΥΝΑΡΤΗΣΗ f(x) = αx + β

6.3 Η ΣΥΝΑΡΤΗΣΗ f(x) = αx + β 1 6.3 Η ΣΥΝΡΤΗΣΗ f() = α + β ΘΕΩΡΙ 1. Η πρίφηµη γωνία ω Έστω υθία που τέµνι τον άξονα σ σηµίο. Στρέφουµ την ηµιυθία κατά θτική φορά µέχρι να πέσι πάνω στην. Η γωνία ω που διαγράφται λέγται γωνία που σχηµατίζι

Διαβάστε περισσότερα

Αριθμητική Ανάλυση & Προγραμματισμός Επιστημονικών Εφαρμογών Γουλιάνας Κώστας 2008 Σελίδα 1

Αριθμητική Ανάλυση & Προγραμματισμός Επιστημονικών Εφαρμογών Γουλιάνας Κώστας 2008 Σελίδα 1 Τ.Ε.Ι. Θσσαλονίκης Τµήµα Πληροφορικής Αριθµητική Ανάλυση & Προγραµµατισµός Εϖιστηµονικών Εφαρµογών Θωρία Παραδίγµατα και Άλυτς Ασκήσις Γουλιάνας Κώστας Εϖίκουρος Καθηγητής eml : gul@t.tethe.gr Ιστοσλίδα

Διαβάστε περισσότερα

Λύσεις 4ης Σειράς Ασκήσεων

Λύσεις 4ης Σειράς Ασκήσεων Λύσεις 4ης Σειράς Ασκήσεων Άσκηση 1 Αναγάγουμε τν Κ 0 που γνωρίζουμε ότι είναι μη-αναδρομική (μη-επιλύσιμη) στην γλώσσα: L = {p() η μηχανή Turing Μ τερματίζει με είσοδο κενή ταινία;} Δοσμένης της περιγραφής

Διαβάστε περισσότερα

Σειρά Προβλημάτων 3 Λύσεις

Σειρά Προβλημάτων 3 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 3 Λύσεις Να δώσετε ασυμφραστικές γραμματικές που να παράγουν τις πιο κάτω γλώσσες: (α) { w {(, )} * οι παρενθέσεις στην w είναι ισοζυγισμένες } (β) { a k b m c 2m a k k > 0,

Διαβάστε περισσότερα

ΜΕΤΑΒΑΤΙΚΕΣ ΠΡΟΫΠΟΘΕΣΕΙΣ ΑΠΟΚΤΗΣΗΣ ΠΤΥΧΙΟΥ

ΜΕΤΑΒΑΤΙΚΕΣ ΠΡΟΫΠΟΘΕΣΕΙΣ ΑΠΟΚΤΗΣΗΣ ΠΤΥΧΙΟΥ ΜΕΤΑΒΑΤΙΚΕΣ ΠΡΟΫΠΟΘΕΣΕΙΣ ΑΠΟΚΤΗΣΗΣ ΠΤΥΧΙΟΥ Για τους φοιτητές που έχουν εισαχθεί στο Τµήµα από το Ακαδηµαϊκό Έτος 1999-2000 έως το Ακαδηµαϊκό Έτος 2003-2004 1 1. Εγγραφή και παρακολούθηση για τουλάχιστον

Διαβάστε περισσότερα

Μεταγλωττιστές. Δημήτρης Μιχαήλ. Ακ. Έτος 2011-2012. Ανοδικές Μέθοδοι Συντακτικής Ανάλυσης. Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο

Μεταγλωττιστές. Δημήτρης Μιχαήλ. Ακ. Έτος 2011-2012. Ανοδικές Μέθοδοι Συντακτικής Ανάλυσης. Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Μεταγλωττιστές Ανοδικές Μέθοδοι Συντακτικής Ανάλυσης Δημήτρης Μιχαήλ Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ακ. Έτος 2011-2012 Ανοδική Κατασκευή Συντακτικού Δέντρου κατασκευή δέντρου

Διαβάστε περισσότερα

Εισαγωγή στην Επιστήμη των Υπολογιστών

Εισαγωγή στην Επιστήμη των Υπολογιστών Εισαγωγή στην Επιστήμη των Υπολογιστών 3η ενότητα: Αυτόματα και Τυπικές Γραμματικές http://www.corelab.ece.ntua.gr/courses/ Αυτόματα Τρόπος κωδικοποίησης αλγορίθμων. Τρόπος περιγραφής συστημάτων πεπερασμένων

Διαβάστε περισσότερα

Συμπλήρωμα 2 εδαφίου 3.3: Το γενικό μεταβολικό πρόβλημα για συναρτησιακό ολοκληρωτικού τύπου με ολοκληρωτέα συνάρτηση F κατά 2

Συμπλήρωμα 2 εδαφίου 3.3: Το γενικό μεταβολικό πρόβλημα για συναρτησιακό ολοκληρωτικού τύπου με ολοκληρωτέα συνάρτηση F κατά 2 ΚΕΦ. 3 Η Αρχή των Ήρωνος-Fermat 3.3-8 Συμπλήρωμα 2 δαφίου 3.3: Το νικό μταβολικό πρόβλημα ια συναρτησιακό ολοκληρωτικού τύπου μ ολοκληρωτέα συνάρτηση F κατά 2 τμήματα C, ορισμένο πί καμπυλών που τέμνουν

Διαβάστε περισσότερα

Αυτόματα. Παράδειγμα: πωλητής καφέ (iii) Παράδειγμα: πωλητής καφέ (iv) Εισαγωγή στην Επιστήμη των Υπολογιστών. Προδιαγραφές

Αυτόματα. Παράδειγμα: πωλητής καφέ (iii) Παράδειγμα: πωλητής καφέ (iv) Εισαγωγή στην Επιστήμη των Υπολογιστών. Προδιαγραφές Εισαγωγή στην Επιστήμη των Υπολογιστών 4ο εξάμηνοσ.h.m.μ.y. & Σ.Ε.Μ.Φ.Ε. http://www.corelab.ece.ntua.gr/courses/ 3η ενότητα: Αυτόματα και Τυπικές Γραμματικές Στάθης Ζάχος Συνεργασία: Κωστής Σαγώνας Επιμέλεια:

Διαβάστε περισσότερα

110 ΚΕΦΑΛΑΙΟ 3. ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ - ΜΗ ΚΑΝ. ΓΛΩΣΣΕΣ 3.1 Ελάχιστα ΠΑ Οταν χρησιμοποιούμε ΠΑ σε διάφορες εφαρμογές και προβλήματα, μας ενδιαφέρει να βρούμε

110 ΚΕΦΑΛΑΙΟ 3. ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ - ΜΗ ΚΑΝ. ΓΛΩΣΣΕΣ 3.1 Ελάχιστα ΠΑ Οταν χρησιμοποιούμε ΠΑ σε διάφορες εφαρμογές και προβλήματα, μας ενδιαφέρει να βρούμε Κεφάλαιο 3 Ελαχιστοποίηση και Μη Κανονικές Γλώσσες Σύνοψη Στο συγκεκριμένο κεφάλαιο, θα έχουμε την ευκαιρία να δούμε πώς μπορούμε να βρούμε την πιο σύντομη και οικονομική περιγραφή μιας κανονικής γλώσσας,

Διαβάστε περισσότερα

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 7: Ασυμφραστικές Γλώσσες (Γλώσσες Ελεύθερες Συμφραζομένων)

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 7: Ασυμφραστικές Γλώσσες (Γλώσσες Ελεύθερες Συμφραζομένων) ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 7: Ασυμφραστικές Γλώσσες (Γλώσσες Ελεύθερες Συμφραζομένων) Τι θα κάνουμε σήμερα Εισαγωγικά Ασυμφραστικές Γραμματικές (2.1) Τυπικός Ορισμός Της Ασυμφραστικής

Διαβάστε περισσότερα

Φροντιστήριο 7 Λύσεις

Φροντιστήριο 7 Λύσεις Άσκηση 1 Θεωρείστε το πιο κάτω αυτόματο στοίβας: Φροντιστήριο 7 Λύσεις (α) Να εξηγήσετε με λόγια ποια γλώσσα αναγνωρίζεται από το αυτόματο. (β) Να δώσετε τον τυπικό ορισμό του αυτομάτου. (γ) Να δείξετε

Διαβάστε περισσότερα

Σειρά Προβλημάτων 3 Λύσεις

Σειρά Προβλημάτων 3 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 3 Λύσεις Να δώσετε ασυμφραστικές γραμματικές που να παράγουν τις πιο κάτω γλώσσες: (α) { a i b j c k d m i, j, k, m 0 και i + j = k + m } (β) { uxvx rev u,v,x {0,1,2} + και όλα

Διαβάστε περισσότερα

ΘΕΩΡΙΑ ΠΑΙΓΝΙΩΝ. Ενότητα 10: Παιχνίδια με ελλιπή πληροφόρηση. Ρεφανίδης Ιωάννης Τμήμα Εφαρμοσμένης Πληροφορικής

ΘΕΩΡΙΑ ΠΑΙΓΝΙΩΝ. Ενότητα 10: Παιχνίδια με ελλιπή πληροφόρηση. Ρεφανίδης Ιωάννης Τμήμα Εφαρμοσμένης Πληροφορικής Ενότητα 0: Παιχνίδια μ λλιπή πληροφόρηση Ρφανίδης Ιωάννης Άδις Χρήσης Το παρόν κπαιδυτικό υλικό υπόκιται σ άδις χρήσης Creative Commons. ια κπαιδυτικό υλικό, όπως ικόνς, που υπόκιται σ άλλου τύπου άδιας

Διαβάστε περισσότερα

Σειρά Προβλημάτων 4 Λύσεις

Σειρά Προβλημάτων 4 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing (αυθεντικός ορισμός) η οποία να διαγιγνώσκει τη γλώσσα { w#z w, z {a,b}* και η z είναι υπολέξη της w}. Συγκεκριμένα,

Διαβάστε περισσότερα

ΣΤΟΙΧΕΙΑ ΘΕΜΕΛΙΩΣΕΩΝ ΥΠΟΛΟΓΙΣΤΙΚΩΝ ΜΗΧΑΝΩΝ ΓΙΑ ΤΟ ΓΥΜΝΑΣΙΟ ΚΑΙ ΤΟ ΛΥΚΕΙΟ

ΣΤΟΙΧΕΙΑ ΘΕΜΕΛΙΩΣΕΩΝ ΥΠΟΛΟΓΙΣΤΙΚΩΝ ΜΗΧΑΝΩΝ ΓΙΑ ΤΟ ΓΥΜΝΑΣΙΟ ΚΑΙ ΤΟ ΛΥΚΕΙΟ ΜΕΡΟΣ ΤΡΙΤΟ Ένταξη των Τ.Π.Ε. στην διδασκαλία και τη µάθηση I) ΣΤΟΙΧΕΙΑ ΘΕΜΕΛΙΩΣΕΩΝ ΥΠΟΛΟΓΙΣΤΙΚΩΝ ΜΗΧΑΝΩΝ ΓΙΑ ΤΟ ΓΥΜΝΑΣΙΟ ΚΑΙ ΤΟ ΛΥΚΕΙΟ Παύλος Γ. Σπυράκης (google: Paul Spirakis) Ερευνητικό Ακαδηµαϊκό

Διαβάστε περισσότερα

2 1 1+ ΜΑΘΗΜΑΤΙΚΑ Ο.Π. ΤΡΑΠΕΖΑ ΘΕΜΑΤΩΝ ΚΕΦΑΛΑΙΟ:2 ο - ΠΑΡΑΓΡΑΦΟΣ: 2.1 2.2. Γιάννης Ζαµπέλης Μαθηµατικός

2 1 1+ ΜΑΘΗΜΑΤΙΚΑ Ο.Π. ΤΡΑΠΕΖΑ ΘΕΜΑΤΩΝ ΚΕΦΑΛΑΙΟ:2 ο - ΠΑΡΑΓΡΑΦΟΣ: 2.1 2.2. Γιάννης Ζαµπέλης Μαθηµατικός ΚΕΦΑΛΑΙΟ: ο - ΠΑΡΑΓΡΑΦΟΣ:.. ΤΡΑΠΕΖΑ ΘΕΜΑΤΩΝ 4 5 Γιάννης Ζαµπέλης Μαθηµατικός 8575 Β (Αναρτήθηκ 8 4 ) ίνονται τα σηµία Α(,) και Β(5,6). α) Να βρίτ την ξίσωση της υθίας που διέρχται από τα σηµία Α και B.

Διαβάστε περισσότερα

ΜΑΘΗΜΑ: Μεταγλωττιστές

ΜΑΘΗΜΑ: Μεταγλωττιστές Comment [h1]: Παράδειγμ α: https://ocp.teiath.gr/modules/ exercise/exercise_result.php?course=pey101&eurid=16 9 ΜΑΘΗΜΑ: Μεταγλωττιστές ΔΙΔΑΣΚΩΝ: Άγγελος Μιχάλας ΤΜΗΜΑ: Τμήμα Μηχανικών Πληροφορικής ΤΕ 1

Διαβάστε περισσότερα

Μηχανές Turing (T.M) I

Μηχανές Turing (T.M) I Μηχανές Turing (T.M) I Οι βασικές λειτουργίες μιας TM είναι: Διάβασε το περιεχόμενο του τρέχοντος κυττάρου Γράψε 1 ή 0 στο τρέχον κύτταρο Κάνε τρέχον το αμέσως αριστερότερο ή το αμέσως δεξιότερο κύτταρο

Διαβάστε περισσότερα

Συµπάγεια και οµοιόµορφη συνέχεια

Συµπάγεια και οµοιόµορφη συνέχεια 35 Συµπάγια και οµοιόµορφη συνέχια Μια πολύ σηµαντική έννοια στην Ανάλυση ίναι αυτή της συµπάγιας. Όπως θα δούµ τα συµπαγή υποσύνολα του Ευκλίδιου χώρου R συµπριφέρονται λίγο πολύ ως ππρασµένα σύνολα.

Διαβάστε περισσότερα