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

Save this PDF as:
 WORD  PNG  TXT  JPG

Μέγεθος: 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 Σύνοψη Ππρασμένα Αυτόματα Νττρμινιστικά Ππρασμένα Αυτόματα Μη-Νττρμινιστικά Ππρασμένα Αυτόματα Μη-Νττρμινιστικά Ππρασμένα Αυτόματα μ Μηδνικές Μταβάσις Αναγωγές Αυτομάτων και Γραμματικών. Υλοποίηση Λκτικών Αναλυτών Προβλήματα Προσομοίωση ΠΑ Διαγράμματα Μτάβασης Σφάλματα

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

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

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

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

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

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

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

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

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

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

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

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

Σειρά Προβλημάτων 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 Ιστοσλίδα

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

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

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

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

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) ίναι σημίο

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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" ακολουθούμενο το σύμβολο

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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: Ένα Γενικό Μοντέλο Υπολογισμού Ποια μοντέλα υπολογισμού μπορούν να δεχθούν γλώσσες της μορφής

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ΣΤΟΙΧΕΙΑ ΘΕΜΕΛΙΩΣΕΩΝ ΥΠΟΛΟΓΙΣΤΙΚΩΝ ΜΗΧΑΝΩΝ ΓΙΑ ΤΟ ΓΥΜΝΑΣΙΟ ΚΑΙ ΤΟ ΛΥΚΕΙΟ ΜΕΡΟΣ ΤΡΙΤΟ Ένταξη των Τ.Π.Ε. στην διδασκαλία και τη µάθηση 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.

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

όπου n είναι ο συνολικός αριθμός γραμμομορίων του συστήματος (που συμπεριλαμβάνει και τα τυχόν αδρανή συστατικά), Ή ακόμα και τη σύσταση κατά βάρος

όπου n είναι ο συνολικός αριθμός γραμμομορίων του συστήματος (που συμπεριλαμβάνει και τα τυχόν αδρανή συστατικά), Ή ακόμα και τη σύσταση κατά βάρος Κφάλαιο Στοιχιομτρία αντιδράσων. Σύσταση μιγμάτων αντιδρώντων Ας υποθέσουμ πως μια χημική αντίδραση συμβαίνι μέσα σ μια φάση. Η κατάσταση της κάθ φάσης καθορίζται από την πίση, τη θρμοκρασία Τ, και τη

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

3.2 Τοπικά κυρτοί χώροι-βασικές ιδιότητες.

3.2 Τοπικά κυρτοί χώροι-βασικές ιδιότητες. 32 3.2 Τοπικά κυρτοί χώροι-βασικές ιδιότητς. Στην παράγραφο αυτή πρόκιται να ισαγάγουμ μια σημαντική, ίσως την σημαντικότρη, κλάση τοπολογικών γραμμικών χώρων. Αυτή ίναι η κλάση των τοπικά κυρτών χώρων

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

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

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

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

Μοντελοποίηση Υπολογισμού. Γραμματικές Πεπερασμένα Αυτόματα Κανονικές Εκφράσεις

Μοντελοποίηση Υπολογισμού. Γραμματικές Πεπερασμένα Αυτόματα Κανονικές Εκφράσεις Μοντελοποίηση Υπολογισμού Γραμματικές Πεπερασμένα Αυτόματα Κανονικές Εκφράσεις Προβλήματα - Υπολογιστές Δεδομένου ενός προβλήματος υπάρχουν 2 σημαντικά ερωτήματα: Μπορεί να επιλυθεί με χρήση υπολογιστή;

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

Φροντιστήριο 2 ο : Εισαγωγή στον διανυσµατικό λογισµό

Φροντιστήριο 2 ο : Εισαγωγή στον διανυσµατικό λογισµό Φροντιστήριο ο : Εισαγωγή στον διανυσµατικό λογισµό Βαθµωτά ή µονόµτρα µγέθη scls: Για να οριστούν τα µγέθη αυτά απαιτίται να δοθί µόνο το µέτρο τους πριλαµβανοµένης της µονάδας µέτρησης ιανυσµατικά µγέθη

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

Αναδρομή Ανάλυση Αλγορίθμων

Αναδρομή Ανάλυση Αλγορίθμων Αναδρομή Ανάλυση Αλγορίθμων Παράδειγμα: Υπολογισμός του παραγοντικού Ορισμός του n! n! = n x (n - 1) x x 2 x 1 Ο παραπάνω ορισμός μπορεί να γραφεί ως n! = 1 αν n = 0 n x (n -1)! αλλιώς Παράδειγμα (συνέχ).

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

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

Πανεπιστήμιο Θεσσαλίας Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών Πανεπιστήμιο Θεσσαλίας Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών Παραδείγματα Ενοτήτων 1-2 Ενότητα 1: Εισαγωγή Άσκηση 1-1: Θεωρήστε μια υποθετική γλώσσα προγραμματισμού και την παρακάτω γραμματική

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

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

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

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

Μοντελοποίηση προβληµάτων

Μοντελοποίηση προβληµάτων Σχεδιασµός Αλγορίθµων Ακέραιος προγραµµατισµός Αποδοτικοί Αλγόριθµοι Μη Αποδοτικοί Αλγόριθµοι Σχεδιασµός Αλγορίθµων Ακέραιος προγραµµατισµός Αποδοτικοί Αλγόριθµοι Μη Αποδοτικοί Αλγόριθµοι Θεωρία γράφων

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

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ. ΘΕΩΡΗΤΙΚΗ ΑΣΚΗΣΗ 1 ΛΥΣΕΙΣ Ανάλυση Πολυπλοκότητας

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

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

ΠΡΟΤΕΙΝΟΜΕΝΑ ΘΕΜΑΤΑ-ΦΡΟΝΤΙΣΤΗΡΙΟ ΑΚΑΔΗΜΑΪΚΟ ΕΠΑΛ- ΚΑΝΙΓΓΟΣ 13- ΤΗΛ

ΠΡΟΤΕΙΝΟΜΕΝΑ ΘΕΜΑΤΑ-ΦΡΟΝΤΙΣΤΗΡΙΟ ΑΚΑΔΗΜΑΪΚΟ ΕΠΑΛ- ΚΑΝΙΓΓΟΣ 13- ΤΗΛ ΘΕΜ 1.. Χαρακτηρίστε τις προτάσεις που ακολουθούν ως Σωστό, αν οι προτάσεις είναι σωστές και ως Λάθος αν οι προτάσεις είναι λάθος. 1.Είναι πάντα δυνατή η μετατροπή της εντολής WHILE DO σε FOR DO. 2. Στην

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

Περιέχει τα κεφάλαια: Στατικός Ηλεκτρισµός Συνεχές ηλεκτρικό ρεύµα Ηλεκτροµαγνητισµός Μηχανικές ταλαντώσεις

Περιέχει τα κεφάλαια: Στατικός Ηλεκτρισµός Συνεχές ηλεκτρικό ρεύµα Ηλεκτροµαγνητισµός Μηχανικές ταλαντώσεις ίας : λαια ς ά φ τα κ κτρισµό ύµα ι χ έ Πρι τικός Ηλ τρικό ρ α κ Στ χές ηλ νητισµός ις ν γ Συ κτροµα λαντώσ α τ λ Η χανικές ουν η χ ρ Μ ά π αιο υ λ ά φ θ κ θωρίας ά κ ογής ς Σ α ι λ ί ι π σ χ ι ς ο κή

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

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

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

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

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

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

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

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

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

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

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

ΠΑΝΕΠΙΣΤΗΜΙΟ ΜΑΚΕΔΟΝΙΑΣ ΟΙΚΟΝΟΜΙΚΩΝ ΚΑΙ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΜΕΤΑΓΛΩΤΤΙΣΤΕΣ. ΠΑΝΕΠΙΣΤΗΜΙΟ ΜΑΚΕΔΟΝΙΑΣ ΟΙΚΟΝΟΜΙΚΩΝ ΚΑΙ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΜΕΤΑΓΛΩΤΤΙΣΤΕΣ Τελικές Εξετάσεις Απαντήστε όλα τα θέματα του Μέρους Α και ένα θέμα από

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

ΕΞΙΣΩΣΗ ΕΥΘΕΙΑΣ ( 2.1)

ΕΞΙΣΩΣΗ ΕΥΘΕΙΑΣ ( 2.1) ΚΕΦ 2 ο : H υθία στο πίπδο ΕΞΙΣΩΣΗ ΕΥΘΕΙΑΣ ( 2.1) Εξίσση γραµµής C του πιπέδου: Είναι µια ξίσση µ δύο αγνώστους x, που έχι τις ιδιότητς i) Oι συντταγµένς κάθ σηµίου της γραµµής C παληθύουν την ξίσση και

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

ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ

ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΤΟΜΕΑΣ ΕΠΙΚΟΙΝΩΝΙΩΝ, ΗΛΕΚΤΡΟΝΙΚΗΣ ΚΑΙ ΣΥΣΤΗΜΑΤΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ Μλέτη της Μοντλοποίησης Γραµµών Μταφοράς σ Ολοκληρωµένα

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

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

ΚΕΦΑΛΑΙΟ 12 Ο ΣΤΟΙΧΕΙΑ ΓΕΩΜΕΤΡΙΑΣ ΤΟΥ ΧΩΡΟΥ ΔΡ ΛΕΩΝΙΔΑΣ ΑΝΘΟΠΟΥΛΟΣ, ΕΠΙΚΟΥΡΟΣ ΚΑΘΗΓΗΤΗΣ ΤΜΗΜΑ ΔΙΟΙΚΗΣΗΣ ΚΑΙ ΔΙΑΧΕΙΡΙΣΗΣ ΕΡΓΩΝ ΤΕΙ ΛΑΡΙΣΑΣ Σχδίαση μ τη χρήση Η/Υ ΕΦΑΑΙΟ 12 Ο ΣΤΟΙΧΕΙΑ ΓΕΩΜΕΤΡΙΑΣ ΤΟΥ ΧΩΡΟΥ ΔΡ ΕΩΝΙΔΑΣ ΑΝΘΟΠΟΥΟΣ, ΕΠΙΟΥΡΟΣ ΑΘΗΓΗΤΗΣ ΤΜΗΜΑ ΔΙΟΙΗΣΗΣ ΑΙ ΔΙΑΧΕΙΡΙΣΗΣ ΕΡΓΩΝ ΤΕΙ ΑΡΙΣΑΣ Γωνίς πιπέδων: Η γωνία δυο τμνόμνων πιπέδων ορίζται

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

ΚΕΦΑΛΑΙΟ 1ο 3ο. ΚΕΦΑΛΑΙΟ 5ο 6ο. ΚΕΦΑΛΑΙΟ 7ο. Δομημένος Προγραμματισμός - Γενικές Ασκήσεις Επανάληψης

ΚΕΦΑΛΑΙΟ 1ο 3ο. ΚΕΦΑΛΑΙΟ 5ο 6ο. ΚΕΦΑΛΑΙΟ 7ο. Δομημένος Προγραμματισμός - Γενικές Ασκήσεις Επανάληψης ΚΕΦΑΛΑΙΟ 1ο 3ο 1. Συμπληρώστε τα κενά με τη λέξη που λείπει. α. Ένα πρόβλημα το χωρίζουμε σε άλλα απλούστερα, όταν είναι ή όταν έχει τρόπο επίλυσης. β. Η επίλυση ενός προβλήματος προϋποθέτει την του. γ.

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

ΑΛΓΟΡΙΘΜΟΙ Άνοιξη I. ΜΗΛΗΣ

ΑΛΓΟΡΙΘΜΟΙ  Άνοιξη I. ΜΗΛΗΣ ΑΛΓΟΡΙΘΜΟΙ http://eclass.aueb.gr/courses/inf161/ Άνοιξη 2016 - I. ΜΗΛΗΣ ΠΑΡΑΔΕΙΓΜΑΤΑ ΑΛΓΟΡΙΘΜΩΝ ΚΑΙ ΠΟΛΥΠΛΟΚΟΤΗΤΑΣ ΑΛΓΟΡΙΘΜΟΙ - ΑΝΟΙΞΗ 2016 - Ι. ΜΗΛΗΣ - 03 - EXAMPLES ALG & COMPL 1 Example: GCD συνάρτηση

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

ΣΥΜΜΕΤΡΙΑ ΩΣ ΠΡΟΣ ΑΞΟΝΑ

ΣΥΜΜΕΤΡΙΑ ΩΣ ΠΡΟΣ ΑΞΟΝΑ 1 1-2 ΣΥΜΜΕΤΡΙ ΩΣ ΠΡΣ ΞΝ ΞΝΣ ΣΥΜΜΕΤΡΙΣ ΘΕΩΡΙ Συµµτρικό σηµίου ως προς υθία Όταν το ν βρίσκται πάνω στην νοµάζουµ συµµτρικό του ως προς την υθία το σηµίο µ το οποίο συµπίπτι το όταν ιπλώσουµ το σχήµα κατά

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

Η γλώσσα προγραμματισμού Strange

Η γλώσσα προγραμματισμού Strange Προγραμματιστική άσκηση: Η γλώσσα προγραμματισμού Strange Η Strange είναι μια μικρή γλώσσα προγραμματισμού. Παρόλο που οι προγραμματιστικές της ικανότητες είναι μικρές, η εκπαιδευτική αυτή γλώσσα περιέχει

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

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

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

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

Αλγόριθµοι Οπισθοδρόµησης

Αλγόριθµοι Οπισθοδρόµησης Αλγόριθµοι Οπισθοδρόµησης Στην ενότητα αυτή θα µελετηθούν τα εξής επιµέρους θέµατα: Η οπισθοδρόµηση στο σχεδιασµό αλγορίθµων Το πρόβληµα των σταθερών γάµων και ο αλγόριθµος των Gale-Shapley Το πρόβληµα

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

ΜΑΘΗΜΑΤΙΚΑ Α ΓΥΜΝΑΣΙΟΥ. ΜΕΡΟΣ 2ο ΓΕΩΜΕΤΡΙΑ

ΜΑΘΗΜΑΤΙΚΑ Α ΓΥΜΝΑΣΙΟΥ. ΜΕΡΟΣ 2ο ΓΕΩΜΕΤΡΙΑ ΜΘΗΜΤΙΚ ΥΜΝΣΙΥ ΜΕΡΣ ο ΕΩΜΕΤΡΙ ΕΠΙΜΕΛΕΙ : ΥΕΡΙΝΣ ΣΙΛΗΣ ΜΘΗΜΤΙΚ ΥΜΝΣΙΥ ΘΕΩΡΙ ΜΕΡΣ ο : ΕΩΜΕΤΡΙ ΚΕΦΛΙ ο ΣΙΚΕΣ ΕΩΜΕΤΡΙΚΕΣ ΕΝΝΙΕΣ. Ποια η έννοια του σημίου,του υθυγράμμου τμήματος, τι ονομάζουμ άκρα του τμήματος,τι

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

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

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 3: Ντετερμινιστικά Πεπερασμένα Αυτόματα (DFA) ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 3: Ντετερμινιστικά Πεπερασμένα Αυτόματα (DFA) Τι θα κάνουμε σήμερα Εισαγωγή στα Ντετερμινιστικά Πεπερασμένα Αυτόματα 14-Sep-11 Τυπικός Ορισμός Ντετερμινιστικών

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

Λυσεις προβλημάτων τελικής φάσης Παγκύπριου Μαθητικού Διαγωνισμού Πληροφορικής 2007

Λυσεις προβλημάτων τελικής φάσης Παγκύπριου Μαθητικού Διαγωνισμού Πληροφορικής 2007 Λυσεις προβλημάτων τελικής φάσης Παγκύπριου Μαθητικού Διαγωνισμού Πληροφορικής 2007 Πρόβλημα 1 Το πρώτο πρόβλημα λύνεται με τη μέθοδο του Δυναμικού Προγραμματισμού. Για να το λύσουμε με Δυναμικό Προγραμματισμό

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

Κεφάλαιο 2 ο Βασικές Έννοιες Αλγορίθμων (σελ )

Κεφάλαιο 2 ο Βασικές Έννοιες Αλγορίθμων (σελ ) Κεφάλαιο 2 ο Βασικές Έννοιες Αλγορίθμων (σελ. 25 48) Τι είναι αλγόριθμος; Γ ΛΥΚΕΙΟΥ Αλγόριθμος είναι μία πεπερασμένη σειρά ενεργειών, αυστηρά καθορισμένων και εκτελέσιμων σε πεπερασμένο χρονικό διάστημα,

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

Εισαγωγή στους Αλγόριθµους Σεπτέµβριος Εξεταστές: Χ. Ζαρολιάγκης, Θ. Παπαθεοδώρου

Εισαγωγή στους Αλγόριθµους Σεπτέµβριος Εξεταστές: Χ. Ζαρολιάγκης, Θ. Παπαθεοδώρου Ονοµατεπώνυµο: Εισαγωγή στους Αλγόριθµους Σεπτέµβριος Εξεταστές: Χ. Ζαρολιάγκης, Θ. Παπαθεοδώρου Α.Μ.: Έτος: ιάρκεια Εξέτασης: ώρες ο Θέµα ( µονάδα) i) ίνεται το διάνυσµα A µε N 8 στοιχεία. Να υπολογιστεί

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

Δομές Δεδομένων και Αλγόριθμοι

Δομές Δεδομένων και Αλγόριθμοι Δομές Δεδομένων και Αλγόριθμοι Χρήστος Γκόγκος ΤΕΙ Ηπείρου Χειμερινό Εξάμηνο 2014-2015 Παρουσίαση 18 Dijkstra s Shortest Path Algorithm 1 / 12 Ο αλγόριθμος εύρεσης της συντομότερης διαδρομής του Dijkstra

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

Η ΔΥΝΑΜΙΚΗ ΤΗΣ ΟΜΑΔΑΣ ΝΙΚΟΛΑΟΣ ΡΕΛΛΟΣ

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

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

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

Θεωρία Υπολογισμού και Πολυπλοκότητα Διαγνωσιμότητα Θεωρία Υπολογισμού και Πολυπλοκότητα Διαγνωσιμότητα Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Διαγνώσιμες Γλώσσες (4.1) Επιλύσιμα Προβλήματα σχετικά με Κανονικές Γλώσσες Επιλύσιμα Προβλήματα

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

Επεξεργασία Ερωτήσεων

Επεξεργασία Ερωτήσεων Εισαγωγή Επεξεργασία Ερωτήσεων ΜΕΡΟΣ 1 Γενική Εικόνα του Μαθήματος 1. Μοντελοποίηση (Μοντέλο Ο/Σ, Σχεσιακό, Λογικός Σχεδιασμός) 2. Προγραμματισμός (Σχεσιακή Άλγεβρα, SQL) ημιουργία/κατασκευή Εισαγωγή εδομένων

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

ΑΠΑΝΤΗΣΕΙΣ. H διαδικασία ανεύρεσης λογικών λαθών περιλαμβάνει : β- Σωστό. Διαπίστωση του είδους του λάθους γ- Σωστό δ- Λάθος

ΑΠΑΝΤΗΣΕΙΣ. H διαδικασία ανεύρεσης λογικών λαθών περιλαμβάνει : β- Σωστό. Διαπίστωση του είδους του λάθους γ- Σωστό δ- Λάθος ΑΡΧΗ 1ΗΣ ΣΕΛΙΔΑΣ Γ ΤΑΞΗ ΕΠΑΛ (ΟΜΑΔΑ Α ) & ΜΑΘΗΜΑΤΩΝ ΕΙΔΙΚΟΤΗΤΑΣ ΕΠΑΛ (ΟΜΑΔΑ Β ) ΤΕΤΑΡΤΗ 08/04/2015 - ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ: ΔΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΣΥΝΟΛΟ ΣΕΛΙΔΩΝ: ΟΚΤΩ (8) ΘΕΜΑ Α ΑΠΑΝΤΗΣΕΙΣ Α1. Α2. α-

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

Ενότητες 3 & 4: Δένδρα, Σύνολα & Λεξικά Ασκήσεις και Λύσεις

Ενότητες 3 & 4: Δένδρα, Σύνολα & Λεξικά Ασκήσεις και Λύσεις Ενότητες 3 & 4: Δένδρα, Σύνολα & Λεξικά Ασκήσεις και Λύσεις Άσκηση 1 Γράψτε μία αναδρομική συνάρτηση που θα παίρνει ως παράμετρο ένα δείκτη στη ρίζα ενός δυαδικού δένδρου και θα επιστρέφει το βαθμό του

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

ΠΙΝΑΚΑΣ ΠΕΡΙΕΧΟΜΕΝΩΝ

ΠΙΝΑΚΑΣ ΠΕΡΙΕΧΟΜΕΝΩΝ ΠΙΝΑΚΑΣ ΠΕΡΙΕΧΟΜΕΝΩΝ Πρόλογος... 11 Μέρος Α: Στοιχεία Αλγοριθμικής... 15 1 Επίλυση προβλημάτων με Η/Υ... 19 1.1 Εισαγωγή... 19 1.2 Αλγόριθμοι-αλγοριθμικά προβλήματα... 20 1.3 Το μαθηματικό μοντέλο... 26

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

Προγραμματισμός Η/Υ. Προτεινόμενα θέματα εξετάσεων Εργαστήριο. Μέρος 1 ό. ΤΕΙ Λάρισας- Σχολή Τεχνολογικών Εφαρμογών Τμήμα Πολιτικών Έργων Υποδομής

Προγραμματισμός Η/Υ. Προτεινόμενα θέματα εξετάσεων Εργαστήριο. Μέρος 1 ό. ΤΕΙ Λάρισας- Σχολή Τεχνολογικών Εφαρμογών Τμήμα Πολιτικών Έργων Υποδομής Προγραμματισμός Η/Υ Προτεινόμενα θέματα εξετάσεων Εργαστήριο Μέρος 1 ό ΤΕΙ Λάρισας- Σχολή Τεχνολογικών Εφαρμογών Τμήμα Πολιτικών Έργων Υποδομής Ιανουάριος 2011 Καλογιάννης Γρηγόριος Επιστημονικός/ Εργαστηριακός

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

Σε αυτό το µάθηµα. Εισαγωγή στις Μηχανές Turing. Μηχανή Turing (Turing Machine - TM) Μηχανές Turing. Παραδείγµατα Μηχανών Turing

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

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

Αφαίρεση στον FP. Πολυμορφισμός Συναρτήσεις υψηλότερης τάξης Οκνηρός και Άπληστος Υπολογισμός

Αφαίρεση στον FP. Πολυμορφισμός Συναρτήσεις υψηλότερης τάξης Οκνηρός και Άπληστος Υπολογισμός Αφαίρεση στον FP Πολυμορφισμός Συναρτήσεις υψηλότερης τάξης Οκνηρός και Άπληστος Υπολογισμός Πολυμορφισμός Θα χρησιμοποιήσουμε σαν παράδειγμα τη συνάρτηση ταυτότητας Ι, που ορίζεται ως: fun I x = x Ο ορισμός

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

5. (Λειτουργικά) Δομικά Διαγράμματα

5. (Λειτουργικά) Δομικά Διαγράμματα 5. (Λειτουργικά) Δομικά Διαγράμματα Γενικά, ένα λειτουργικό δομικό διάγραμμα έχει συγκεκριμένη δομή που περιλαμβάνει: Τις δομικές μονάδες (λειτουργικά τμήματα ή βαθμίδες) που συμβολίζουν συγκεκριμένες

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

Κατοίκον Εργασία 2. (γ) το ολικό φορτίο που βρίσκεται στον κύβο. (sd p.e 4.9 p146)

Κατοίκον Εργασία 2. (γ) το ολικό φορτίο που βρίσκεται στον κύβο. (sd p.e 4.9 p146) Κατοίκον Εργασία. Ένα σημιακό φορτίο (point charge) 5 mc και ένα - mc βρίσκονται στα σημία (,0,4) και (-3,0,5) αντίστοιχα. (α) Υπολογίστ την δύναμη πάνω σ ένα φορτίο (point charge) nc που βρίσκται στο

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