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

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

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

Transcript

1 ΕΠΛ211: Θωρία Υπολογισμού και Πολυπλοκότητα Άσκηση 1 Σιρά Προβλημάτων 2 Λύσις Να δώστ κανονικές κφράσις που να πριγράφουν τις πιο κάτω γλώσσς. (α) { w {,} * η w δν πριέχι δύο συνχόμνα όμοια γράμματα } (β) { w {,,c} * η w δν πριέχι δύο συνχόμνα όμοια γράμματα } (γ) { w {,} * η w πριέχι ως υπολέξη τη λέξη ακριβώς μία φορά } (δ) { w {,} * όλς οι λέξις κτός από την } () { w {,} * το μήκος της w ίναι άρτιο και το πλήθος των στην w ίναι πριττό } (α) ( ) ()* ( ) (β) [ ((c)*( ) (c)*(c )]* [ ((c)*( ) (c)*(c )]* [c (()*( ) ()*( )]* (γ) *( + )* ( + )* * (δ) ( )( )* () [( )*( ) ( )*( )]* [( )*( ) ( )*] Άσκηση 2 (α) Θωρήστ ένα NFA,,,,. Έστω,,,, το αυτόματο που λαμβάνται αν αντιστρέψουμ τον ρόλο των καταστάσων αποδοχής μ τις καταστάσις μη αποδοχής. Να δίξτ ότι, γνικά, το αυτόματο δν παράγι το συμπλήρωμα της γλώσσας του. Δηλαδή, να δίξτ ότι υπάρχι NFA τέτοιο ώστ. To ζητούμνο δίχνται μέσω του πιο κάτω παραδίγματος. Το μη νττρμινιστικό αυτόματο Μ αποδέχται τη γλώσσα. Το αυτόματο ΝΟΤ(Μ) αποδέχται τη γλώσσα {} που προφανώς δν αποτλί το συμπλήρωμα της γλώσσας του Μ. Ως κ τούτου, στην πρίπτωση των μη νττρμινιστικών αυτομάτων, αν Μ ίναι ένα μη νττρμινιστικό ππρασμένο αυτόματο που αναγνωρίζι τη γλώσσα L, τότ δν ισχύι απαραίτητα ότι το αυτόματο NOT(M) αναγνωρίζι τη γλώσσα L { w w L} Μ ΝΟΤ(Μ) (β) Θωρήστ την κανονική έκφραση R = ( )*( )*. Να υπολογίστ την κανονική έκφραση που παράγι το συμπλήρωμα της γλώσσας του R ακολουθώντας τα πιο κάτω βήματα: (i) Να μτατρέψτ την κανονική έκφραση R σ ισοδύναμο NFA N. Λύσις Σιράς Προβλημάτων 2 Εαρινό Εξάμηνο 2017 Σλίδα 1

2 ΕΠΛ211: Θωρία Υπολογισμού και Πολυπλοκότητα, 1 2, 3 (ii) Να μτατρέψτ το NFA Ν σ ισοδύναμο DFA A, χρησιμοποιώντας τον σχτικό αλγόριθμο (Διαφάνις ). {1,2,3} (iii) Να μτατρέψτ το αυτόματο Α σ αυτόματο Β το οποίο να αποδέχται το συμπλήρωμα της γλώσσας του Α. {1,2,3} (iv) Να μτατρέψτ το αυτόματο Β σ ισοδύναμη κανονική έκφραση χρησιμοποιώντας τον σχτικό αλγόριθμο (Διαφάνια 3 20). Βήμα 1: Εισαγωγή καινούριας αρχικής και τλικής κατάστασης. {1,2,3} Βήμα 2(α): Αφαίρση κορυφής {1,2,3} + Λύσις Σιράς Προβλημάτων 2 Εαρινό Εξάμηνο 2017 Σλίδα 2

3 ΕΠΛ211: Θωρία Υπολογισμού και Πολυπλοκότητα Βήμα 2(β): Αφαίρση κορυφής Βήμα 2(δ): Αφαίρση κορυφής + Βήμα 2(): Αφαίρση κορυφής *[ + ] Ζητούμνη κανονική έκφραση: *[ + ]= ** Άσκηση 3 Να αποφασίστ κατά πόσο οι πιο κάτω γλώσσς ίναι κανονικές αιτιολογώντας μ ακρίβια τις απαντήσις σας. (α) H γλώσσα L 1 που πριέχι όλους τους πραγματικούς αριθμούς όπου το ακέραιο σκέλος και το δκαδικό σκέλος πριέχουν τον ίδιο αριθμό ψηφίων και το ακέραιο σκέλος δν μπορί να ξκινά μ 0. Για παράδιγμα, οι λέξις και ανήκουν στη γλώσσα, αλλά οι λέξις και δν ανήκουν στη γλώσσα. Υποθέτουμ για να φτάσουμ σ αντίφαση ότι η L 1 ίναι κανονική. Τότ, σύμφωνα μ το Λήμμα της Άντλησης, υπάρχι p, το μήκος άντλησης της γλώσσας, τέτοιο ώστ κάθ λέξη Λύσις Σιράς Προβλημάτων 2 Εαρινό Εξάμηνο 2017 Σλίδα 3

4 ΕΠΛ211: Θωρία Υπολογισμού και Πολυπλοκότητα της γλώσσας μ μήκος μγαλύτρο από p να ικανοποιί την ιδιότητα που πριγράφται Ας πιλέξουμ τη λέξη = 1 p.2 p. Τότ, σύμφωνα μ το λήμμα, = xyz έτσι ώστ η υπολέξη xy να βρίσκται μέσα στις p πρώτς θέσις της w ( xy p) η y να ίναι μη κνή ( y 0) και οποιαδήποτ πανάληψη της υπολέξης y να διατηρί την προκύπτουσα λέξη ντός της γλώσσας (xy i z L 1 ). Αφού xy p, τότ πρέπι να ισχύι ότι τόσο το x όσο και το y αποτλούνται μόνο από 1. Επομένως, x = 1 λ, y = 1 μ, w = 1 ν.2 p όπου λ+μ+ν = p. Επίσης, από το λήμμα, πρέπι να ισχύι ότι xy 2 z L 1. Αλλά, xy 2 z = 1 λ 1 μ 1 μ 1 ν.2 p = 1 p+μ.2 p και, από τον ορισμό της γλώσσας, xy 2 z L 1. Αυτό μας οδηγί σ αντίφαση και πομένως η υπόθσή μας ότι η γλώσσα L 1 ίναι κανονική ήταν σφαλμένη. (β) L 2 = { xx rev x x {0,1} + } Υποθέτουμ για να φτάσουμ σ αντίφαση ότι η L 2 ίναι κανονική. Τότ, σύμφωνα μ το Λήμμα της Άντλησης, υπάρχι p, το μήκος άντλησης της γλώσσας, τέτοιο ώστ κάθ λέξη της γλώσσας μ μήκος μγαλύτρο από p να ικανοποιί την ιδιότητα που πριγράφται Ας πιλέξουμ τη λέξη = 0 p 110 p 0 p 1. Τότ, σύμφωνα μ το λήμμα, = xyz έτσι ώστ η υπολέξη xy να βρίσκται μέσα στις p πρώτς θέσις της w ( xy p) η y να ίναι μη κνή ( y 0) και οποιαδήποτ πανάληψη της υπολέξης y να διατηρί την προκύπτουσα λέξη ντός της γλώσσας (xy i z L 2 ). Αφού xy p, τότ πρέπι να ισχύι ότι τόσο το x όσο και το y αποτλούνται μόνο από 0. Επομένως, x = 0 λ, y = 0 μ, w = 0 ν 110 p 0 p 1 όπου λ+μ+ν = p. Επίσης, από το λήμμα, πρέπι να ισχύι ότι xy 2 z L 2. Αλλά, xy 2 z = 0 λ 0 μ 0 μ 0 ν 110 p 0 p 1= 0 p+μ 110 p 0 p 1 και, από τον ορισμό της γλώσσας, xy 2 z L 2. Αυτό μας οδηγί σ αντίφαση και πομένως η υπόθσή μας ότι η γλώσσα L 2 ίναι κανονική ήταν σφαλμένη. (γ) L 3 = { uxvx u,v {0,1,2}*, x {0,1,2}, και όλα τα στοιχία του v ίναι μικρότρα από το x } Η γλώσσα L 3 ίναι κανονική και πριγράφται από την έκφραση {0 1 2}*[00 10*1 2(0 1)*2]. (δ) L 4 = {uxvx u,v {0,1,2}*, u = v, x {0,1,2}, και όλα τα στοιχία του v ίναι μικρότρα από το x } Υποθέτουμ για να φτάσουμ σ αντίφαση ότι η L 4 ίναι κανονική. Τότ, σύμφωνα μ το Λήμμα της Άντλησης, υπάρχι p, το μήκος άντλησης της γλώσσας, τέτοιο ώστ κάθ λέξη της γλώσσας μ μήκος μγαλύτρο από p να ικανοποιί την ιδιότητα που πριγράφται Λύσις Σιράς Προβλημάτων 2 Εαρινό Εξάμηνο 2017 Σλίδα 4

5 ΕΠΛ211: Θωρία Υπολογισμού και Πολυπλοκότητα Ας πιλέξουμ τη λέξη w = 0 p 2 1 p 2. Τότ, σύμφωνα μ το λήμμα, w = xyz έτσι ώστ η υπολέξη xy να βρίσκται μέσα στις p πρώτς θέσις της w ( xy p) η y να ίναι μη κνή ( y 0) και οποιαδήποτ πανάληψη της υπολέξης y να διατηρί την προκύπτουσα λέξη ντός της γλώσσας (xy i z L 4 ). Αφού xy p, τότ πρέπι να ισχύι ότι τόσο το x όσο και το y αποτλούνται μόνο από 0. Επομένως, x = 0 λ, y = 0 μ, w = 0 ν 2 1 p 2 όπου λ+μ+ν = p. Επίσης, από το λήμμα, πρέπι να ισχύι ότι xy 2 z L 4. Αλλά, xy 2 z = 0 λ 0 μ 0 μ 0 ν 2 1 p 2 = 0 p+μ 2 1 p 2 και, από τον ορισμό της γλώσσας, xy 2 z L 4. Αυτό μας οδηγί σ αντίφαση και πομένως η υπόθσή μας ότι η γλώσσα L 4 ίναι κανονική ήταν σφαλμένη. () L 5 = { u = 10 v u, v δυαδικοί αριθμοί χωρίς αρχικά μηδνικά και u ο διπλάσιος αριθμός του v} Υποθέτουμ για να φτάσουμ σ αντίφαση ότι η L 5 ίναι κανονική. Τότ, σύμφωνα μ το Λήμμα της Άντλησης, υπάρχι p, το μήκος άντλησης της γλώσσας, τέτοιο ώστ κάθ λέξη της γλώσσας μ μήκος μγαλύτρο από p να ικανοποιί την ιδιότητα που πριγράφται Ας πιλέξουμ τη λέξη = 1 p 0=10 1 p. Τότ, σύμφωνα μ το λήμμα, = xyz έτσι ώστ η υπολέξη xy να βρίσκται μέσα στις p πρώτς θέσις της w ( xy p) η y να ίναι μη κνή ( y 0) και οποιαδήποτ πανάληψη της υπολέξης y να διατηρί την προκύπτουσα λέξη ντός της γλώσσας (xy i z L 5 ). Αφού xy p, τότ πρέπι να ισχύι ότι τόσο το x όσο και το y αποτλούνται μόνο από 1. Επομένως, x = 1 λ, y = 1 μ, w = 1 ν 0=10 1 p όπου λ+μ+ν = p. Επίσης, από το λήμμα, πρέπι να ισχύι ότι xy 2 z L 5. Αλλά, xy 2 z = 1 λ 1 μ 1 μ 1 ν 0=10 1 p = 1 p+μ 0=10 1 p και, από τον ορισμό της γλώσσας, xy 2 z L 5. Αυτό μας οδηγί σ αντίφαση και πομένως η υπόθσή μας ότι η γλώσσα L 5 ίναι κανονική ήταν σφαλμένη. Άσκηση 4 Για κάθ μια από τις πιο κάτω προτάσις να αποφασίστ κατά πόσο η πρόταση ίναι αληθής ή ψυδής. Αν η πρόταση ίναι αληθής να αποδίξτ την ορθότητά της νώ αν ίναι ψυδής να δώστ κατάλληλο αντιπαράδιγμα. (α) Αν η γλώσσα Λ 1 Λ 2 ίναι κανονική τότ και οι γλώσσς Λ 1 και Λ 2 ίναι κανονικές. (β) Αν οι γλώσσς Λ 1, Λ 2 ίναι κανονικές τότ και η γλώσσα Λ 1 Λ 2 ίναι κανονική (α) Η πρόταση ίναι ψυδής. Ως αντιπαράδιγμα μπορούμ να πιλέξουμ ως Λ 1 = { n n n>0} και Λ 2 = **. Τότ έχουμ ότι η Λ 1 ίναι μη κανονική γλώσσα αν και η Λ 1 - Λ 2 = ίναι κανονική γλώσσα. Λύσις Σιράς Προβλημάτων 2 Εαρινό Εξάμηνο 2017 Σλίδα 5

6 ΕΠΛ211: Θωρία Υπολογισμού και Πολυπλοκότητα (β) Η απόδιξη ίναι κατασκυαστική. Συγκκριμένα θα δίξουμ ότι αν υπάρχουν DFA που αναγνωρίζουν τις γλώσσς Λ 1 και Λ 2 τότ υπάρχι DFA που αναγνωρίζι τη γλώσσα Λ 1 Λ 2. Ας υποθέσουμ ότι τα αυτόματα Μ 1 = (Q 1, Σ, δ 1, q 1, F 1 ) και Μ 2 = (Q 2, Σ, δ 2, q 2, F 2 ) αναγνωρίζουν τις γλώσσς Λ 1 και Λ 2 αντίστοιχα. Κατασκυάζουμ το αυτόματο Μ = (Q, Σ, δ, q 0, F) που αναγνωρίζι τη γλώσσα Λ 1 Λ 2 ως ξής: Q = {(r 1, r 2 ) r 1 Q 1, r 2 Q 2 } Σ: το αλφάβητο ίναι το ίδιο μ αυτό των Μ 1 και Μ 2. Για κάθ (r 1, r 2 ) Q και Σ, θέτουμ δ((r 1, r 2 ), ) = (δ 1 (r 1, ), δ 2 (r 2, )) q 0 = (q 1, q 2 ) F = {(r 1, r 2 ) Q r 1 F 1 και r 2 F 2 } Εξήγηση: για να αποδχτούμ μια λέξη θα πρέπι το πρώτο αυτόματο να βρίσκται σ κατάσταση αποδοχής και το δύτρο αυτόματο να μην βρίσκται σ κατάσταση αποδοχής. Λύσις Σιράς Προβλημάτων 2 Εαρινό Εξάμηνο 2017 Σλίδα 6

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 211: Θωρία Υπολογισμού Ενδιάμση Εξέταση Ημρομηνία : Πέμπτη, 14 Μαρτίου 2019 Διάρκια : 09.00 10.30 Διδάσκουσα : Άννα Φιλίππου ΠΡΟΧΕΙΡΕΣ ΛΥΣΕΙΣ Πρόβλημα 1 [35 μονάδς]

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

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

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

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

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

Φροντιστήριο 2 Λύσεις ΕΠΛ2: Θεωρία Υπολογισμού και Πολυπλοκότητα Άσκηση Φροντιστήριο 2 Λύσεις Ποια από τα πιο κάτω αυτόματα αποτελούν DFA επί του αλφάβητου {,}. Αιτιολογήστε τις απαντήσεις σας. (i) (ii) (iii) (iv) (v), (vi),

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

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

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητα Ενδιάμεση Εξέταση Ημερομηνία : Παρασκευή, 17 Μαρτίου 2017 Διάρκεια : 9.00 10.30 Διδάσκουσα : Άννα Φιλίππου Ονοματεπώνυμο:

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

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

Φροντιστήριο 2 Λύσεις Άσκηση Φροντιστήριο 2 Λύσεις Ποια από τα πιο κάτω αυτόματα αποτελούν DFA επί του αλφάβητου {,}. Αιτιολογήστε τις απαντήσεις σας. (i) (ii) (iii) (iv) (v), (vi), (i) Όχι, δεν υπάρχει αρχική κατάσταση. (ii)

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

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

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

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

Σειρά Προβλημάτων 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} + και όλα

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

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

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

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

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

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

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

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

Σειρά Προβλημάτων 1 Λύσεις Σειρά Προβλημάτων Λύσεις Άσκηση Ορίζουμε τη συναρμογή δύο γλωσσών Α και Β ως ΑΒ = { uv u A, v B }. (α) Έστω Α = {α,β,γ} και Β =. Να περιγράψετε τη γλώσσα ΑΒ. (β) Θεωρήστε τις γλώσσες L, M και N. Να δείξετε

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

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

Σειρά Προβλημάτων 3 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 3 Λύσεις Να δώσετε ασυμφραστικές γραμματικές που να παράγουν τις πιο κάτω γλώσσες: (α) { a k b m c n k < m ή m > 2n, όπου k,m,n 0 } Μια γραμματική για τη γλώσσα έχει ως εξής:

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

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

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

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

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

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

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

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

Φροντιστήριο 9 Λύσεις Άσκηση 1 Φροντιστήριο 9 Λύσεις Να κατασκευάσετε μια μηχανή Turing με δύο ταινίες η οποία να αποδέχεται στην πρώτη της ταινία μια οποιαδήποτε λέξη w {a,b} * και να γράφει τη λέξη w R στη δεύτερη της ταινία.

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

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

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

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

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

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

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

Μπορείτε να δείξετε ότι αυξανομένης της θερμοκρασίας το κλάσμα των μορίων του συστήματος που βρίσκεται στην βασική ενεργειακή κατάσταση θα μειώνεται;

Μπορείτε να δείξετε ότι αυξανομένης της θερμοκρασίας το κλάσμα των μορίων του συστήματος που βρίσκεται στην βασική ενεργειακή κατάσταση θα μειώνεται; Έστω μακροσκοπικό σύστημα αποτούμνο από μόρια τα οποία μπορούν να βρθούν σ ένα σύνοο μη κφυισμένων καταστάσων μ νέργια, όπου,, 2, 3, 4,. Σ προηγούμνο παράδιγμα δίξαμ ότι η κυρίαρχη διαμόρφωση νός τέτοιου

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

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

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

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

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

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητα Ενδιάμεση Εξέταση Ημερομηνία : Σάββατο, 15 Μαρτίου 2014 Διάρκεια : 9.30 11.30 Διδάσκουσα : Άννα Φιλίππου Ονοματεπώνυμο:

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

Ασκήσεις από παλιές εξετάσεις

Ασκήσεις από παλιές εξετάσεις Άσκηση 2 - Τελική εξέταση 2012 Ασκήσεις από παλιές εξετάσεις (α) [10 μονάδες] Να μετατρέψετε το πιο κάτω NFA σε ένα ισοδύναμο DFA χρησιμοποιώντας την κατασκευή που μελετήσαμε στο μάθημα. a a q 0 a, ε q

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

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

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 6: Μη Κανονικές Γλώσσες ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 6: Μη Κανονικές Γλώσσες Τι θα κάνουμε σήμερα Εισαγωγικά Το Λήμμα της Άντλησης για κανονικές γλώσσες Παραδείγματα 1 Πότε μια γλώσσα δεν είναι κανονική;

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

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

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

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

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

Φροντιστήριο 10 Λύσεις Άσκηση 1 Φροντιστήριο 10 Λύσεις Να κατασκευάσετε μια μηχανή Turing με δύο ταινίες η οποία να αποδέχεται στην πρώτη της ταινία μια οποιαδήποτε λέξη w {0,1} * και να γράφει τη λέξη w R στη δεύτερη της ταινία.

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

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

Σειρά Προβλημάτων 3 Λύσεις Σειρά Προβλημάτων 3 Λύσεις Άσκηση 1 Να δώσετε ασυμφραστικές γραμματικές που να παράγουν τις πιο κάτω γλώσσες: (α) { xyw 1w 2 x, y {a, b}, w 1 = a n, w 2 = b 2n, όπου, αν x=y=a, τότε n = 2k, διαφορετικά

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

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

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

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

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

Σειρά Προβλημάτων 3 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 3 Λύσεις Να δώσετε ασυμφραστικές γραμματικές που να παράγουν τις πιο κάτω γλώσσες: (α) { xyxy rev x {a, b}, y {a, b} * } (α) Μια γραμματική για τη γλώσσα έχει ως εξής: S as a

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

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

Σειρά Προβλημάτων 3 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 3 Λύσεις Να δώσετε ασυμφραστικές γραμματικές που να παράγουν τις πιο κάτω γλώσσες: (α) { a m b n c p m,n,p 0 και είτε m + n = p είτε m = n + p } (β) { xx rev yy rev x, y {a,b}

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

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

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητα Ενδιάμεση Εξέταση Ημερομηνία : Κυριακή, 15 Μαρτίου 2015 Διάρκεια : 15.00 17.00 Διδάσκουσα : Άννα Φιλίππου Ονοματεπώνυμο:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2018 Φάση 1 ιαγωνίσµατα Προετοιµασίας ΜΑΘΗΜΑΤΙΚΑ. Β' Γενικού Λυκείου. Θετικών Σπουδών. Παρασκευή 5 Ιανουαρίου 2018 ιάρκεια Εξέτασης: 2 ώρες ΘΕΜΑΤΑ

2018 Φάση 1 ιαγωνίσµατα Προετοιµασίας ΜΑΘΗΜΑΤΙΚΑ. Β' Γενικού Λυκείου. Θετικών Σπουδών. Παρασκευή 5 Ιανουαρίου 2018 ιάρκεια Εξέτασης: 2 ώρες ΘΕΜΑΤΑ ΘΕΜΑ Α 018 Φάση 1 ιαγωνίσµατα Προτοιµασίας ΜΑΘΗΜΑΤΙΚΑ Β' νικού Λυκίου Θτικών Σπουδών Παρασκυή 5 Ιανουαρίου 018 ιάρκια Εξέτασης: ώρς Α1. Δίνονται τα διανύσματα α, β, γ ΘΕΜΑΤΑ. Να δίξτ ότι ισχύι α β + γ

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

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

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

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

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

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

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

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

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

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

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

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

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

Γενικές Παρατηρήσεις. Μη Κανονικές Γλώσσες - Χωρίς Συµφραζόµενα (1) Το Λήµµα της Αντλησης. Χρήση του Λήµµατος Αντλησης.

Γενικές Παρατηρήσεις. Μη Κανονικές Γλώσσες - Χωρίς Συµφραζόµενα (1) Το Λήµµα της Αντλησης. Χρήση του Λήµµατος Αντλησης. Γενικές Παρατηρήσεις Μη Κανονικές Γλώσσες - Χωρίς Συµφραζόµενα () Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Υπάρχουν µη κανονικές γλώσσες, π.χ., B = { n n n }. Αυτό

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

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

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

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

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

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

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

3.3 Το συναρτησοειδές του Minkowski και μετρικοποιησιμότητα σε τοπικά κυρτούς χώρους. x y E (υποπροσθετικότητα ) ) και p( x) p( x)

3.3 Το συναρτησοειδές του Minkowski και μετρικοποιησιμότητα σε τοπικά κυρτούς χώρους. x y E (υποπροσθετικότητα ) ) και p( x) p( x) 4 3.3 Το συναρτησοιδές του Mikowski και μτρικοποιησιμότητα σ τοπικά κυρτούς χώρους. Υπνθυμίζουμ ότι αν E διανυσματικός χώρος, μια συνάρτηση : E R λέγται υπογραμμικό συναρτησοιδές αν (ι) ( λ) λ ( ) =, λ

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

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

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

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

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

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

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

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

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

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

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

Σειρά Προβλημάτων 5 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { D το D είναι ένα DFA το οποίο αποδέχεται όλες τις λέξεις στο Σ * } (α) Για να διαγνώσουμε το πρόβλημα μπορούμε

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

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

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

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

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

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

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

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

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

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

Παράρτηµα Γ Eνότητα Γ.1 Απόδειξη θεωρήµατος 1.5 Kεφαλαίου 1.

Παράρτηµα Γ Eνότητα Γ.1 Απόδειξη θεωρήµατος 1.5 Kεφαλαίου 1. Παράρτηµα Γ νότητα Γ. Απόδιξη θωρήµατος.5 Kφαλαίου. στω f ίναι συνχής και πραγµατική συνάρτηση στο κανονικοποιηµένη (αφαιρώντας µια σταθρά) ώστ f ( x) dx= u = Pr f αρµονική µ (,) v (,) =. Τότ η. στω u

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

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

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

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

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

Σειρά Προβλημάτων 5 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { Μ η Μ είναι μια ΤΜ η οποία διαγιγνώσκει το πρόβλημα ΙΣΟΔΥΝΑΜΙΑ ΤΜ (διαφάνεια 9 25)} (α) Γνωρίζουμε ότι το

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

( ) y ) άγνωστη συνάρτηση, f (, )

( ) y ) άγνωστη συνάρτηση, f (, ) 6. Ι ΙΑΣΑΑ ΠΡΟΒΛΗΜΑΑ ΣΥΝΟΡΙΑΚΝ ΙΜΝ 6. Πρόβληµατα πδίου σ διαστάσις Η νότητα αυτή αναφέρται σ προβλήµατα πδίου, όπου άγνωστη συνάρτηση ίναι µία βαθµωτή συνάρτηση. α προβλήµατα αυτά έχουν σηµαντικές φαρµογές

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

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

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 2: Μαθηματικό Υπόβαθρο ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 2: Μαθηματικό Υπόβαθρο Τι θα κάνουμε σήμερα Συναρτήσεις & Σχέσεις (0.2.3) Γράφοι (Γραφήματα) (0.2.4) Λέξεις και Γλώσσες (0.2.5) Αποδείξεις (0.3) 1

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

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

Σειρά Προβλημάτων 5 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { G 1, G 2 οι G 1 και G 2 είναι δύο CFG που παράγουν μια κοινή λέξη μήκους 144 } (β) { D,k το D είναι ένα DFA

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

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

Σειρά Προβλημάτων 5 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { R η R είναι μια κανονική έκφραση η οποία παράγει μια μη πεπερασμένη γλώσσα} (β) { G η G είναι μια CFG η οποία

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

Σύνοψη Προηγούµενου. Κανονικές Γλώσσες (1) Προβλήµατα και Γλώσσες. Σε αυτό το µάθηµα. ιαδικαστικά του Μαθήµατος.

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

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

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

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

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

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

Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (3) Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (3) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Μη Ασυμφραστικές Γλώσσες (2.3) Λήμμα Άντλησης για Ασυμφραστικές Γλώσσες Παραδείγματα

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

Γραµµατικές για Κανονικές Γλώσσες

Γραµµατικές για Κανονικές Γλώσσες Κανονικές Γραµµατικές Γραµµατικές για Κανονικές Γλώσσες Ταξινόµηση Γραµµατικών εξιά Παραγωγικές Γραµµατικές εξιά Παραγωγικές Γραµµατικές και NFA Αριστερά Παραγωγικές Γραµµατικές Κανονικές Γραµµατικές Γραµµατικές

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

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

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

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

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

ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΙΑΚΡΙΤΕΣ ΜΕΘΟ ΟΙ ΓΙΑ ΤΗΝ ΕΠΙΣΤΗΜΗ ΤΩΝ ΥΠΟΛΟΓΙΣΤΩΝ η Γραπτή Εργασία-Ενδεικτικές Λύσεις Επιµέλεια:. Σούλιου Θέµα (Κανονικές

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

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

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

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

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

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 11: Μη Ασυμφραστικές Γλώσσες ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 11: Μη Ασυμφραστικές Γλώσσες Τι θα κάνουμε σήμερα Εισαγωγικά (2.3) Το Λήμμα της Άντλησης για ασυμφραστικές γλώσσες (2.3.1) Παραδείγματα 1 Πότε μια

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

4.1 Η ΕΝΝΟΙΑ ΤΗΣ ΣΥΝΑΡΤΗΣΗΣ

4.1 Η ΕΝΝΟΙΑ ΤΗΣ ΣΥΝΑΡΤΗΣΗΣ Η ΕΝΝΟΙΑ ΤΗΣ ΣΥΝΑΡΤΗΣΗΣ ΟΡΙΣΜΟΣ Έστω A ένα υποσύνολο του Ονομάζουμ πραγματική συνάρτηση μ πδίο ορισμού το A, μια διαδικασία f, μ την οποία, κάθ στοιχίο A αντιστοιχίζται σ ένα μόνο πραγματικό αριθμό Το

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

ΜΑΘΗΜΑΤΙΚΑ Α ΓΥΜΝΑΣΙΟΥ ΓΥΜΝΑΣΙΟ Ν. ΠΕΡΑΜΟΥ ΣΧ. ΕΤ Επαναληπτικές ασκήσεις

ΜΑΘΗΜΑΤΙΚΑ Α ΓΥΜΝΑΣΙΟΥ ΓΥΜΝΑΣΙΟ Ν. ΠΕΡΑΜΟΥ ΣΧ. ΕΤ Επαναληπτικές ασκήσεις Επαναληπτικές ασκήσις 1. Ο Γιάννης και η Μαρία μοιράστηκαν το ποσό των 3500. Ο Γιάννης πήρ 1300 πρισσότρα από τη Μαρία. ν η Μαρία πήρ x, να ράψτ μ τη οήθια της μταλητής x μια σχέση η οποία να κφράι τον

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

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

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

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

Ασκήσεις Επανάληψης. Επανάληψη Εαρινό Εξάμηνο 2019 Σελίδα 1

Ασκήσεις Επανάληψης. Επανάληψη Εαρινό Εξάμηνο 2019 Σελίδα 1 Ασκήσεις Επανάληψης Άσκηση 1 (Τελική Εξέταση 5/015) Να δείξετε ότι η πιο κάτω γλώσσα δεν είναι διαγνώσιμη. { Μ L(M) {ΘΕΩΡΙΑ, ΥΠΟΛΟΓΙΣΜΟΥ} και L(M) 3} (Για την αναγωγή μπορείτε να χρησιμοποιήσετε τη γνωστή

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

Σύνοψη Προηγούµενου. Κανονικές Γλώσσες (3) Παραδείγµατα µε Κανονικές Εκφράσεις. Σε αυτό το µάθηµα.

Σύνοψη Προηγούµενου. Κανονικές Γλώσσες (3) Παραδείγµατα µε Κανονικές Εκφράσεις. Σε αυτό το µάθηµα. Σύνοψη Προηγούµενου Κανονικές Γλώσσες (3) Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς (Ντετερµινιστική) Κλειστότητα Κανονικών Γλωσσών ως προς Ενωση. Κατασκευή: DFA

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

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

Σειρά Προβλημάτων 5 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) ({ G η G είναι μια ασυμφραστική γραμματική που δεν παράγει καμιά λέξη με μήκος μικρότερο του 2 } (β) { Μ,w

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

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

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

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

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

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

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

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

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

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

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

Σειρά Προβλημάτων 1 Λύσεις Σειρά Προβλημάτων Λύσεις Άσκηση Έστω αλφάβητο Σ και γλώσσες Α, Β επί του αλφάβητου αυτού. Για κάθε μια από τις πιο κάτω περιπτώσεις να διερευνήσετε κατά πόσο Γ Δ, ή, Δ Γ, ή και τα δύο. Σε περίπτωση, που

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

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

Θεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο Θεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Σύνολα Συναρτήσεις και Σχέσεις Γραφήματα Λέξεις και Γλώσσες Αποδείξεις ΕΠΛ 211 Θεωρία

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

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

Σειρά Προβλημάτων 5 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Πιο κάτω υπάρχει ένα σχεδιάγραμμα που τοποθετεί τις κλάσεις των κανονικών, ασυμφραστικών, διαγνώσιμων και αναγνωρίσιμων γλωσσών μέσα στο σύνολο όλων των γλωσσών. Ακολουθούν

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

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

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

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

3.3 Το συναρτησοειδές του Minkowski και μετρικοποιησιμότητα σε τοπικά κυρτούς χώρους. x y E (υποπροσθετικότητα ) ) και p( x) p( x)

3.3 Το συναρτησοειδές του Minkowski και μετρικοποιησιμότητα σε τοπικά κυρτούς χώρους. x y E (υποπροσθετικότητα ) ) και p( x) p( x) 4 3.3 Το συναρτησοιδές του Mikowski και μτρικοποιησιμότητα σ τοπικά κυρτούς χώρους. Υπνθυμίζουμ ότι αν E διανυσματικός χώρος, μια συνάρτηση : E R λέγται υπογραμμικό συναρτησοιδές αν (ι) ( λ) λ ( ) =, λ

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

Αλγόριθµοι Ροής σε Γράφους (CLR, κεφάλαιο 27)

Αλγόριθµοι Ροής σε Γράφους (CLR, κεφάλαιο 27) Αλγόριθµοι Ροής σε Γράφους (CLR, κεφάλαιο 27) Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: ίκτυα ροής και το πρόβληµα της µέγιστης ροής Η µεθοδολογία Ford-Fulkerson Ο αλγόριθµος Edmonds-Karps ΕΠΛ 232

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

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

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

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

Αλγόριθμοι για αυτόματα

Αλγόριθμοι για αυτόματα Κεφάλαιο 8 Αλγόριθμοι για αυτόματα Κύρια βιβλιογραφική αναφορά για αυτό το Κεφάλαιο είναι η Hopcroft, Motwani, and Ullman 2007. 8.1 Πότε ένα DFA αναγνωρίζει κενή ή άπειρη γλώσσα Δοθέντος ενός DFA M καλούμαστε

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

r p A n,m = {x X : f n (x) f m (x) f n f m }, sup f n (x) f m (x) f n f m

r p A n,m = {x X : f n (x) f m (x) f n f m }, sup f n (x) f m (x) f n f m Αρμονική Ανάλυση 4-5. Εστω X, A, µ χώρος μέτρου μ µx

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

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

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

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

Βραχύτερα Μονοπάτια σε Γράφους (CLR, κεφάλαιο 25)

Βραχύτερα Μονοπάτια σε Γράφους (CLR, κεφάλαιο 25) Βραχύτερα Μονοπάτια σε Γράφους (CLR, κεφάλαιο 25) Στην ενότητα αυτή θα µελετηθούν τα εξής επιµέρους θέµατα: Ο αλγόριθµος των BellmanFord Ο αλγόριθµος του Dijkstra ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 61

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

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

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

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

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

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

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

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

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

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

Μάθηµα Θεωρίας Αριθµών Ε.Μ.Ε

Μάθηµα Θεωρίας Αριθµών Ε.Μ.Ε Μάθηµα Θεωρίας Αριθµών Ε.Μ.Ε 1. Να αποδειχθεί ότι κάθε ϑετικός ακέραιος αριθµός n 6, µπορεί να γραφεί στη µορφή όπου οι a, b, c είναι ϑετικοί ακέραιοι. n = a + b c,. Να αποδειχθεί ότι για κάθε ακέραιο

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

Θεωρία Υπολογισμού. Ασκήσεις. Δρ. Τζάλλας Αλέξανδρος, Καθηγητής Εφαρμογών. Τμ. Μηχανικών Πληροφορικής Τ.Ε.

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

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

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

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

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

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

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

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