Σειρά Προβλημάτων 2 Λύσεις
|
|
- ῬαΧάβ Ελευθεριάδης
- 7 χρόνια πριν
- Προβολές:
Transcript
1 ΕΠΛ2: Θωρία Υπολογισμού και Πολυπλοκότητα Σιρά Προβλημάτων 2 Λύσις Άσκηση Να μτατρέψτ τα πιο κάτω DFA στις κανονικές κφράσις που τα πριγράφουν χρησιμοποιώντας τη διαδικασία που πριγράφται στις διαφάνις 3 2 μέχρι 3 2. Να δίξτ όλα τα στάδια της ργασίας σας. (α), Λύση Σημίωση: Δίχνονται μόνο οι μη κνές μταβάσις. Βήμα : Εισαγωγή αρχικής και τλικής κατάστασης t Βήμα 2(α): Αφαίρση της κορυφής * t Βήμα 2(β): Αφαίρση της κορυφής t * * Λύσις Σιράς Προβλημάτων 2 Εαρινό Εξάμηνο 22 Σλίδα
2 ΕΠΛ2: Θωρία Υπολογισμού και Πολυπλοκότητα Βήμα 2(γ): Αφαίρση της κορυφής 3 4 t * * Βήμα 2(δ): Αφαίρση της κορυφής 4 * * * t Συμπέρασμα: Η κανονική έκφραση που πριγράφι τη γλώσσα του αυτομάτου ίναι η * * *. (β) 2, 3 Λύση: Βήμα : Εισαγωγή αρχικής και τλικής κατάστασης t 2 3 Λύσις Σιράς Προβλημάτων 2 Εαρινό Εξάμηνο 22 Σλίδα 2
3 ΕΠΛ2: Θωρία Υπολογισμού και Πολυπλοκότητα Βήμα 2(α): Αφαίρση της κορυφής 2 t * 3 Βήμα 2(β): Αφαίρση της κορυφής 3 t ( * ) () Βήμα 2(γ): Αφαίρση της κορυφής t (( * )()) * Συμπέρασμα: Η κανονική έκφραση που πριγράφι τη γλώσσα του αυτομάτου ίναι η (( * )()) *. Άσκηση 2 Για κάθ μια από τις πιο κάτω κανονικές κφράσις, (α) () * (β) + () * να κατασκυάστ (i) ένα NFA που να την αναγνωρίζι, χρησιμοποιώντας την κατασκυή από τις διαφάνις 3 9 και 3, και (ii) ένα DFA που να την αναγνωρίζι, χρησιμοποιώντας τη διαδικασία μτατροπής NFA σ DFA (διαφάνις 2 37 και 2 38) Λύσις Σιράς Προβλημάτων 2 Εαρινό Εξάμηνο 22 Σλίδα 3
4 ΕΠΛ2: Θωρία Υπολογισμού και Πολυπλοκότητα Λύση (α) (i) Θωρούμ την κανονική έκφραση τμήμα προς τμήμα, ξκινώντας μ τα απλούστρα κομμάτια και προχωρώντας αναδρομικά στα μγαλύτρα. Βήμα : Ακολουθί το αυτόματο που αναγνωρίζι τη γλώσσα της κανονικής έκφρασης. Βήμα 2: Ακολουθί το αυτόματο που αναγνωρίζι τη γλώσσα της κανονικής έκφρασης. Βήμα 3: Ακολουθί το αυτόματο που αναγνωρίζι τη γλώσσα της κανονικής έκφρασης () *. Το αυτόματο προέκυψ μέσω της γνωστής κατασκυής για τον τλστή της σώρυσης η οποία φαρμόστηκ στο αυτόματο του βήματος 2. Βήμα 4: Ακολουθί το αυτόματο που αναγνωρίζι τη γλώσσα της κανονικής έκφρασης () *. Το αυτόματο προέκυψ μέσω της γνωστής κατασκυής για τον τλστή της συναρμογής η οποία φαρμόστηκ στο αυτόματο του βήματος 3. Λύσις Σιράς Προβλημάτων 2 Εαρινό Εξάμηνο 22 Σλίδα 4
5 ΕΠΛ2: Θωρία Υπολογισμού και Πολυπλοκότητα Βήμα 5: Ακολουθί το αυτόματο που αναγνωρίζι τη γλώσσα της κανονικής έκφρασης () *. Το αυτόματο προέκυψ μέσω της γνωστής κατασκυής για τον τλστή της ένωσης η οποία φαρμόστηκ στα αυτόματα των βημάτων και (α)(ii) Το αυτόματο που προκύπτι φαρμόζοντας τη μέθοδο μτατροπής NFA σ DFA ίναι το πιο κάτω. {,,3} {2,4,5} {6} {7} {8,5}, (β) (i) Κατασκυάζουμ το αυτόματο ακολουθώντας τα πιο κάτω νδιάμσα βήματα. Σημιώνουμ ότι, ξ ορισμού, + = *. Επομένως για να κτίσουμ το αυτόματου του τμήματος, + θα συναρμόσουμ τα αυτόματα των και *. Βήμα : Ακολουθί το αυτόματο που αναγνωρίζι τη γλώσσα της κανονικής έκφρασης. Λύσις Σιράς Προβλημάτων 2 Εαρινό Εξάμηνο 22 Σλίδα 5
6 ΕΠΛ2: Θωρία Υπολογισμού και Πολυπλοκότητα Βήμα 2: Ακολουθί το αυτόματο που αναγνωρίζι τη γλώσσα της κανονικής έκφρασης *. Βήμα 3: Ακολουθί το αυτόματο που αναγνωρίζι τη γλώσσα της κανονικής έκφρασης +. Το αυτόματο έχι ληφθί μ συναρμογή των αυτομάτων από τα βήματα και 2. 2 Βήμα 4: Ακολουθί το αυτόματο που αναγνωρίζι τη γλώσσα της κανονικής έκφρασης () *. Το αυτόματο έχι ληφθί σύμφωνα μ τα βήματα που ακολουθήθηκαν στο μέρος 2(α) (βήματα 2 και 3). Βήμα 5: Ακολουθί το αυτόματο που αναγνωρίζι τη γλώσσα της κανονικής έκφρασης + () *. Το αυτόματο προέκυψ μέσω της γνωστής κατασκυής για τον τλστή της ένωσης η οποία φαρμόστηκ στα αυτόματα των βημάτων 3 και (ii) Από το αυτόματο που κατασκυάσαμ στο μέρος (β)(i) προκύπτι το πιο κάτω νττρμινιστικό ππρασμένο αυτόματο. Λύσις Σιράς Προβλημάτων 2 Εαρινό Εξάμηνο 22 Σλίδα 6
7 ΕΠΛ2: Θωρία Υπολογισμού και Πολυπλοκότητα {2} {,,3,4} {2,5}, {6} {5} {4,7} Άσκηση 3 Έστω τυχαίο αυτόματο Μ = (Q, Σ, δ, q, F). Ορίζουμ το αυτόματο NOT(M) ως το αυτόματο (Q, Σ, δ, q, Q F). (α) Να αποδίξτ ότι αν το Μ ίναι ένα νττρμινιστικό ππρασμένο αυτόματο που αναγνωρίζι τη γλώσσα L, τότ το αυτόματο NOT(M) αναγνωρίζι τη γλώσσα L { w w L} (το συμπλήρωμα της L). Είναι η κλάση των γλωσσών που αναγνωρίζονται από DFA κλιστή ως προς το συμπλήρωμα; Να αιτιολογήστ την απάντησή σας. (β) Να αποδίξτ ότι αν το Μ ίναι ένα μη νττρμινιστικό ππρασμένο αυτόματο που αναγνωρίζι τη γλώσσα L, τότ δν ισχύι απαραίτητα ότι το αυτόματο NOT(M) αναγνωρίζι τη γλώσσα L { w w L}. Είναι η κλάση των γλωσσών που αναγνωρίζονται από NFA κλιστή ως προς το συμπλήρωμα; Να αιτιολογήστ την απάντησή σας. Λύση (α) Για να δίξουμ το ζητούμνο υποθέτουμ ότι Μ = (Q, Σ, δ, q, F) ίναι ένα DFA που αναγνωρίζι τη γλώσσα L και Ν = NOT(M) = (Q, Σ, δ, q, F ), όπου F = Q F. Θα αποδίξουμ ότι w L(Ν) αν και μόνο αν w (). (*) Ας υποθέσουμ λοιπόν ότι w = w w 2 w n L(N). Τότ, υπάρχι ακολουθία καταστάσων r, r,, r n του που ικανοποιί τις συνθήκς:. r = q 2. δ(, )= για i =,,n, και 3. r n Q F Λύσις Σιράς Προβλημάτων 2 Εαρινό Εξάμηνο 22 Σλίδα 7
8 ΕΠΛ2: Θωρία Υπολογισμού και Πολυπλοκότητα Παρατηρούμ ότι το ίδιο μονοπάτι μφανίζται και στο αυτόματο Μ. Αφού όμως η τλυταία κατάσταση του μονοπατιού δν ανήκι στο σύνολο των αποδκτών καταστάσων του Μ, συμπραίνουμ ότι w (). Αυτό αποδικνύι την κατύθυνση της ζητούμνης πρόταση (*). Για την αντίθτη κατύθυνση, ας υποθέσουμ ότι w (). Αφού το Μ ίναι ένα νττρμινιστικό αυτόματο, υπάρχι ακολουθία καταστάσων r,r,,r n του που ικανοποιί τις συνθήκς:. r = q 2. δ(, )= για i =,,n, αλλά, αφού w(), r n F. Παρατηρούμ ότι το ίδιο μονοπάτι μφανίζται και στο αυτόματο N. Σ αυτή την πρίπτωση, αφού r n F έχουμ r n Q F, και, πομένως η λέξη w L(N). Αυτό ολοκληρώνι την απόδιξη. Το πιο πάνω γγονός συνπάγται ότι η κλάση των γλωσσών που αναγνωρίζονται από DFA ίναι κλιστή ως προς το συμπλήρωμα: Όπως έχουμ δίξι, για κάθ γλώσσα που αναγνωρίζται από κάποιο DFA υπάρχι κάποιο άλλο DFA που αναγνωρίζι το συμπλήρωμα της γλώσσας. (β) To ζητούμνο δίχνται μέσω του πιο κάτω παραδίγματος. Το μη νττρμινιστικό αυτόματο Ν αποδέχται τη γλώσσα {}. Το αυτόματο ΝΟΤ(Ν) αποδέχται τη γλώσσα {} που προφανώς δν αποτλί το συμπλήρωμα της γλώσσας του Ν. Ως κ τούτου, στην πρίπτωση των μη νττρμινιστικών αυτομάτων, αν Μ ίναι ένα μη νττρμινιστικό ππρασμένο αυτόματο που αναγνωρίζι τη γλώσσα L, τότ δν ισχύι απαραίτητα ότι το αυτόματο NOT(M) αναγνωρίζι τη γλώσσα L { w w L}. 2 2 Ν ΝΟΤ(Ν) Εντούτοις, η κλάση των γλωσσών που αναγνωρίζονται από NFA ίναι κλιστή ως προς το συμπλήρωμα. Συγκκριμένα, αν θωρήσουμ οποιαδήποτ γλώσσα Λ που αναγνωρίζται από κάποιο NFA Ν, τότ το συμπλήρωμά της πίσης αναγνωρίζται από κάποιο NFA. Για να ντοπίσουμ αυτό το αυτόματο μπορούμ να μτατρέψουμ το Ν σ ισοδύναμο DFA, έστω D, και να φαρμόσουμ σ αυτό την πράξη ΝΟΤ. Το αυτόματο ΝΟΤ(D), όπως έχουμ δίξι στο μέρος (α), αναγνωρίζι τη γλώσσα. Αφού κάθ DFA ίναι και NFA το ΝΟΤ(D) ίναι ένα NFA που αναγνωρίζι τη γλώσσα. Άσκηση 4 Να αποφασίστ κατά πόσο οι πιο κάτω γλώσσς ίναι κανονικές αιτιολογώντας μ ακρίβια τις απαντήσις σας. (α) { i j k k i + j} Λύσις Σιράς Προβλημάτων 2 Εαρινό Εξάμηνο 22 Σλίδα 8
9 ΕΠΛ2: Θωρία Υπολογισμού και Πολυπλοκότητα (β) { k y k, y {,} *, και η y πριέχι τουλάχιστον k } (γ) { k y k, y {,} *, και η y πριέχι το πολύ k } (δ) {w η w πριέχι τις υπολέξις και τις ίδις φορές} Λύση (α) L = { i j k k i + j} Υποθέτουμ για να φτάσουμ σ αντίφαση ότι η L ίναι κανονική. Τότ, σύμφωνα μ το Λήμμα της Άντλησης, υπάρχι p, το μήκος άντλησης της γλώσσας, τέτοιο ώστ κάθ λέξη της γλώσσας μ μήκος μγαλύτρο από p να ικανοποιί την ιδιότητα που πριγράφται στο Λήμμα. Ας πιλέξουμ τη λέξη w = p p 2p. Τότ, σύμφωνα μ το λήμμα, w = xyz έτσι ώστ η υπολέξη xy να βρίσκται μέσα στις p πρώτς θέσις της w ( xy p) η y να ίναι μη κνή ( y ) και οποιαδήποτ πανάληψη της υπολέξης y να διατηρί την προκύπτουσα λέξη ντός της γλώσσας (xy i z L, i ). Αφού xy p, τότ πρέπι να ισχύι ότι τόσο το x όσο και το y αποτλούνται μόνο από. Επομένως, x = λ, y = μ, w = ν p 2p όπου λ+μ+ν = p. Επίσης, από το λήμμα, πρέπι να ισχύι ότι xy 2 z L. Αλλά, xy 2 z = p+μ p 2p το οποίο, από τον ορισμό της γλώσσας, δν ανήκι στην L. Αυτό μας οδηγί σ αντίφαση και πομένως η υπόθσή μας ότι η γλώσσα L ίναι κανονική ήταν σφαλμένη. Συμπέρασμα: Η L ίναι μη κανονική. (β) L 2 = { k y k, y {,} *, και η y πριέχι τουλάχιστον k } H γλώσσα αυτή ίναι κανονική. Μπορούμ να την πριγράψουμ μέσω της κανονικής έκφρασης {,} * {,} *. (γ) L 3 = { k y k, y {,} *, και η y πριέχι το πολύ k } Υποθέτουμ για να φτάσουμ σ αντίφαση ότι η L 3 ίναι κανονική. Τότ, σύμφωνα μ το Λήμμα της Άντλησης, υπάρχι p, το μήκος άντλησης της γλώσσας, τέτοιο ώστ κάθ λέξη της γλώσσας μ μήκος μγαλύτρο από p να ικανοποιί την ιδιότητα που πριγράφται στο Λήμμα. Ας πιλέξουμ τη λέξη w = p p. Τότ, σύμφωνα μ το λήμμα, w = xyz έτσι ώστ η υπολέξη xy να βρίσκται μέσα στις p πρώτς θέσις της w ( xy p) η y να ίναι μη κνή ( y ) και οποιαδήποτ πανάληψη της υπολέξης y να διατηρί την προκύπτουσα λέξη ντός της γλώσσας (xy i z L, i ). Αφού xy p, τότ πρέπι να ισχύι ότι τόσο το x όσο και το y αποτλούνται μόνο από. Επομένως, x = λ, y = μ, w = ν p όπου λ+μ+ν = p. Επίσης, από το λήμμα, πρέπι να ισχύι ότι xy z L. Αλλά, xy 2 z = p μ p το οποίο, από τον ορισμό της γλώσσας δν ανήκι στην L 3. Λύσις Σιράς Προβλημάτων 2 Εαρινό Εξάμηνο 22 Σλίδα 9
10 ΕΠΛ2: Θωρία Υπολογισμού και Πολυπλοκότητα Αυτό μας οδηγί σ αντίφαση και πομένως η υπόθσή μας ότι η γλώσσα L 3 ίναι κανονική ήταν σφαλμένη. Συμπέρασμα: Η L 3 ίναι μη κανονική. (δ) L 4 = {w η w πριέχι τις υπολέξις και τις ίδις φορές} Λέξις της L 4 πριλαμβάνουν τις,,,,,,,. Παρατήρηση των λέξων που ανήκουν στη γλώσσα μας οδηγί στο συμπέρασμα ότι αν μια λέξη ξκινά μ, ανήκι στη γλώσσα μόνο αν τλιώνι και μ και, παρόμοια, αν μια λέξη ξκινά μ, ανήκι στη γλώσσα μόνο αν τλιώνι και μ. Αυτό οφίλται στο γγονός ότι η υπολέξη μφανίζται σ μία συμβολοσιρά στα σημία όπου μια ομάδα από συνχόμνα ακολουθίται από μια ομάδα από συνχόμνα νώ η υπολέξη μφανίζται σ μία συμβολοσιρά στα σημία όπου μια ομάδα από συνχόμνα ακολουθίται από μια ομάδα από συνχόμνα. Επομένως για να ίναι το πλήθος των μφανίσων και ίσος σ μια λέξη πρέπι η λέξη να έχι μια από τις πιο κάτω μορφές: , ή Αυτή η πριγραφή μπορί να διατυπωθί μέσω της κανονικής έκφρασης: {,} * {,} *. Κατά συνέπια, η γλώσσα L 4 ίναι κανονική. Άσκηση 5 Έστω Α μια γλώσσα πί κάποιου αλφάβητου Σ. Ορίζουμ ως CUT(A) τη γλώσσα που πριέχι όλς τις λέξις που μπορούν να προκύψουν αν διαγράψουμ ένα οποιοδήποτ σύμβολο από κάθ λέξη της Α: CUT(A) = {xy x Σ *, y Σ * και υπάρχι z Σ τέτοιο ώστ xzy A} Να αποδίξτ μ ακρίβια ότι η κλάση των κανονικών γλωσσών ίναι κλιστή ως προς την πράξη CUT. Λύση Για να αποδίξουμ ότι η κλάση των κανονικών γλωσσών ίναι κλιστή ως προς την πράξη CUT θα δίξουμ ότι για οποιαδήποτ κανονική γλώσσα L υπάρχι κανονική έκφραση που αναγνωρίζι τη γλώσσα CUT(L). Ορίζουμ τη συνάρτηση cut R : R R ως ξής cut R,, ( R) cut cut * A, R R ( A) B Acut ( A) cut R ( B), R ( B), if if if if if R a R, R A B R A B R A * Λύσις Σιράς Προβλημάτων 2 Εαρινό Εξάμηνο 22 Σλίδα
11 ΕΠΛ2: Θωρία Υπολογισμού και Πολυπλοκότητα Έστω κανονική γλώσσα L και κανονική έκφραση R που την πριγράφι. Θα αποδίξουμ ότι η κανονική έκφραση cut R (R) πριγράφι την γλώσσα CUT(L). Αυτό θα μας οδηγήσι στο συμπέρασμα ότι η γλώσσα CUT(L) ίναι κανονική. Η απόδιξη μας θα γίνι παγωγικά στη δομή της κανονικής έκφρασης R. Υπάρχουν οι πιο κάτω πριπτώσις. Αν η γλώσσα L πριγράφται από την κανονική έκφραση R = a, τότ CUT(L) = {}. Επομένως, η κανονική έκφραση cut R (R) = {} πριγράφι ορθά τη γλώσσα CUT(L) και το συμπέρασμα έπται. Αν η γλώσσα L πριγράφται από την κανονική έκφραση R =, τότ CUT(L) =. Επομένως, η κανονική έκφραση cut R (R) = και πάλι πριγράφι ορθά τη γλώσσα CUT(L) και το συμπέρασμα (ότι δηλαδή η γλώσσα CUT(L) ίναι κανονική) έπται. Αν η γλώσσα L πριγράφται από την κανονική έκφραση R =, τότ CUT(L) =. Επομένως, η κανονική έκφραση cut R (R) = και πάλι πριγράφι ορθά τη γλώσσα CUT(L) και το συμπέρασμα έπται Αν η γλώσσα L πριγράφται από την κανονική έκφραση R = ΑΒ, τότ CUT(L) = {xy x Α, και υπάρχι z Β τέτοιο ώστ η y να πριέχι ακριβώς ένα σύμβολο λιγότρο από τη z} {xy y B, και υπάρχι z Α τέτοιο ώστ η x να πριέχι ακριβώς ένα σύμβολο λιγότρο από τη z} Αφού η κανονική έκφραση cut R (R), σύμφωνα μ τον ορισμό της cut R, ίναι ίση μ cut R (AB)=cut R (A)B Acut R (B), από την υπόθση της παγωγής, και πάλι πριγράφι ορθά τη γλώσσα CUT(L) και το συμπέρασμα έπται. Αν η γλώσσα L πριγράφται από την κανονική έκφραση R = ΑΒ, τότ CUT(L) = {x υπάρχι y A τέτοιο ώστ η x να πριέχι ακριβώς ένα σύμβολο λιγότρο από τη y} {y υπάρχι x Β τέτοιο ώστ η y να πριέχι ακριβώς ένα σύμβολο λιγότρο από τη x} Αφού η κανονική έκφραση cut(r), σύμφωνα μ τον ορισμό της cut, ίναι ίση μ cut R (AB)=cut R (A) cut R (B), από την υπόθση της παγωγής, και πάλι πριγράφι ορθά τη γλώσσα CUT(L) και το συμπέρασμα έπται Αν η γλώσσα L πριγράφται από την κανονική έκφραση R = Α *, τότ CUT(L) = L Αφού η κανονική έκφραση cut R (R), σύμφωνα μ τον ορισμό της cut R, ίναι ίση μ cut R (A * )= Α *, από την υπόθση της παγωγής, και πάλι πριγράφι ορθά τη γλώσσα CUT(L) και το συμπέρασμα έπται. Αυτό ολοκληρώνι την απόδιξη. Λύσις Σιράς Προβλημάτων 2 Εαρινό Εξάμηνο 22 Σλίδα
Σειρά Προβλημάτων 2 Λύσεις
ΕΠΛ2: Θωρία Υπολογισμού και Πολυπλοκότητα Άσκηση [5 μονάδς] Σιρά Προβλημάτων 2 Λύσις Να δώστ κανονικές κφράσις που να πριγράφουν τις πιο κάτω γλώσσς πί του αλφάβητου Α = {, }. (α) Όλς οι λέξις πί του αλφάβητου
Διαβάστε περισσότεραΣειρά Προβλημάτων 2 Λύσεις
ΕΠΛ2: Θωρία Υπολογισμού και Πολυπλοκότητα Άσκηση Σιρά Προβλημάτων 2 Λύσις Να μτατρέψτ τα πιο κάτω DFA στις κανονικές κφράσις που τα πριγράφουν χρησιμοποιώντας τη διαδικασία που παρουσιάζται στις διαφάνις
Διαβάστε περισσότεραΣειρά Προβλημάτων 2 Λύσεις
ΕΠΛ211: Θωρία Υπολογισμού και Πολυπλοκότητα Άσκηση 1 Σιρά Προβλημάτων 2 Λύσις Να δώστ κανονικές κφράσις που να πριγράφουν τις πιο κάτω γλώσσς. (α) { w {,} * η w δν πριέχι δύο συνχόμνα όμοια γράμματα }
Διαβάστε περισσότεραΣειρά Προβλημάτων 2 Λύσεις
ΕΠΛ2: Θωρία Υπολογισμού και Πολυπλοκότητα Άσκηση Σιρά Προβλημάτων 2 Λύσις Να μτατρέψτ τo πιο κάτω NFA στην κανονική έκφραση που το πριγράφι χρησιμοποιώντας τη διαδικασία που πριγράφται στις διαφάνις 2
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
Άσκηση Σιρά Προβλημάτων Λύσις Να δώστ κανονικές κφράσις που να πριγράφουν τις πιο κάτω γλώσσς. (α) { m n m, n, m+n πριττός ακέραιος} (β) {w {,} * τα πρώτα δύο σύμβολα της w, αν υπάρχουν, δν ίναι τα ίδια
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 211: Θωρία Υπολογισμού Ενδιάμση Εξέταση Ημρομηνία : Πέμπτη, 14 Μαρτίου 2019 Διάρκια : 09.00 10.30 Διδάσκουσα : Άννα Φιλίππου ΠΡΟΧΕΙΡΕΣ ΛΥΣΕΙΣ Πρόβλημα 1 [35 μονάδς]
Διαβάστε περισσότεραΠεπερασμένα Αυτόματα. Πεπερασμένα Αυτόματα. Ορισμός. Παράδειγμα
Ππρασμένα Αυτόματα Διδάσκοντς: Φ. Αφράτη, Δ. Φωτάκης Επιμέλια διαφανιών: Δ. Φωτάκης Σχολή Ηλκτρολόγων Μηχανικών Μηχανικών Υπολογιστών Εθνικό Μτσόβιο Πολυτχνίο Ππρασμένα Αυτόματα ίναι απλούστρς υπολογιστικές
Διαβάστε περισσότεραΑνοικτά και κλειστά σύνολα
5 Ανοικτά και κλιστά σύνολα Στην παράγραφο αυτή αναπτύσσται ο µηχανισµός που θα µας πιτρέψι να µλτήσουµ τις αναλυτικές ιδιότητς των συναρτήσων πολλών µταβλητών. Θα χριαστούµ τις έννοις της ανοικτής σφαίρας
Διαβάστε περισσότερα3.3 Το συναρτησοειδές του Minkowski και μετρικοποιησιμότητα σε τοπικά κυρτούς χώρους. x y E (υποπροσθετικότητα ) ) και p( x) p( x)
4 3.3 Το συναρτησοιδές του Mikowski και μτρικοποιησιμότητα σ τοπικά κυρτούς χώρους. Υπνθυμίζουμ ότι αν E διανυσματικός χώρος, μια συνάρτηση : E R λέγται υπογραμμικό συναρτησοιδές αν (ι) ( λ) λ ( ) =, λ
Διαβάστε περισσότεραΣυµπάγεια και οµοιόµορφη συνέχεια
35 Συµπάγια και οµοιόµορφη συνέχια Μια πολύ σηµαντική έννοια στην Ανάλυση ίναι αυτή της συµπάγιας. Όπως θα δούµ τα συµπαγή υποσύνολα του Ευκλίδιου χώρου R συµπριφέρονται λίγο πολύ ως ππρασµένα σύνολα.
Διαβάστε περισσότερακαι ( n) 1 R. Αν ε > 0, επιλέγουµε για κάθε k 1 ένα καλύπτουµε τότε την ευθεία Α µε την ακολουθία των ορθογωνίων .
80 Σύνολα µέτρου µηδέν στον και ο χαρακτηρισµός του Lebesgue των iema ολοκληρωσίµων συναρτήσων 7. Ορισµός. Έστω για κάθ 0 Α, λέµ ότι το Α έχι διάστατο µέτρο µηδέν αν, > υπάρχι ακολουθία ανοικτών διάστατων
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητα Ενδιάμεση Εξέταση Ημερομηνία : Παρασκευή, 17 Μαρτίου 2017 Διάρκεια : 9.00 10.30 Διδάσκουσα : Άννα Φιλίππου Ονοματεπώνυμο:
Διαβάστε περισσότεραΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 5: Κανονικές Εκφράσεις
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 5: Κανονικές Εκφράσεις Τι θα κάνουμε σήμερα Κλειστότητα Κανονικών Πράξεων (1.2.3) Εισαγωγή στις Κανονικές Εκφράσεις Τυπικός ορισμός της κανονικής
Διαβάστε περισσότερα3.2 Τοπικά κυρτοί χώροι-βασικές ιδιότητες.
32 3.2 Τοπικά κυρτοί χώροι-βασικές ιδιότητς. Στην παράγραφο αυτή πρόκιται να ισαγάγουμ μια σημαντική, ίσως την σημαντικότρη, κλάση τοπολογικών γραμμικών χώρων. Αυτή ίναι η κλάση των τοπικά κυρτών χώρων
Διαβάστε περισσότερα3.3 Το συναρτησοειδές του Minkowski και μετρικοποιησιμότητα σε τοπικά κυρτούς χώρους. x y E (υποπροσθετικότητα ) ) και p( x) p( x)
4 3.3 Το συναρτησοιδές του Mikowski και μτρικοποιησιμότητα σ τοπικά κυρτούς χώρους. Υπνθυμίζουμ ότι αν E διανυσματικός χώρος, μια συνάρτηση : E R λέγται υπογραμμικό συναρτησοιδές αν (ι) ( λ) λ ( ) =, λ
Διαβάστε περισσότεραΦροντιστήριο 2 Λύσεις
ΕΠΛ2: Θεωρία Υπολογισμού και Πολυπλοκότητα Άσκηση Φροντιστήριο 2 Λύσεις Ποια από τα πιο κάτω αυτόματα αποτελούν DFA επί του αλφάβητου {,}. Αιτιολογήστε τις απαντήσεις σας. (i) (ii) (iii) (iv) (v), (vi),
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (2)
Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (2) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Κανονικές Εκφράσεις (1.3) Τυπικός Ορισμός Ισοδυναμία με κανονικές γλώσσες Μη Κανονικές
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
Σειρά Προβλημάτων Λύσεις Άσκηση Ορίζουμε τη συναρμογή δύο γλωσσών Α και Β ως ΑΒ = { uv u A, v B }. (α) Έστω Α = {α,β,γ} και Β =. Να περιγράψετε τη γλώσσα ΑΒ. (β) Θεωρήστε τις γλώσσες L, M και N. Να δείξετε
Διαβάστε περισσότεραΆσκησηη 1. (α) Το αυτόματο. (γ) Να δείξετε όλα aabbb. Λύση. λέξεις. αυτόματο. (β) Τυπικά. μεταβάσεων δ. ορίζεται. (γ) Θα δείξουμε τα.
ΕΠΛ211: : Θεωρία Υπολογισμού και Πολυπλοκότητα Φροντιστήριο 7 Λύσεις Άσκησηη 1 Θεωρήστε το πιο κάτω αυτόματο στοίβας: (α) Να εξηγήσετε με λόγια ποια γλώσσαα αναγνωρίζεται από τοο αυτόματο. (β) Να δώσετε
Διαβάστε περισσότερα( ) y ) άγνωστη συνάρτηση, f (, )
6. Ι ΙΑΣΑΑ ΠΡΟΒΛΗΜΑΑ ΣΥΝΟΡΙΑΚΝ ΙΜΝ 6. Πρόβληµατα πδίου σ διαστάσις Η νότητα αυτή αναφέρται σ προβλήµατα πδίου, όπου άγνωστη συνάρτηση ίναι µία βαθµωτή συνάρτηση. α προβλήµατα αυτά έχουν σηµαντικές φαρµογές
Διαβάστε περισσότεραΠερίληψη Προηγούμενου Μαθήματος Κανάλια επικοινωνίας με θόρυβο και η χωρητικότητά τους
ΘΕΩΡΙΑ ΠΛΗΡΟΦΟΡΙΑΣ Γ Κοντογιάννης Πέμπτη Μαΐου 7 Φυλλάδιο #3 Πρίληψη Προηγούμνου Μαθήματος Κανάλια πικοινωνίας μ θόρυβο και η χωρητικότητά τους Πώς πριγράφουμ ένα κανάλι πικοινωνίας; Τι θα πι «θόρυβος»;
Διαβάστε περισσότεραΓλώσσες Προγραμματισμού Μεταγλωττιστές. Λεκτική Ανάλυση II
Γλώσσς Προγραμματισμού Μταγλωττιστές Λκτική Ανάλυση II Πανπιστήμιο Μακδονίας Τμήμα Εφαρμοσμένης Πληροφορικής Ηλίας Σακλλαρίου Δομή Ππρασμένα Αυτόματα Νττρμινιστικά Ππρασμένα Αυτόματα Μη-Νττρμινιστικά Ππρασμένα
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
ΕΠΛ2: Θεωρία Υπολογισμού και Πολυπλοκότητα Σειρά Προβλημάτων Λύσεις Άσκηση Έστω αλφάβητο Σ και γλώσσες Λ, Λ 2, Λ επί του αλφάβητου αυτού. Να διερευνήσετε κατά πόσο ισχύει κάθε μια από τις πιο κάτω σχέσεις.
Διαβάστε περισσότεραΣειρά Προβλημάτων 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 Λύσεις
ΕΠΛ: Θεωρία Υπολογισμού και Πολυπλοκότητα Σειρά Προβλημάτων Λύσεις Άσκηση Θεωρείστε τις γλώσσες Α = { n n } και Β = {w η w είναι λέξη επί του αλφαβήτου {,} τ.ώ. w }. (α) Για κάθε μια από τις πιο κάτω γλώσσες
Διαβάστε περισσότεραΦροντιστήριο 9 Λύσεις
Άσκηση 1 Φροντιστήριο 9 Λύσεις Να κατασκευάσετε μια μηχανή Turing με δύο ταινίες η οποία να αποδέχεται στην πρώτη της ταινία μια οποιαδήποτε λέξη w {a,b} * και να γράφει τη λέξη w R στη δεύτερη της ταινία.
Διαβάστε περισσότεραΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 4: Μη Ντετερμινιστικά (Αντιαιτιοκρατικά) Πεπερασμένα Αυτόματα (ΝFA)
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 4: Μη Ντετερμινιστικά (Αντιαιτιοκρατικά) Πεπερασμένα Αυτόματα (ΝFA) Τι θα κάνουμε σήμερα Εισαγωγή στα Μη Ντετερμινιστικά Πεπερασμένα Αυτόματα Τυπικός
Διαβάστε περισσότεραΦροντιστήριο 7 Λύσεις
Άσκηση 1 Θεωρείστε το πιο κάτω αυτόματο στοίβας: Φροντιστήριο 7 Λύσεις (α) Να εξηγήσετε με λόγια ποια γλώσσα αναγνωρίζεται από το αυτόματο. (β) Να δώσετε τον τυπικό ορισμό του αυτομάτου. (γ) Να δείξετε
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
ΕΠΛ2: Θεωρία Υπολογισμού και Πολυπλοκότητα Σειρά Προβλημάτων Λύσεις Άσκηση Να βρείτε το σφάλμα στην πιο κάτω απόδειξη. Ισχυρισμός: Όλα τα βιβλία που έχουν γραφτεί στη Θεωρία Υπολογισμού έχουν τον ίδιο
Διαβάστε περισσότεραΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Επανάληψη Μαθήματος
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Επανάληψη Μαθήματος Το Μάθημα σε μια Διαφάνεια Υπολογιστικά μοντέλα Κανονικές Γλώσσες Ντετερμινιστικά Αυτόματα Μη Ντετερμινιστικά Αυτόματα Κανονικές Εκφράσεις
Διαβάστε περισσότεραΣειρά Προβλημάτων 3 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 3 Λύσεις Να δώσετε ασυμφραστικές γραμματικές που να παράγουν τις πιο κάτω γλώσσες: (α) { xyxy rev x {a, b}, y {a, b} * } (α) Μια γραμματική για τη γλώσσα έχει ως εξής: S as a
Διαβάστε περισσότεραΠαράρτηµα Γ Eνότητα Γ.1 Απόδειξη θεωρήµατος 1.5 Kεφαλαίου 1.
Παράρτηµα Γ νότητα Γ. Απόδιξη θωρήµατος.5 Kφαλαίου. στω f ίναι συνχής και πραγµατική συνάρτηση στο κανονικοποιηµένη (αφαιρώντας µια σταθρά) ώστ f ( x) dx= u = Pr f αρµονική µ (,) v (,) =. Τότ η. στω u
Διαβάστε περισσότεραΦροντιστήριο 2 Λύσεις
Άσκηση Φροντιστήριο 2 Λύσεις Ποια από τα πιο κάτω αυτόματα αποτελούν DFA επί του αλφάβητου {,}. Αιτιολογήστε τις απαντήσεις σας. (i) (ii) (iii) (iv) (v), (vi), (i) Όχι, δεν υπάρχει αρχική κατάσταση. (ii)
Διαβάστε περισσότεραΦροντιστήριο 10 Λύσεις
Άσκηση 1 Φροντιστήριο 10 Λύσεις Να κατασκευάσετε μια μηχανή Turing με δύο ταινίες η οποία να αποδέχεται στην πρώτη της ταινία μια οποιαδήποτε λέξη w {0,1} * και να γράφει τη λέξη w R στη δεύτερη της ταινία.
Διαβάστε περισσότεραΛύσεις σετ ασκήσεων #6
ΘΕΩΡΙΑ ΠΛΗΡΟΦΟΡΙΑΣ Γ. Κοντογιάννης Πέμπτη 8 Μαΐου 07 Φυλλάδιο #4 Λύσις στ ασκήσων #6. Θόρυβος od. Έστω ότι ένα κανάλι έχι αλφάβητο ισόδου και αλφάβητο ξόδου το {0}. Όπως στο προηγούμνο στ η έξοδος του
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
Σειρά Προβλημάτων Λύσεις Άσκηση Έστω αλφάβητο Σ και γλώσσες Λ, Λ επί του αλφάβητου αυτού. Να διερευνήσετε κατά πόσο ισχύει κάθε μια από τις πιο κάτω σχέσεις. Σε περίπτωση που μια σχέση ισχύει να το αποδείξετε,
Διαβάστε περισσότεραΣυμπλήρωμα 2 εδαφίου 3.3: Το γενικό μεταβολικό πρόβλημα για συναρτησιακό ολοκληρωτικού τύπου με ολοκληρωτέα συνάρτηση F κατά 2
ΚΕΦ. 3 Η Αρχή των Ήρωνος-Fermat 3.3-8 Συμπλήρωμα 2 δαφίου 3.3: Το νικό μταβολικό πρόβλημα ια συναρτησιακό ολοκληρωτικού τύπου μ ολοκληρωτέα συνάρτηση F κατά 2 τμήματα C, ορισμένο πί καμπυλών που τέμνουν
Διαβάστε περισσότεραΣειρά Προβλημάτων 3 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 3 Λύσεις Να δώσετε ασυμφραστικές γραμματικές που να παράγουν τις πιο κάτω γλώσσες: (α) { a k b m c n k < m ή m > 2n, όπου k,m,n 0 } Μια γραμματική για τη γλώσσα έχει ως εξής:
Διαβάστε περισσότεραΚανονικές Γλώσσες. ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών
Κανονικές Γλώσσες ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Κανονικές Γλώσσες Κανονική γλώσσα αν
Διαβάστε περισσότεραΣχεδίαση Γλωσσών Προγραμματισμού Λεξική Ανάλυση ΙΙ. Εαρινό Εξάμηνο Lec 07 & & 05/03/2019 Διδάσκων: Γεώργιος Χρ.
Σχδίαση Γλωσσών Προγραμματισμού Λξική Ανάλυση ΙΙ Εαρινό Εξάμηνο 2018-2019 Lec 07 & 08 04 & 05/03/2019 Διδάσκων: Γώργιος Χρ. Μακρής Γννήτρις λξικής ανάλυσης (scanner generators) Λιτουργία Λξικού Αναλυτή
Διαβάστε περισσότεραΚανονικές Γλώσσες. Κανονικές Γλώσσες. Κανονικές Γλώσσες και Αυτόματα. Κανονικές Γλώσσες και Αυτόματα
Κανονικές Γλώσσες Κανονικές Γλώσσες Διδάσκοντες: Φ. Αφράτη, Δ. Φωτάκης Επιμέλεια διαφανειών: Δ. Φωτάκης Κανονική γλώσσα αν παράγεται από κανονική γραμματική. Παραγωγές P (V Σ) Σ * ((V Σ) ε) Παραγωγές μορφής:
Διαβάστε περισσότεραΣειρά Προβλημάτων 3 Λύσεις
Σειρά Προβλημάτων 3 Λύσεις Άσκηση 1 Να δώσετε ασυμφραστικές γραμματικές που να παράγουν τις πιο κάτω γλώσσες: (α) {0 n 1 n n > 0} {0 n 1 2n n > 0} (β) {w {a,b} * η w ξεκινά και τελειώνει με το ίδιο σύμβολο
Διαβάστε περισσότεραΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 6: Μη Κανονικές Γλώσσες
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 6: Μη Κανονικές Γλώσσες Τι θα κάνουμε σήμερα Εισαγωγικά Το Λήμμα της Άντλησης για κανονικές γλώσσες Παραδείγματα 1 Πότε μια γλώσσα δεν είναι κανονική;
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing (αυθεντικός ορισμός) η οποία να διαγιγνώσκει τη γλώσσα { ww w {a,b}* }. (β) Να διατυπώσετε την τυπική περιγραφή
Διαβάστε περισσότεραΑσκήσεις από παλιές εξετάσεις
Άσκηση 2 - Τελική εξέταση 2012 Ασκήσεις από παλιές εξετάσεις (α) [10 μονάδες] Να μετατρέψετε το πιο κάτω NFA σε ένα ισοδύναμο DFA χρησιμοποιώντας την κατασκευή που μελετήσαμε στο μάθημα. a a q 0 a, ε q
Διαβάστε περισσότεραΓωνία που σχηματίζει η ε με τον άξονα. Έστω Oxy ένα σύστημα συντεταγμένων στο επίπεδο και ε μια ευθεία που τέμνει τον άξονα
ΕΥΘΕΙΑ Γωνία που σχηματίζι η μ τον άξονα. Έστω O ένα σύστημα συντταγμένων στο πίπδο και μια υθία που τέμνι τον άξονα στο σημίο Α. Α ω Α ω Τη γωνία ω που διαγράφι ο άξονας όταν στραφί γύρω από το Α κατά
Διαβάστε περισσότερα6.3 Η ΣΥΝΑΡΤΗΣΗ f(x) = αx + β
1 6.3 Η ΣΥΝΡΤΗΣΗ f() = α + β ΘΕΩΡΙ 1. Η πρίφηµη γωνία ω Έστω υθία που τέµνι τον άξονα σ σηµίο. Στρέφουµ την ηµιυθία κατά θτική φορά µέχρι να πέσι πάνω στην. Η γωνία ω που διαγράφται λέγται γωνία που σχηµατίζι
Διαβάστε περισσότεραΣειρά Προβλημάτων 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}
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (1)
Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες () Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Πεπερασμένα Αυτόματα (Κεφάλαιο., Sipser) Ορισμός πεπερασμένων αυτομάτων και ορισμός του
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing (αυθεντικός ορισμός) η οποία να διαγιγνώσκει τη γλώσσα { w w = (ab) 2m b m (ba) m, m 0 } (β) Να διατυπώσετε
Διαβάστε περισσότερα4.1 Η ΕΝΝΟΙΑ ΤΗΣ ΣΥΝΑΡΤΗΣΗΣ
Η ΕΝΝΟΙΑ ΤΗΣ ΣΥΝΑΡΤΗΣΗΣ ΟΡΙΣΜΟΣ Έστω A ένα υποσύνολο του Ονομάζουμ πραγματική συνάρτηση μ πδίο ορισμού το A, μια διαδικασία f, μ την οποία, κάθ στοιχίο A αντιστοιχίζται σ ένα μόνο πραγματικό αριθμό Το
Διαβάστε περισσότεραΣειρά Προβλημάτων 3 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 3 Λύσεις Να δώσετε ασυμφραστικές γραμματικές που να παράγουν τις πιο κάτω γλώσσες: (α) { w {(, )} * οι παρενθέσεις στην w είναι ισοζυγισμένες } (β) { a k b m c 2m a k k > 0,
Διαβάστε περισσότερα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
Διαβάστε περισσότερα4.1 ΕΥΘΕΙΕΣ ΚΑΙ ΕΠΙΠΕ Α ΣΤΟ ΧΩΡΟ
1 4.1 ΥΙΣ ΚΙ Ι ΣΤΟ ΧΩΡΟ ΩΡΙ 1. Το πίπδο: ίναι έννοια πρωταρχική για τα µαθηµατικά δηλαδή έννοια που δν πιδέχται ορισµό. H ικόνα του πιπέδου ίναι γνωστή από την µπιρία µας. Την έχουµ ταυτίσι µ τη µορφή
Διαβάστε περισσότεραΓΡΑΜΜΙΚΑ ΣΥΣΤΗΜΑΤΑ Α ΒΑΘΜΟΥ
Πριοδικό ΕΥΚΛΕΙΔΗΣ Β Ε.Μ.Ε. ΓΡΑΜΜΙΚΑ ΣΥΣΤΗΜΑΤΑ Α ΒΑΘΜΟΥ A. ΓΡΑΜΜΙΚΗ ΕΞΙΣΩΣΗ ΜΕ ΔΥΟ ΑΓΝΩΣΤΟΥΣ Γραμμική ξίσωση μ δύο αγνώστους ονομάζται κάθ ξίσωση της μορφής: α + βψ = γ (), μ α,β,γ π.χ. ψ =, =, ψ =, κλπ.
Διαβάστε περισσότεραΣειρά Προβλημάτων 3 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 3 Λύσεις Να δώσετε ασυμφραστικές γραμματικές που να παράγουν τις πιο κάτω γλώσσες: (α) { x x η τιμή της αριθμητικής έκφρασης 10 2n + 10 n + 1, n 1} (β) { a i b j c k d m i, j,
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing (αυθεντικός ορισμός) η οποία να διαγιγνώσκει τη γλώσσα { w#z w, z {a,b}* και η z είναι υπολέξη της w}. Συγκεκριμένα,
Διαβάστε περισσότερα2 Η ΕΥΘΕΙΑ ΣΤΟ ΕΠΙΠΕΔΟ. Εισαγωγή
Η ΕΥΘΕΙΑ ΣΤΟ ΕΠΙΠΕΔΟ Εισαγωγή Η ιδέα της χρησιμοποίησης νός συστήματος συντταγμένων για τον προσδιορισμό της θέσης νός σημίου πάνω σ μια πιφάνια προέρχται από την Γωγραφία και ήταν γνωστή στους αρχαίους
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητα Ενδιάμεση Εξέταση Ημερομηνία : Κυριακή, 15 Μαρτίου 2015 Διάρκεια : 15.00 17.00 Διδάσκουσα : Άννα Φιλίππου Ονοματεπώνυμο:
Διαβάστε περισσότεραΗ θεωρία στην ευθεία σε ερωτήσεις - απαντήσεις
Η θρία στην υθία σ ρτήσις - απαντήσις Τι ονομάζουμ ξίσση γραμμής Μια ξίσση μ δύο αγνώστους λέγται ξίσση μιας γραμμής C, όταν οι συντταγμένς τν σημίν της C, και μόνο αυτές, την παληθύουν Ποιό ίναι το βασικό
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { D το D είναι ένα DFA το οποίο αποδέχεται όλες τις λέξεις στο Σ * } (α) Για να διαγνώσουμε το πρόβλημα μπορούμε
Διαβάστε περισσότεραΜΑΘΗΜΑΤΙΚΑ Α ΓΥΜΝΑΣΙΟΥ ΜΕΡΟΣ 2ο ΓΕΩΜΕΤΡΙΑ ΑΣΚΗΣΕΙΣ ΛΥΜΕΝΕΣ 1 ΕΠΙΜΕΛΕΙΑ : ΑΥΓΕΡΙΝΟΣ ΒΑΣΙΛΗΣ
ΜΘΗΜΤΙΚ ΥΜΝΣΙΥ ΜΕΡΣ ο ΕΩΜΕΤΡΙ ΣΚΗΣΕΙΣ ΛΥΜΕΝΕΣ 1 ΕΠΙΜΕΛΕΙ : ΥΕΡΙΝΣ ΣΙΛΗΣ ΜΘΗΜΤΙΚ ΥΜΝΣΙΥ ΣΚΗΣΕΙΣ ΜΕΡΣ 1ο : ΕΩΜΕΤΡΙ ΚΕΦΛΙ 1ο ΣΙΚΕΣ ΕΩΜΕΤΡΙΚΕΣ ΕΝΝΙΕΣ νακφαλαίωση σημίο άπιρς υθίς από υθύγραμμο τμήμα Δ παράλληλα
Διαβάστε περισσότεραΘΕΩΡΙΑ ΠΑΙΓΝΙΩΝ. Ενότητα 10: Παιχνίδια με ελλιπή πληροφόρηση. Ρεφανίδης Ιωάννης Τμήμα Εφαρμοσμένης Πληροφορικής
Ενότητα 0: Παιχνίδια μ λλιπή πληροφόρηση Ρφανίδης Ιωάννης Άδις Χρήσης Το παρόν κπαιδυτικό υλικό υπόκιται σ άδις χρήσης Creative Commons. ια κπαιδυτικό υλικό, όπως ικόνς, που υπόκιται σ άλλου τύπου άδιας
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητα Ενδιάμεση Εξέταση Ημερομηνία : Σάββατο, 15 Μαρτίου 2014 Διάρκεια : 9.30 11.30 Διδάσκουσα : Άννα Φιλίππου Ονοματεπώνυμο:
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing που να διαγιγνώσκει τη γλώσσα { n 3 } (α) H ζητούμενη μηχανή Turing μπορεί να διατυπωθεί ως την επτάδα Q,
Διαβάστε περισσότερα(4) γενικής λύσης το x με το -x. και θα έχουμε : y ομ (x)=c 1 (-x) -1 +c 2 (-x) 3
0 ΕΞΙΣΩΣΕΙΣ ΤΟΥ EULER Ορισμός : Οι γραμμικές διαφορικές ξισώσις, των οποίων οι συντλστές ίναι δυνάμις του βαθμού ίσου μ την τάξη της αντίστοιχης παραγώγου, ονομάζονται ξισώσις του Eule Πχ η ομογνής ξίσωση
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
Σειρά Προβλημάτων 1 Λύσεις Άσκηση 1 Έστω αλφάβητο Σ και γλώσσες Λ 1, Λ 2 επί του αλφάβητου αυτού. Να διερευνήσετε κατά πόσο ισχύει κάθε μια από τις πιο κάτω σχέσεις. Σε περίπτωση που μια σχέση ισχύει να
Διαβάστε περισσότεραΜπορείτε να δείξετε ότι αυξανομένης της θερμοκρασίας το κλάσμα των μορίων του συστήματος που βρίσκεται στην βασική ενεργειακή κατάσταση θα μειώνεται;
Έστω μακροσκοπικό σύστημα αποτούμνο από μόρια τα οποία μπορούν να βρθούν σ ένα σύνοο μη κφυισμένων καταστάσων μ νέργια, όπου,, 2, 3, 4,. Σ προηγούμνο παράδιγμα δίξαμ ότι η κυρίαρχη διαμόρφωση νός τέτοιου
Διαβάστε περισσότεραΓενικές Παρατηρήσεις. Μη Κανονικές Γλώσσες - Χωρίς Συµφραζόµενα (1) Το Λήµµα της Αντλησης. Χρήση του Λήµµατος Αντλησης.
Γενικές Παρατηρήσεις Μη Κανονικές Γλώσσες - Χωρίς Συµφραζόµενα () Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Υπάρχουν µη κανονικές γλώσσες, π.χ., B = { n n n }. Αυτό
Διαβάστε περισσότερα[Ολοκληρωτική μορφή του νόμου του Gauss στο κενό ή τον αέρα]
Παν/μιο Πατρών Τμήμα Φυσικής. Μάθημα : Ηλκτρομαγνητισμός Ι (Υποχρωτικό 3 ου Εξαμήνου) ΠΝΕΠΙΣΤΗΜΙΟ ΠΤΡΩΝ - ΤΜΗΜ ΦΥΣΙΚΗΣ ΜΘΗΜ : HΛΕΚΤΡΟΜΓΝΗΤΙΣΜΟΣ Ι (Υποχρωτικό 3 ου Εξαμήνου) Διδάσκων :Δ.Σκαρλάτος, Επίκουρος
Διαβάστε περισσότεραΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 3: Ντετερμινιστικά Πεπερασμένα Αυτόματα (DFA)
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 3: Ντετερμινιστικά Πεπερασμένα Αυτόματα (DFA) Τι θα κάνουμε σήμερα Εισαγωγή στα Ντετερμινιστικά Πεπερασμένα Αυτόματα 14-Sep-11 Τυπικός Ορισμός Ντετερμινιστικών
Διαβάστε περισσότεραόπου n είναι ο συνολικός αριθμός γραμμομορίων του συστήματος (που συμπεριλαμβάνει και τα τυχόν αδρανή συστατικά), Ή ακόμα και τη σύσταση κατά βάρος
Κφάλαιο Στοιχιομτρία αντιδράσων. Σύσταση μιγμάτων αντιδρώντων Ας υποθέσουμ πως μια χημική αντίδραση συμβαίνι μέσα σ μια φάση. Η κατάσταση της κάθ φάσης καθορίζται από την πίση, τη θρμοκρασία Τ, και τη
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { G 1, G 2 οι G 1 και G 2 είναι δύο CFG που παράγουν μια κοινή λέξη μήκους 144 } (β) { D,k το D είναι ένα DFA
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
Σειρά Προβλημάτων Λύσεις Άσκηση Έστω αλφάβητο Σ και γλώσσες Α, Β επί του αλφάβητου αυτού. Για κάθε μια από τις πιο κάτω περιπτώσεις να διερευνήσετε κατά πόσο Γ Δ, ή, Δ Γ, ή και τα δύο. Σε περίπτωση, που
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing (αυθεντικός ορισμός) η οποία να διαγιγνώσκει τη γλώσσα {w 1w 2 w 1 {0,1} * και w 2 = 0 k 1 m όπου k και m
Διαβάστε περισσότεραΣειρά Προβλημάτων 3 Λύσεις
Σειρά Προβλημάτων 3 Λύσεις Άσκηση 1 Να δώσετε ασυμφραστικές γραμματικές που να παράγουν τις πιο κάτω γλώσσες: (α) { xyw 1w 2 x, y {a, b}, w 1 = a n, w 2 = b 2n, όπου, αν x=y=a, τότε n = 2k, διαφορετικά
Διαβάστε περισσότεραΑΡΙΘΜΗΤΙΚΗ ΑΝΑΛΥΣΗ ΚΑΙ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
Σημιώσις για το μάθημα ΑΡΙΘΜΗΤΙΚΗ ΑΝΑΛΥΣΗ ΚΑΙ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Ε. Ε. Νισταζάκης Τμήμα Στατιστικής και Αναλογιστικής Επιστήμης Πανπιστήμιο Αιγαίου ΠΕΡΙΕΧΟΜΕΝΑ Κφάλαιο ο : ΕΙΣΑΓΩΓΗ 5.. Μ τι ασχολίται η αριθμητική
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing που να διαγιγνώσκει τη γλώσσα { a 2n b n c 3n n 2 } : H ζητούμενη μηχανή Turing μπορεί να διατυπωθεί ως την
Διαβάστε περισσότεραΝόμος του Gauss 1. Ηλεκτρική Ροή ( πλήθος δυναμικών γραμμών). είναι διάνυσμα μέτρου Α και κατεύθυνσης κάθετης στην επιφάνεια. Στην γενική περίπτωση:
Νόμος του Gauss 1. Ηλκτρική Ροή ( πλήθος δυναμικών γραμμών). ( a) cosφ ( b) ίναι διάνυσμα μέτρου Α και κατύθυνσης κάθτης στην πιφάνια. Στην γνική πρίπτωση: d d d ( ) (πιφανιακό ολοκλήρωμα) Νόμος του Gauss
Διαβάστε περισσότεραΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ
ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ ΚΑΙ ΦΥΣΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΟΜΕΑΣ ΜΑΘΗΜΑΤΙΚΩΝ Διπλωματική Εργασία Χώροι ημισωτρικού γινομένου και Birkhoff-James -ορθογωνιότητα ΧΑΣΑΠΗ Π. ΣΤΑΜΑΤΙΝΑ
Διαβάστε περισσότεραΓραµµατικές για Κανονικές Γλώσσες
Κανονικές Γραµµατικές Γραµµατικές για Κανονικές Γλώσσες Ταξινόµηση Γραµµατικών εξιά Παραγωγικές Γραµµατικές εξιά Παραγωγικές Γραµµατικές και NFA Αριστερά Παραγωγικές Γραµµατικές Κανονικές Γραµµατικές Γραµµατικές
Διαβάστε περισσότερα2018 Φάση 1 ιαγωνίσµατα Προετοιµασίας ΜΑΘΗΜΑΤΙΚΑ. Β' Γενικού Λυκείου. Θετικών Σπουδών. Παρασκευή 5 Ιανουαρίου 2018 ιάρκεια Εξέτασης: 2 ώρες ΘΕΜΑΤΑ
ΘΕΜΑ Α 018 Φάση 1 ιαγωνίσµατα Προτοιµασίας ΜΑΘΗΜΑΤΙΚΑ Β' νικού Λυκίου Θτικών Σπουδών Παρασκυή 5 Ιανουαρίου 018 ιάρκια Εξέτασης: ώρς Α1. Δίνονται τα διανύσματα α, β, γ ΘΕΜΑΤΑ. Να δίξτ ότι ισχύι α β + γ
Διαβάστε περισσότεραΕΞΙΣΩΣΗ ΣΦΑΙΡΑΣ. είναι όλοι ίσοι και επιπλέον δεν υπάρχουν οι όροι xy, yz, zx. Γενικά µια εξίσωση της µορφής: 0 + Β + Α.
Suies & Publishing ΣΟΛΩΜΟΥ 9 ΠΟΛΥΤΕΧΝΕΙΟ ΤΗΛ.:.38..57 www.arnοs.gr 3 Ο γωµτρικός τόπος των σηµίων που έχουν σταθρή απόσταση από το σηµίο,, του 3 ονοµάζται σφαίρα. Η σφαίρα µ κέντρο το,, και ακτίνα έχι
Διαβάστε περισσότεραΔιδάσκουσα: Καθηγήτρια Εφαρμογών Σ. Πέππα
Διδάσκουσα: Καθηγήτρια Εφαρμογών Σ. Πέππα Δυνάμις Υδροστατικές & Υδροδυναμικές δυνάμις που νργούν στα ύφαλα της γάστρας Αροδυναμικές δυνάμις που νργούν στην ιστιοφορία Ειδικές Ναυπηγικές Κατασκυές και
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing που να διαγιγνώσκει την ακόλουθη γλώσσα. { a n b n+2 c n 2 n 2 } Λύση: H ζητούμενη μηχανή Turing μπορεί να
Διαβάστε περισσότεραΚεφάλαιο 4: Πυροηλεκτρισμός, Πιεζο- ηλεκτρισμός, Λιαροκάπης Ευθύμιος. Διηλεκτρικές, Οπτικές, Μαγνητικές Ιδιότητες Υλικών
Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών Εθνικό Μτσόβιο Πολυτχνίο Διηλκτρικές, Οπτικές, Μαγνητικές Ιδιότητς Υλικών Κφάλαιο 4: Πυροηλκτρισμός, Πιζο- ηλκτρισμός, Σιδηροηλκτρισμός Λιαροκάπης Ευθύμιος
Διαβάστε περισσότερα# Κάθε σημείο που οι συντεταγμένες του. Μεθοδολογία στην ευθεία γραμμή ΜΕΘΟΔΟΛΟΓΙΑ ΓΡΑΜΜΗ
Μθοδολογία στην υθία γραμμή Κοινά σημία δύο γραμμών. Για να βρούμ τις συντταγμένς του σημίου δύο γραμμών, λύνουμ το σύστημα των ξισώσών τους. ΓΡΑΜΜΗ Μια ξίσωση της μορφής φ(χ,ψ)= λέγται ξίσωση μιας πίπδης
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing (αυθεντικός ορισμός) η οποία να διαγιγνώσκει τη γλώσσα {1010 2 10 3 10 n 1 10 n 1 n 1}. (β) Να διατυπώσετε
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (3)
Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (3) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Μη Ασυμφραστικές Γλώσσες (2.3) Λήμμα Άντλησης για Ασυμφραστικές Γλώσσες Παραδείγματα
Διαβάστε περισσότεραΣύνοψη Προηγούµενου. Κανονικές Γλώσσες (1) Προβλήµατα και Γλώσσες. Σε αυτό το µάθηµα. ιαδικαστικά του Μαθήµατος.
Σύνοψη Προηγούµενου Κανονικές Γλώσσες () ιαδικαστικά του Μαθήµατος. Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Εισαγωγή: Υπολογισιµότητα και Πολυπλοκότητα. Βασικές
Διαβάστε περισσότεραΣχεδίαση µε τη χρήση Η/Υ
Σχδίαση µ τη χρήση Η/Υ Ε Φ Α Λ Α Ι Ο 1 0 Ο Σ Τ Ο Ι Χ Ε Ι Α Γ Ε Ω Μ Ε Τ Ρ Ι Α Σ Τ Ο Υ Χ Ω Ρ Ο Υ Ρ Λ Ε Ω Ν Ι Α Σ Α Ν Θ Ο Π Ο Υ Λ Ο Σ, Ε Π Ι Ο Υ Ρ Ο Σ Α Θ Η Γ Η Τ Η Σ Τ Μ Η Μ Α Ι Ο Ι Η Σ Η Σ Α Ι Ι Α Χ Ε Ι
Διαβάστε περισσότεραΚΕΦΑΛΑΙΟ 6 ΑΤΑΚΤΑ ΥΛΙΚΑ
ΚΕΦΑΛΑΙΟ 6 ΑΤΑΚΤΑ ΥΛΙΚΑ. Μορφές αταξίας Μπορούµ να διακρίνουµ κατ' αρχή δύο µγάλς κατηγορίς άτακτων συστηµάτων στη φυσική της συµπυκνωµένης ύλης: συστήµατα µ αταξία θέσης και συστήµατα µ χηµική αταξία
Διαβάστε περισσότεραφ = ω Β=Γ Α= Β=Ε Γ=Ζ φ Ο
1 Η Π ΕΙΞΗ ΣΤΗΝ ΕΥΚΛΕΙ ΕΙ ΕΩΜΕΤΡΙ. ΩΝΙΕΣ ΙΣΕΣ ια να αποδίξουμ ότι δύο γωνίς ίναι ίσς πρέπι να αποδίξουμ: 1. Ότι ίναι άθροισμα ή διαφορά γωνιών αντίστοια ίσων. α = β α+ γ = β + δ ν τότ γ = δ α γ = β δ.
Διαβάστε περισσότεραΥΠΟ ΕΙΓΜΑΤΑ TRANSFER
ΥΠΟ ΕΙΓΜΑΤΑ TRANSFER Tα υποδίγµατα Transfer αποτλούν µία καλύτρη προσέγγιση στην κτίµηση µονοµταβλητών υποδιγµάτων, στο κφάλαιο αυτό παρουσιάζονται πρισσότρο αναλυτικά. REGRESSION ANALYSIS OF TIME SERIES
Διαβάστε περισσότεραΣτοιχεία από τη Γεωμετρία του χώρου (αναλυτικά στο βιβλίο: Ευκλείδεια Γεωμετρία Α και Β Ενιαίου Λυκείου)
Στοιχία από τη Γωμτρία του χώρου (αναλυτικά στο βιβλίο: Ευκλίδια Γωμτρία Α και Β Ενιαίου Λυκίου) Σχήματα των οποίων τα σημία δν βρίσκονται όλα στο ίδιο πίπδο ονομάζονται γωμτρικά στρά (π.χ. σφαίρα, κύλινδρος,
Διαβάστε περισσότεραΑλγόριθµοι Ροής σε Γράφους (CLR, κεφάλαιο 27)
Αλγόριθµοι Ροής σε Γράφους (CLR, κεφάλαιο 27) Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: ίκτυα ροής και το πρόβληµα της µέγιστης ροής Η µεθοδολογία Ford-Fulkerson Ο αλγόριθµος Edmonds-Karps ΕΠΛ 232
Διαβάστε περισσότεραΚεφάλαιο 2: Μετάδοση θερμότητας με ΑΚΤΙΝΟΒΟΛΙΑ
Κφάλαιο : Μτάδοση θρμότητας μ ΑΚΤΙΝΟΒΟΛΙΑ Συντλστής όψως Στο προηγούμνο κφάλαιο μλτήσαμ κυρίως τις ιδιότητς ακτινοβολίας που κπέμπται, απορροφάται και αντανακλάται από μία πιφάνια Τώρα ξτάζουμ την ανταλλαγή
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο
Θεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Σύνολα Συναρτήσεις και Σχέσεις Γραφήματα Λέξεις και Γλώσσες Αποδείξεις ΕΠΛ 211 Θεωρία
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (1)
Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (1) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Ασυμφραστικές Γραμματικές (2.1) Τυπικός Ορισμός Σχεδιασμός Ασυμφραστικών Γραμματικών
Διαβάστε περισσότεραΣύνοψη Προηγούµενου. Κανονικές Γλώσσες (3) Παραδείγµατα µε Κανονικές Εκφράσεις. Σε αυτό το µάθηµα.
Σύνοψη Προηγούµενου Κανονικές Γλώσσες (3) Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς (Ντετερµινιστική) Κλειστότητα Κανονικών Γλωσσών ως προς Ενωση. Κατασκευή: DFA
Διαβάστε περισσότερα