Θεωρία Υπολογισμού και Πολυπλοκότητα Αναγωγές
|
|
- Κυρία Τρυφωσα Κοσμόπουλος
- 7 χρόνια πριν
- Προβολές:
Transcript
1 Θεωρία Υπολογισμού και Πολυπλοκότητα Αναγωγές Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Ανεπίλυτα Προβλήματα από τη Θεωρία Γλωσσών (5.1) To Πρόβλημα της Περάτωσης Το Πρόβλημα της Κενότητα Το Πρόβλημα της Ισοδυναμίας Απεικονιστικές Αναγωγές (5.3) ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-1
2 Από την προηγούμενη διάλεξη πρόγραμμα M είσοδος x για M U Το αποτέλεσμα της εφαρμογής του M στο x Η Καθολική Μηχανή Turing U παίρνει ως εισόδους ένα πρόγραμμα Μ και μια λέξη x και προσομοιώνει το Μ στο x. To πρόγραμμα M ορίζεται επίσης ως μια TM! ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-2
3 Από την προηγούμενη διάλεξη q acc q rej αποδοχή απόρριψη εγκλωβισμός τερματισμός A ΤΜ = { Μ, w η Μείναι μια ΤΜ που αποδέχεται τη λέξη w} Αναγνωρίσιμη γλώσσα: Μη διαγνώσιμη γλώσσα: Από καθολική TM U Θεώρημα του Turing ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-3
4 Το πρόβλημα της περάτωσης ΠΕΡΑΤΩΣΗ ΤΜ = { Μ, w η Μείναι μια ΤΜ που τερματίζει στη λέξη w} Θα δείξουμε ότι: Η γλώσσα ΠΕΡΑΤΩΣΗ ΤΜ είναι μη διαγνώσιμη. Θα επιχειρηματολογήσουμε ως εξής: Αν η γλώσσα ΠΕΡΑΤΩΣΗ ΤΜ είναι διαγνώσιμη, τότε, η γλώσσα Α ΤΜ πρέπει επίσης να είναι διαγνώσιμη. Από το Θεώρημα του Turing γνωρίζουμε ότι το δεύτερο δεν ισχύει. Επομένως η γλώσσα ΠΕΡΑΤΩΣΗ ΤΜ είναι μη διαγνώσιμη. ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-4
5 ΠΕΡΑΤΩΣΗ ΤΜ Έστω ότι η γλώσσα ΠΕΡΑΤΩΣΗ ΤΜ είναι διαγνώσιμη. Τότε, υπάρχει μηχανή Turing, R, η οποία διαγιγνώσκει την ΠΕΡΑΤΩΣΗ ΤΜ : M, w R αποδοχή αν M τερματίζει στη w απόρριψη αν M εγκλωβίζεται στη w Πως μπορούμε να αξιοποιήσουμε την R για να διαγνώσουμε την Α ΤΜ ; M, w αποδοχή αν M? αποδέχεται τη w απόρριψη αν M απορρίπτει ή εγκλωβίζεται στη w ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-5
6 ΠΕΡΑΤΩΣΗ ΤΜ M, w acc Τρέξε Uτο Μ στο w acc rej S αποδοχή αν R αποδέχεται το M, w και το Μ αποδέχεται το w R rej απόρριψη αν το R απορρίπτει το M, w ή το Μ απορρίπτει το w ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-6
7 ΠΕΡΑΤΩΣΗ ΤΜ ΠΕΡΑΤΩΣΗ ΤΜ = { Μ, w η Μείναι μια ΤΜ που τερματίζει στη λέξη w} A ΤΜ = { Μ, w η Μείναι μια ΤΜ που αποδέχεται τη λέξη w} Ας υποθέσουμε ότι η γλώσσα ΠΕΡΑΤΩΣΗ ΤΜ είναι διαγνώσιμη και R μια ΤΜ που τη διαγιγνώσκει. Τότε, μπορούμε να κατασκευάσουμε την πιο κάτω ΤΜ η οποία διαγιγνώσκει την A TM : S = Με είσοδο M, w, Τρέξε την R με είσοδο M, w. Αν η R απορρίψει, απόρριψε. Αν η R αποδεχτεί τρέξε τη U με είσοδο M, w Αν η U αποδεχτεί, αποδέξου. Αν η U απορρίψει, απόρριψε. Αντίφαση! Η A TM είναι μη διαγνώσιμη, επομένως και η ΠΕΡΑΤΩΣΗ ΤΜ είναι μη διαγνώσιμη ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-7
8 Μέθοδος Αναγωγής Στην απόδειξη μας χρησιμοποιήσαμε τη «Μέθοδο της Αναγωγής» Η μέθοδος αυτή μας επιτρέπει να δείξουμε ότι ένα πρόβλημα είναι υπολογιστικά μη επιλύσιμο. ΟΡΙΣΜΟΣ Αναγωγή είναι η μετατροπή κάποιου προβλήματος σε κάποιο άλλο η οποία γίνεται με τέτοιο τρόπο ώστε η λύση του δεύτερου προβλήματος να μπορεί να χρησιμοποιηθεί για την επίλυση του πρώτου. Λέμε ότι το πρόβλημα Α μπορεί να αναχθεί στο πρόβλημα Β αν υπάρχει αναγωγή από το Α στο Β, δηλαδή, αν μπορούμε να μετατρέψουμε το πρόβλημα Α στο Β έτσι ώστε επίλυση του Β να επιλύει και το Α. Π.χ., η γλώσσα Α ΤΜ μπορεί να αναχθεί στη γλώσσα ΠΕΡΑΤΩΣΗ ΤΜ : διάγνωση της ΠΕΡΑΤΩΣΗ ΤΜ οδηγεί στη διάγνωση της Α ΤΜ. ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-8
9 Μέθοδος Αναγωγής Παράδειγμα Θεωρείστε τα πιο κάτω προβλήματα: Πρόβλημα Α: Υπολόγισε την περίμετρο ενός τετραγώνου Πρόβλημα Β: Μέτρα το μήκος της πλευράς x ενός τετραγώνου και επέστρεψε 4 x. Το πρόβλημα Α μπορεί να αναχθεί στο πρόβλημα Β: Αν λύσω το Β τότε θα έχω λύσει και το Α Επιπλέον: Το Α δεν είναι δυσκολότερο πρόβλημα από το Β αφού το Β προσφέρει μια λύση για αυτό. ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-9
10 Μέθοδος Αναγωγής Αν ένα πρόβλημα Α μπορεί να «αναχθεί» σε ένα πρόβλημα Β τότε: Αν το Β είναι επιλύσιμο τότε και το Α είναι επιλύσιμο Αν το Α είναι μη επιλύσιμο τότε και το Β είναι μη επιλύσιμο Σημείωση: Αν το Β δεν είναι επιλύσιμο αυτό δεν σημαίνει απαραίτητα ότι και το Α δεν είναι επιλύσιμο (δυνατόν να υπάρχει άλλη λύση για Α). Μεθόδος Αναγωγής για επίδειξη της μη επιλυσιμότητας/μη διαγνωσιμότητας Έστω γλώσσα Λ 1. Για να δείξουμε ότι η Λ 1 είναι μη διαγνώσιμη: 1. Εντοπίζουμε μη διαγνώσιμη γλώσσα Λ 2 τέτοια ώστε η Λ 2 να μπορεί να αναχθεί στη Λ Επιδεικνύουμε την αναγωγή: αν υπάρχει διαγνώστης για τη Λ 1 τότε υπάρχει διαγνώστης για τη Λ Αφού η Λ 2 είναι μη διαγνώσιμη καταλήγουμε σε αντίφαση. 4. Επομένως, και η Λ 1 είναι μη διαγνώσιμη ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-10
11 Η αναγωγή στην απόδειξή μας Αναγωγή: Δείξαμε ότι η γλώσσα Α ΤΜ ανάγεται στην ΠΕΡΑΤΩΣΗ ΤΜ Έστω ότι υπάρχει μια μηχανή R που διαγιγνώσκει την ΠΕΡΑΤΩΣΗ ΤΜ. Με τη βοήθεια της R κατασκευάσαμε μια μηχανή S που διαγιγνώσκει την Α ΤΜ. Επομένως: Αν η R διαγιγνώσκει την ΠΕΡΑΤΩΣΗ ΤΜ τότε η S διαγιγνώσκει την Α ΤΜ Γνωρίζουμε όμως ότι η Α ΤΜ είναι μη διαγνώσιμη η S είναι αδύνατον να υπάρχει η R είναι αδύνατον να υπάρχει η ΠΕΡΑΤΩΣΗ ΤΜ είναι μη διαγνώσιμη ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-11
12 Παράδειγμα 1 ΑΠΟΔΟΧΗε TM = { M η M είναι μια TM η οποία αποδέχεται το ε} Η γλώσσα είναι διαγνώσιμη η μη διαγνώσιμη ;; Βήμα 1: Εξοικείωση με τη γλώσσα και σύνδεση με γνωστά προβλήματα Για να αποφασίσουμε κατά πόσο η M αποδέχεται το ε, θα πρέπει να προσομοιώσουμε το ε στη Μ. Είναι όμως δυνατό στην πορεία να εγκλωβιστούμε! Βήμα 2: Αποδεικνύουμε με τη Μέθοδο της Αναγωγής. Αν δεν υπάρχει περίπτωση να εγκλωβιστούμε στο ε τότε δεν θα εγκλωβιστούμε σε καμιά λέξη. ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-12
13 Παράδειγμα 1 Εντοπισμός της αναγωγής Έστω R διαγνώστης της ΑΠΟΔΟΧΗε TM : Η R με δεδομένο εισόδου μια οποιαδήποτε ΤΜ Μ ενημερώνει κατά πόσο η Μ αποδέχεται το ε. M = ;; R αποδοχή αν M αποδέχεται το ε απόρριψη αν Μ δεν αποδέχεται το ε Τι να δώσουμε ως είσοδο στο R για να διαγνώσουμε τη γλώσσα Α TM ; ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-13
14 Παράδειγμα 1: Εντοπισμός της αναγωγής Για να διαγνώσουμε τη γλώσσα Α TM η μηχανή που θα φτιάξουμε πρέπει να λειτουργεί ως εξής: M, w ; M R S αποδοχή αν η M αποδέχεται το w απόρριψη αν όχι Τι να δώσουμε ως είσοδο στο R για να διαγνώσουμε τη γλώσσα Α TM ; Θα πρέπει η Μ να αποδέχεται το ε αν και μόνο αν η Μ αποδέχεται το w. ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-14
15 Παράδειγμα 1: Υλοποίηση της αναγωγής Επομένως η βοηθητική μας ΤΜ πρέπει για οποιαδήποτε είσοδο M, w να κατασκευάσει μια καινούρια μηχανή Μ τέτοια ώστε η Μ να αποδέχεται την ε αν και μόνο αν η Μ αποδέχεται την w. M, w κατασκεύασε την M M Θα φτιάξουμε την M έτσι ώστε σε κάθε δεδομένο της να τρέχει για w: M = Για είσοδο z, Τρέξε τη M στο w Αν η M αποδέχεται το w, τότε αποδέξου. Διαφορετικά, απόρριψε ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-15
16 Παράδειγμα 1: Υλοποίηση της αναγωγής M = Για είσοδο z, Τρέξε τη M στο w Αν η M αποδέχεται το w, τότε αποδέξου. Διαφορετικά, απόρριψε Τι θα κάνει η R με είσοδο την Μ ; Εξ ορισμού, θα αποδεχτεί αν η Μ αποδέχεται την ε, διαφορετικά θα απορρίψει. Πότε η Μ αποδέχεται την ε; Η Μ αποδέχεται την ε εφόσον η Μ αποδέχεται την w. Επομένως, για είσοδο Μ η R θα Αποδεχτεί αν η Μ αποδέχεται το ε, που θα συμβεί αν η Μ αποδέχεται το w. Απορρίψει αν η Μ δεν αποδέχεται το ε, που θα συμβεί αν η Μ δεν αποδέχεται το w. ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-16
17 Παράδειγμα 1: Η απόδειξη ΑΠΟΔΟΧΗε TM = { M η M είναι μια TM η οποία αποδέχεται το ε} A TM = { M, w η M είναι μια TM που αποδέχεται τη λέξη w} Υποθέτουμε ότι η γλώσσα ΑΠΟΔΟΧΗε TM είναι διαγνώσιμη και η ΤΜ R είναι σε θέση να τη διαγνώσει. Τότε: S = Με είσοδο M, w όπου M μια TM και w μια λέξη Κατασκεύασε τη TM M : M = Με είσοδο z, Τρέξε τη M με είσοδο w Τρέξε την R με είσοδο M και απάντησε με το αποτέλεσμά της. Τότε η S αποδέχεται το M, w αν και μόνο αν η M αποδέχεται το w Επομένως η S διαγιγνώσκει τη γλώσσα A TM. Αντίφαση! ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-17
18 Παράδειγμα 2 ΚΑΠΟΙΑ TM = { M η M είναι μια TM η οποία αποδέχεται κάποια λέξη} Η γλώσσα είναι διαγνώσιμη η μη διαγνώσιμη ;; Βήμα 1: Εντοπισμός αναγωγής Για να αποφασίσουμε κατά πόσο η M αποδέχεται κάποια λέξη, θα χρειαστεί να προσομοιώσουμε τη λειτουργία της Μ. Είναι όμως δυνατό στην πορεία να εγκλωβιστούμε! Βήμα 2: Αποδεικνύουμε με τη Μέθοδο της Αναγωγής. ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-18
19 Παράδειγμα 2 Εντοπισμός της αναγωγής Έστω R διαγνώστης της ΚΑΠΟΙΑ TM : Η R με δεδομένο εισόδου μια οποιαδήποτε ΤΜ Μ ενημερώνει κατά πόσο η Μ αποδέχεται κάποια λέξη M = ;; R αποδοχή αν η M αποδέχεται κάποια λέξη απόρριψη αν Μ δεν αποδέχεται καμιά λέξη Τι να δώσουμε ως είσοδο στο R για να διαγνώσουμε τη γλώσσα Α TM ; ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-19
20 Παράδειγμα 2: Εντοπισμός της αναγωγής Για να διαγνώσουμε τη γλώσσα Α TM η μηχανή που θα φτιάξουμε πρέπει να λειτουργεί ως εξής: M, w ; M R S αποδοχή αν η M αποδέχεται το w απόρριψη αν όχι Τι να δώσουμε ως είσοδο στο R για να διαγνώσουμε τη γλώσσα Α TM ; Θα πρέπει η Μ να αποδέχεται κάποια λέξη αν και μόνο αν η Μ αποδέχεται το w. ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-20
21 Παράδειγμα 2: Υλοποίηση της αναγωγής Επομένως η βοηθητική μας ΤΜ πρέπει για οποιαδήποτε είσοδο M, w να κατασκευάσει μια καινούρια μηχανή Μ τέτοια ώστε η Μ να αποδέχεται κάποια λέξη αν και μόνο αν η Μ αποδέχεται το w. M, w κατασκεύασε την M M Θα φτιάξουμε την M έτσι ώστε σε κάθε δεδομένο της να τρέχει για w: M = Για είσοδο z, Τρέξε τη M στο w Αν η M αποδέχεται το w, τότε αποδέξου. Διαφορετικά, απόρριψε Επομένως, η R θα διαγνώσει κατά πόσο η Μ αποδέχεται το w! ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-21
22 Παράδειγμα 2: Η απόδειξη ΚΑΠΟΙΑ TM = { M η M είναι μια TM η οποία αποδέχεται κάποια λέξη} A TM = { M, w η M είναι μια TM που αποδέχεται τη λέξη w} Υποθέτουμε ότι η γλώσσα ΚΑΠΟΙΑ TM είναι διαγνώσιμη και η ΤΜ R είναι σε θέση να τη διαγνώσει. Τότε: S = Με είσοδο M, w όπου M μια TM και w μια λέξη Κατασκεύασε τη TM M : M = Με είσοδο z, Τρέξε τη M με είσοδο w Τρέξε την R με είσοδο M και απάντησε με το αποτέλεσμά της. Τότε η S αποδέχεται το M, w αν και μόνο αν η M αποδέχεται το w Επομένως η S διαγιγνώσκει τη γλώσσα A TM. Αντίφαση! ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-22
23 Παράδειγμα 3 ΚΕΝΟΤΗΤΑ TM = { M η M είναι μια TM η οποία δεν αποδέχεται καμιά είσοδο} Η γλώσσα είναι διαγνώσιμη η μη διαγνώσιμη ;; Βήμα 1: Αναγωγή; Η γλώσσα αυτή αποτελεί το συμπλήρωμα της γλώσσας ΚΑΠΟΙΑ ΤΜ Βήμα 2: Αποδεικνύουμε με τη Μέθοδο της Αναγωγής ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-23
24 Παράδειγμα 3: Η απόδειξη ΚΕΝΟΤΗΤΑ TM = { M η M είναι μια TM η οποία δεν αποδέχεται καμιά είσοδο} ΚΑΠΟΙΑ TM = { M η M είναι μια TM η οποία αποδέχεται κάποια λέξη} Υποθέτουμε ότι η γλώσσα ΚΕΝΟΤΗΤΑ TM είναι διαγνώσιμη και η ΤΜ R είναι σε θέση να τη διαγνώσει. Τότε: S = Με είσοδο M όπου M μια TM Τρέξε την R με είσοδο M. Αν η R αποδέχεται, τότε απόρριψε Διαφορετικά, αποδέξου. Επομένως η S διαγιγνώσκει τη γλώσσα ΚΕΝΟΤΗΤΑ TM. Αντίφαση! ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-24
25 Παράδειγμα 4 ΙΣΟΔΥΝΑΜΙΑ TM = { M 1, Μ 2 οι M 1, Μ 2 είναι δύο TM τ.ω. L(M 1 )= L(Μ 2 )} Η γλώσσα είναι διαγνώσιμη ή μη διαγνώσιμη ;; Βήμα 1: Αναγωγή; Αν μπορούμε να συγκρίνουμε δύο τυχούσες γλώσσες μπορούμε να συγκρίνουμε και μια γλώσσα με την κενή γλώσσα. Αναγωγή προς ΚΕΝΟΤΗΤΑ ΤΜ Βήμα 2: Αποδεικνύουμε με τη Μέθοδο της Αναγωγής ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-25
26 Παράδειγμα 4: Η απόδειξη ΙΣΟΔΥΝΑΜΙΑ TM = { M 1, Μ 2 οι M 1, Μ 2 είναι δύο TM τ.ω. L(M 1 ) = L(Μ 2 )} ΚΕΝΟΤΗΤΑ TM = { M η M είναι μια TM η οποία δεν αποδέχεται καμιά είσοδο} Υποθέτουμε ότι η γλώσσα ΚΕΝΟΤΗΤΑ TM είναι διαγνώσιμη και η ΤΜ R είναι σε θέση να τη διαγνώσει. Τότε: S = Με είσοδο M όπου M μιαtm Κατασκεύασε τη TM M : M = Με είσοδο z, απόρριψε Τρέξε την R με είσοδο Μ, M και απάντησε με το αποτέλεσμά της. Τότε η S αποδέχεται τη M αν και μόνο αν η M είναι ισοδύναμη με μια μηχανή που παράγει την κενή γλώσσα. Επομένως η S διαγιγνώσκει τη γλώσσα ΚΕΝΟΤΗΤΑ TM. Αντίφαση! ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-26
27 Απεικονιστικές Αναγωγές Πώς μπορούμε να περιγράψουμε μαθηματικά ότι ένα πρόβλημα Α ανάγεται σε ένα άλλο πρόβλημα Β? Υπάρχει μια υπολογίσιμη συνάρτηση που μετατρέπει τα στιγμιότυπα του Α σε στιγμιότυπα του Β Αν έχουμε μια τέτοια συνάρτηση μετατροπής, τότε μπορούμε να επιλύσουμε το Α χρησιμοποιώντας κάποιον αλγόριθμο που επιλύει το Β. ΟΡΙΣΜΟΣ Μια συνάρτηση f : Σ * Σ * λέγεται υπολογίσιμη αν υπάρχει ΤΜ που, για κάθε είσοδο w, τερματίζει έχοντας στην ταινία της μόνο τη λέξη f(w). ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-27
28 Παραδείγματα υπολογίσιμων συναρτήσεων Αριθμητικές πράξεις πάνω στους δυαδικούς αριθμούς Αριθμητικές πράξεις πάνω στους ακεραίους Η συνάρτηση που, με δεδομένο εισόδου μια ΤΜ επιστρέφει μια ΤΜ η οποία δεν προσπαθεί ποτέ να μετακινήσει την κεφαλή της ταινίας της πέρα από το αριστερότερο άκρο της ταινίας. ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-28
29 Τυπικός Ορισμός της Απεικονιστικής Αναγωγιμότητας ΟΡΙΣΜΟΣ Μια γλώσσα Α είναι απεικονιστικά αναγώγιμη στη γλώσσα Β, Α m Β, αν υπάρχει υπολογίσιμη συνάρτηση f : Σ * Σ *, τέτοια ώστε, για κάθε w, w Α f(w) Β. Η συνάρτηση f είναι η αναγωγή της Α στη Β. Χρήση: Για να δείξουμε ότι η Β δεν είναι διαγνώσιμη: Προσδιορίζω μια γλώσσα Απου είναι γνωστό ότι είναι μη διαγνώσιμη Εντοπίζω αναγωγή της Α στη Β. w Α f(w) Β. ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-29
30 ΘΕΩΡΗΜΑ 1 Χρήση Αναγωγών Αν Α m Β και η Β είναι διαγνώσιμη τότε και η Α είναι διαγνώσιμη. Απόδειξη: Υποθέστε ότι M διαγνώστης της Βκαι f μια αναγωγή από το Α στο Β. Κατασκευάζουμε την πιο κάτω ΤΜ Ν = Για είσοδο w: 1. Υπολογίζουμε τη λέξη f(w). 2. Εκτελούμε την Μ για είσοδο f(w) και επιστρέφουμε ως έξοδο την έξοδο της Μ. Ορθότητα: Αφού w Α αν και μόνο αν f(w) Β, τότε η Ν θα αποδεχτεί την f(w) αν και μόνο αν w Α. Τερματισμός: Αφού η Μ τερματίζει, τότε και η Ν θα τερματίσει. Συμπέρασμα: Η Ν είναι ένας διαγνώστης της Α. ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-30
31 Αναγωγές και Μη Διαγνωσιμότητα Από το Θεώρημα 1, προκύπτει το πιο κάτω πόρισμα. ΠΟΡΙΣΜΑ 1 Αν Α m Β και η Α είναι μη διαγνώσιμη τότε και η Β είναι μη διαγνώσιμη. Αυτό το πόρισμα συλλαμβάνει τη Μέθοδο της Αναγωγής για απόδειξη της μη διαγνωσιμότητας μιας γλώσσας. ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-31
32 Παράδειγμα Να δείξετε ότι Α ΤΜ m ΠΕΡΑΤΩΣΗ ΤΜ δηλ., η Α ΤΜ είναι απεικονιστικά αναγώγιμη στην ΠΕΡΑΤΩΣΗ ΤΜ. Από τον ορισμό, πρέπει να εντοπίσουμε υπολογίσιμη συνάρτηση f που για κάθε είσοδο Μ,w να επιστρέφει ως έξοδο κάποιο Μ,w τ.ω. Μ,w Α ΤΜ αν και μόνο αν Μ,w ΠΕΡΑΤΩΣΗ ΤΜ F = Για είσοδο Μ,w, όπου Μ μια ΤΜ και w μια λέξη: 1. Κατασκευάζουμε την εξής μηχανή Μ = Για είσοδο x: 1. Εκτελούμε την Μ επί της x 2. Αν η Μ αποδέχεται, αποδεχόμαστε. 3. Αν η Μ απορρίπτει, εγκλωβιζόμαστε. 2. Επιστρέφουμε τη λέξη Μ,w. ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-32
33 Αναγνωρισιμότητα ΘΕΩΡΗΜΑ 2 Αν Α m Β και η Β είναι αναγνωρίσιμη τότε και η Α είναι αναγνωρίσιμη. ΠΟΡΙΣΜΑ 2 Αν Α m Β και η Α είναι μη αναγνωρίσιμη τότε και η Β είναι μη αναγνωρίσιμη. ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-33
34 Αποδείξεις Μη Αναγνωρισιμότητας Πως μπορούμε να δείξουμε ότι μια γλώσσα Α είναι μη αναγνωρίσιμη; Από το Πόρισμα 2, μπορούμε να δείξουμε ότι υπάρχει κάποια γνωστή μη αναγνωρίσιμη γλώσσα Β τέτοια ώστε Β m Α. Ένα γνωστό μη αναγνωρίσιμο πρόβλημα είναι το Α (Διαφάνεια 8-55). Επομένως για να δείξουμε ότι κάποια γλώσσα Α είναι μη αναγνωρίσιμη μπορούμε να δείξουμε ότι Α Α. Γενικά παρατηρούμε ότι: Αν υπάρχει αναγωγή από την Β στη Α, τότε υπάρχει αναγωγή από την Β στη Α. Επομένως, αντί του Α Β η μη αναγνωρισιμότητα της Α μπορεί να δειχθεί ως: ότι Α ΤΜ Α. ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-34
35 Παράδειγμα Μη Αναγνωρισιμότητας ΘΕΩΡΗΜΑ 2 Η γλώσσα ΙΣΟΔΥΝΑΜΙΑ ΤΜ δεν είναι ούτε αναγνωρίσιμη ούτε συμπληρωματικά αναγνωρίσιμη. Βήμα 1: Θα δείξουμε την μη αναγνωρισιμότητα της ΙΣΟΔΥΝΑΜΙΑ ΤΜ με την αναγωγή m Βήμα 2: Θα δείξουμε την μη αναγνωρισιμότητα της ΙΣΟΔΥΝΑΜΙΑ με την αναγωγή m ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-35
36 Βήμα 1 Η ανάγουσα συνάρτηση f υπολογίζεται ως ακολούθως. F = Για είσοδο Μ,w, όπου Μ μια ΤΜ και w μια λέξη: 1. Κατασκευάζουμε τις παρακάτω μηχανές. Μ 1 = Για κάθε είσοδο: 1. Απορρίπτουμε. Μ 2 = Για κάθε είσοδο: 1. Εκτελούμε την Μ επί της w. 2. Αν η Μ αποδέχεται, αποδεχόμαστε. 2. Επιστρέφουμε τη λέξη Μ 1, Μ 2. Αν η Μ αποδέχεται την w τότε η Μ 2 αποδέχεται όλες τις εισόδους και άρα οι Μ 1, Μ 2 δεν είναι ισοδύναμες. Από την άλλη αν η Μ δεν αποδέχεται τότε η Μ 2 δεν αποδέχεται καμιά είσοδο και άρα οι Μ 1, Μ 2 είναι ισοδύναμες. ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-36
37 Βήμα 2 Θέλουμε να δείξουμε την απεικονιστική αναγωγή m Η ανάγουσα συνάρτηση g υπολογίζεται ως ακολούθως. G = Για είσοδο Μ,w, όπου Μ μια ΤΜ και w μια λέξη: 1. Κατασκευάζουμε τις παρακάτω μηχανές. Μ 1 = Για κάθε είσοδο: 1. Αποδεχόμαστε. Μ 2 = Για κάθε είσοδο: 1. Εκτελούμε την Μ επί της w. 2. Αν η Μ αποδέχεται, αποδεχόμαστε. 2. Επιστρέφουμε τη λέξη Μ 1, Μ 2. Προφανώς: οι Μ 1, Μ 2 είναι ισοδύναμες αν και μόνο αν η Μ αποδέχεται τη w. ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 9-37
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 16: Αναγωγές
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 16: Αναγωγές Τι θα κάνουμε σήμερα Το Πρόβλημα του Τερματισμού (4.2) Εισαγωγή στις Αναγωγές Ανεπίλυτα Προβλήματα από την Θεωρία των Γλωσσών (5.1) Απεικονιστικές
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { D το D είναι ένα DFA το οποίο αποδέχεται όλες τις λέξεις στο Σ * } (α) Για να διαγνώσουμε το πρόβλημα μπορούμε
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { G 1, G 2 οι G 1 και G 2 είναι δύο CFG που παράγουν μια κοινή λέξη μήκους 144 } (β) { D,k το D είναι ένα DFA
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { Μ η Μ είναι μια ΤΜ η οποία διαγιγνώσκει το πρόβλημα ΙΣΟΔΥΝΑΜΙΑ ΤΜ (διαφάνεια 9 25)} (α) Γνωρίζουμε ότι το
Διαβάστε περισσότεραΦροντιστήριο 9 Λύσεις
Άσκηση 1 Φροντιστήριο 9 Λύσεις Να κατασκευάσετε μια μηχανή Turing με δύο ταινίες η οποία να αποδέχεται στην πρώτη της ταινία μια οποιαδήποτε λέξη w {a,b} * και να γράφει τη λέξη w R στη δεύτερη της ταινία.
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα Διαγνωσιμότητα
Θεωρία Υπολογισμού και Πολυπλοκότητα Διαγνωσιμότητα Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Διαγνώσιμες Γλώσσες (4.1) Επιλύσιμα Προβλήματα σχετικά με Κανονικές Γλώσσες Επιλύσιμα Προβλήματα
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing που να διαγιγνώσκει τη γλώσσα { n 3 } (α) H ζητούμενη μηχανή Turing μπορεί να διατυπωθεί ως την επτάδα Q,
Διαβάστε περισσότεραΦροντιστήριο 10 Λύσεις
Άσκηση 1 Φροντιστήριο 10 Λύσεις Να κατασκευάσετε μια μηχανή Turing με δύο ταινίες η οποία να αποδέχεται στην πρώτη της ταινία μια οποιαδήποτε λέξη w {0,1} * και να γράφει τη λέξη w R στη δεύτερη της ταινία.
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing που να διαγιγνώσκει την ακόλουθη γλώσσα. { a n b n+2 c n 2 n 2 } Λύση: H ζητούμενη μηχανή Turing μπορεί να
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) ({ G η G είναι μια ασυμφραστική γραμματική που δεν παράγει καμιά λέξη με μήκος μικρότερο του 2 } (β) { Μ,w
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Πιο κάτω υπάρχει ένα σχεδιάγραμμα που τοποθετεί τις κλάσεις των κανονικών, ασυμφραστικών, διαγνώσιμων και αναγνωρίσιμων γλωσσών μέσα στο σύνολο όλων των γλωσσών. Ακολουθούν
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing (αυθεντικός ορισμός) η οποία να διαγιγνώσκει τη γλώσσα { w w = (ab) 2m b m (ba) m, m 0 } (β) Να διατυπώσετε
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing (αυθεντικός ορισμός) η οποία να διαγιγνώσκει τη γλώσσα { ww w {a,b}* }. (β) Να διατυπώσετε την τυπική περιγραφή
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing που να διαγιγνώσκει τη γλώσσα { a 2n b n c 3n n 2 } : H ζητούμενη μηχανή Turing μπορεί να διατυπωθεί ως την
Διαβάστε περισσότεραΑποφασισιµότητα / Αναγνωρισιµότητα. Μη Επιλύσιµα Προβλήµατα. Η έννοια της αναγωγής. Τερµατίζει µια δεδοµένη TM για δεδοµένη είσοδο;
Αποφασισιµότητα / Αναγνωρισιµότητα Ορέστης Τελέλης telelis@unipi.gr Μη Επιλύσιµα Προβλήµατα Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς 2/12/2015 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Αποφασισιµότητα 2/12/2015
Διαβάστε περισσότεραΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 15: Διαγνωσιμότητα (Επιλυσιμότητα) ΙΙ
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 15: Διαγνωσιμότητα (Επιλυσιμότητα) ΙΙ Τι θα κάνουμε σήμερα Επιλύσιμα Προβλήματα σχετικά με Ασυμφραστικές Γλώσσες (4.1.2) Το Πρόβλημα του Τερματισμού
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { G,k η G είναι μια ασυμφραστική γραμματική η οποία παράγει κάποια λέξη 1 n όπου n k } (β) { Μ,k η Μ είναι
Διαβάστε περισσότεραΑσκήσεις Επανάληψης. Επανάληψη Εαρινό Εξάμηνο 2019 Σελίδα 1
Ασκήσεις Επανάληψης Άσκηση 1 (Τελική Εξέταση 5/015) Να δείξετε ότι η πιο κάτω γλώσσα δεν είναι διαγνώσιμη. { Μ L(M) {ΘΕΩΡΙΑ, ΥΠΟΛΟΓΙΣΜΟΥ} και L(M) 3} (Για την αναγωγή μπορείτε να χρησιμοποιήσετε τη γνωστή
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing (αυθεντικός ορισμός) η οποία να διαγιγνώσκει τη γλώσσα {1010 2 10 3 10 n 1 10 n 1 n 1}. (β) Να διατυπώσετε
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing (αυθεντικός ορισμός) η οποία να διαγιγνώσκει τη γλώσσα {w 1w 2 w 1 {0,1} * και w 2 = 0 k 1 m όπου k και m
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing που να διαγιγνώσκει τη γλώσσα { ww rev w {a, b} * και w αποτελεί καρκινική λέξη } (α) H ζητούμενη μηχανή
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing (αυθεντικός ορισμός) η οποία να διαγιγνώσκει τη γλώσσα { w#z w, z {a,b}* και η z είναι υπολέξη της w}. Συγκεκριμένα,
Διαβάστε περισσότεραnum(m(w 1 ;... ; w k )) = f(num(w 1 ),..., num(w k ))
Υπολογισμοί με Μ.Τ. Εστω M = (K, Σ, δ, s, {y, n}) μια Μ.Τ. Κάθε συνολική κατάσταση τερματισμού της οποίας η κατάσταση τερματισμού είναι το y, θα ονομάζεται συνολική κατάσταση αποδοχής, ενώ αν η κατάσταση
Διαβάστε περισσότεραΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Επανάληψη Μαθήματος
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Επανάληψη Μαθήματος Το Μάθημα σε μια Διαφάνεια Υπολογιστικά μοντέλα Κανονικές Γλώσσες Ντετερμινιστικά Αυτόματα Μη Ντετερμινιστικά Αυτόματα Κανονικές Εκφράσεις
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { R η R είναι μια κανονική έκφραση η οποία παράγει μια μη πεπερασμένη γλώσσα} (β) { G η G είναι μια CFG η οποία
Διαβάστε περισσότεραΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 13: Παραλλαγές Μηχανών Turing και Περιγραφή Αλγορίθμων
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 13: Παραλλαγές Μηχανών Turing και Περιγραφή Αλγορίθμων Τι θα κάνουμε σήμερα Εισαγωγή Πολυταινιακές Μηχανές Turing (3.2.1) Μη Ντετερμινιστικές Μηχανές
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα To Δόγμα Church-Turing
Θεωρία Υπολογισμού και Πολυπλοκότητα To Δόγμα Church-Turing Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Μηχανές Turing (3.1) Τυπικό Ορισμός Παραδείγματα Παραλλαγές Μηχανών Turing (3.2) Πολυταινιακές
Διαβάστε περισσότεραΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 12: Μηχανές Turing
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 12: Μηχανές Turing Τι θα κάνουμε σήμερα Εισαγωγή στις Μηχανές Turing (TM) Τυπικός Ορισμός Μηχανής Turing (3.1.1) 1 Τι είδαμε μέχρι στιγμής Πεπερασμένα
Διαβάστε περισσότεραΦροντιστήριο 8 Λύσεις
Άσκηση 1 Θεωρήστε την πιο κάτω Μηχανή Turing. Φροντιστήριο 8 Λύσεις Σε κάθε σκέλος, να προσδιορίσετε την ακολουθία των φάσεων τις οποίες διατρέχει η μηχανή όταν δέχεται τη διδόμενη λέξη. (α) 11 (β) 1#1
Διαβάστε περισσότεραΑσκήσεις από παλιές εξετάσεις
Άσκηση 2 - Τελική εξέταση 2012 Ασκήσεις από παλιές εξετάσεις (α) [10 μονάδες] Να μετατρέψετε το πιο κάτω NFA σε ένα ισοδύναμο DFA χρησιμοποιώντας την κατασκευή που μελετήσαμε στο μάθημα. a a q 0 a, ε q
Διαβάστε περισσότεραΦροντιστήριο 11 Λύσεις
Άσκηση 1 Φροντιστήριο 11 Λύσεις Να αποδείξετε ότι η κλάση Ρ είναι κλειστή ως προς τις πράξεις της ένωσης, της συναρμογής και του συμπληρώματος. Θα πρέπει να δείξουμε ότι: (α) Ένωση: Αν οι Λ 1 και Λ 2 είναι
Διαβάστε περισσότεραΦροντιστήριο 8 Λύσεις
Άσκηση 1 Φροντιστήριο 8 Λύσεις Θεωρήστε την πιο κάτω Μηχανή Turing όπου όλες οι μεταβάσεις που απουσιάζουν οδηγούν στην κατάσταση απόρριψης (q απόρριψης). Σε κάθε σκέλος, να προσδιορίσετε την ακολουθία
Διαβάστε περισσότεραΜια TM µπορεί ένα από τα δύο: να αποφασίζει µια γλώσσα L. να αναγνωρίζει (ηµιαποφασίζει) µια γλώσσα L. 1. Η TM «εκτελεί» τον απαριθµητή, E.
Οι γλώσσες των Μηχανών Turing Αποφασισιµότητα / Αναγνωρισιµότητα Μια TM µπορεί ένα από τα δύο: να αποφασίζει µια γλώσσα L Αποδέχεται όταν (η είσοδος στην TM) w L. Ορέστης Τελέλης telelis@unipi.gr Τµήµα
Διαβάστε περισσότεραΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 18: Χρονική και Χωρική Πολυπλοκότητα
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 18: Χρονική και Χωρική Πολυπλοκότητα Τι θα κάνουμε σήμερα Εισαγωγικά Χρονική Πολυπλοκότητα (7) Κλάση P (7.2) Κλάση ΝΡ (7.3) ΝΡ-πληρότητα (7.4) Χωρική
Διαβάστε περισσότεραΆδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ
Θεωρία Υπολογισμού Ενότητα 24: Μη Ντεντερμινιστικές Μηχανές Turing Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως
Διαβάστε περισσότεραΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 14: Διαγνωσιμότητα (Επιλυσιμότητα)
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 14: Διαγνωσιμότητα (Επιλυσιμότητα) Τι θα κάνουμε σήμερα Εισαγωγή Επιλύσιμα Προβλήματα σχετικά με τις Κανονικές Γλώσσες (4.1.1) Επιλύσιμα Προβλήματα
Διαβάστε περισσότεραMh apofasisimèc gl ssec. A. K. Kapìrhc
Mh apofasisimèc gl ssec A. K. Kapìrhc 15 Maòou 2009 2 Perieqìmena 1 Μη αποφασίσιμες γλώσσες 5 1.1 Ανάγω το πρόβλημα A στο B................................. 5 1.2 Αναγωγές μη επιλυσιμότητας..................................
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (2)
Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (2) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Κανονικές Εκφράσεις (1.3) Τυπικός Ορισμός Ισοδυναμία με κανονικές γλώσσες Μη Κανονικές
Διαβάστε περισσότεραΆδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ
Θεωρία Υπολογισμού Ενότητα 26: Καθολική Μηχανή Turing Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που
Διαβάστε περισσότεραCSC 314: Switching Theory
CSC 314: Switching Theory Course Summary 9 th January 2009 1 1 Θέματα Μαθήματος Ερωτήσεις Τι είναι αλγόριθμος? Τι μπορεί να υπολογιστεί? Απαντήσεις Μοντέλα Υπολογισμού Δυνατότητες και μη-δυνατότητες 2
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (1)
Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες () Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Πεπερασμένα Αυτόματα (Κεφάλαιο., Sipser) Ορισμός πεπερασμένων αυτομάτων και ορισμός του
Διαβάστε περισσότεραΆδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ
Θεωρία Υπολογισμού Ενότητα 21: Υπολογισμοί ΜΤ - Αναδρομικές Γλώσσες Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα
Θεωρία Υπολογισμού και Πολυπλοκότητα Κεφάλαιο 10. Μηχανές Turing 20,23 Μαρτίου 2007 Δρ. Παπαδοπούλου Βίκη 1 Μηχανές Turing: Ένα Γενικό Μοντέλο Υπολογισμού Ποια μοντέλα υπολογισμού μπορούν να δεχθούν γλώσσες
Διαβάστε περισσότεραΥπολογιστική Πολυπλοκότητα Εξέταση Ιουνίου 2017 Σελ. 1 από 5
Υπολογιστική Πολυπλοκότητα Εξέταση Ιουνίου 2017 Σελ. 1 από 5 Στη σελίδα αυτή γράψτε μόνο τα στοιχεία σας. Γράψτε τις απαντήσεις σας στις επόμενες σελίδες, κάτω από τις αντίστοιχες ερωτήσεις. Στις απαντήσεις
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
Σειρά Προβλημάτων Λύσεις Άσκηση Ορίζουμε τη συναρμογή δύο γλωσσών Α και Β ως ΑΒ = { uv u A, v B }. (α) Έστω Α = {α,β,γ} και Β =. Να περιγράψετε τη γλώσσα ΑΒ. (β) Θεωρήστε τις γλώσσες L, M και N. Να δείξετε
Διαβάστε περισσότεραΘεωρία Υπολογισμού Άρτιοι ΑΜ. Διδάσκων: Σταύρος Κολλιόπουλος. eclass.di.uoa.gr. Περιγραφή μαθήματος
Περιγραφή μαθήματος Θεωρία Υπολογισμού Άρτιοι ΑΜ Σκοπός του μαθήματος είναι η εισαγωγή στη Θεωρία Υπολογισμού και στη Θεωρία Υπολογιστικής Πολυπλοκότητας (Θεωρία Αλγορίθμων). Διδάσκων: Σταύρος Κολλιόπουλος
Διαβάστε περισσότεραΘεωρία Υπολογισμού Αρτιοι ΑΜ Διδάσκων: Σταύρος Κολλιόπουλος eclass.di.uoa.gr
Θεωρία Υπολογισμού Άρτιοι ΑΜ Διδάσκων: Σταύρος Κολλιόπουλος eclass.di.uoa.gr Περιγραφή μαθήματος Σκοπός του μαθήματος είναι η εισαγωγή στη Θεωρία Υπολογισμού και στη Θεωρία Υπολογιστικής Πολυπλοκότητας
Διαβάστε περισσότεραΔιάλεξη 17: Συμφωνία με Βυζαντινά Σφάλματα. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 17: Συμφωνία με Βυζαντινά Σφάλματα ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Βυζαντινά Σφάλματα Τι θα δούμε σήμερα Κάτω Φράγμα για Αλγόριθμους Συμφωνίας με Βυζαντινά Σφάλματα: n > 3f Αλγόριθμος Συμφωνίας
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα
Θεωρία Υπολογισμού και Πολυπλοκότητα Κεφάλαιο 12. Θεωρία Υπολογισιμότητας 30Μαρτίου, 17 Απριλίου 2007 Δρ. Παπαδοπούλου Βίκη 1 Θέση Church-Turing Τι μπορεί να υπολογιστεί και τι δεν μπορεί να υπολογιστεί?
Διαβάστε περισσότεραΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ
ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ Ενότητα 8: Ιδιότητες Γραμματικών χωρίς Συμφραζόμενα Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό
Διαβάστε περισσότεραΣε αυτό το µάθηµα. Εισαγωγή στις Μηχανές Turing. Μηχανή Turing (Turing Machine - TM) Μηχανές Turing. Παραδείγµατα Μηχανών Turing
Σε αυτό το µάθηµα Εισαγωγή στις Μηχανές Turing Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Παραδείγµατα Μηχανών Turing Παραλλαγές: Πολυταινιακές, Μη ντετερµινιστικές
Διαβάστε περισσότεραΗ NTM αποδέχεται αν µονοπάτι στο δέντρο που οδηγεί σε αποδοχή.
Μη ντετερµινιστικές Μηχανές Turing - NTMs (1/6) Μηχανές Turing: Μη ντετερµινισµός, Επιλύσιµα Προβλήµατα Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς 10 εκεµβρίου 2016
Διαβάστε περισσότεραCSC 314: Switching Theory. Chapter 3: Turing Machines
CSC 314: Switching Theory Chapter 3: Turing Machines 28 November 2008 1 1 Υπολογισμοί σε Μηχανές Turing Πως χρησιμοποιούμε μια μηχανή Turing? Για την αναγνώριση μιας γλώσσας? Σύμβαση για την αναγνώριση
Διαβάστε περισσότεραΛύσεις 4ης Σειράς Ασκήσεων
Λύσεις 4ης Σειράς Ασκήσεων Άσκηση 1 Αναγάγουμε τν Κ 0 που γνωρίζουμε ότι είναι μη-αναδρομική (μη-επιλύσιμη) στην γλώσσα: L = {p() η μηχανή Turing Μ τερματίζει με είσοδο κενή ταινία;} Δοσμένης της περιγραφής
Διαβάστε περισσότεραΑριθμήσιμα σύνολα. Μαθηματικά Πληροφορικής 5ο Μάθημα. Παραδείγματα αριθμήσιμων συνόλων. Οι ρητοί αριθμοί
Αριθμήσιμα σύνολα Μαθηματικά Πληροφορικής 5ο Μάθημα Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών Ορισμός Πόσα στοιχεία έχει το σύνολο {a, b, r, q, x}; Οσα και το σύνολο {,,, 4, 5} που είναι
Διαβάστε περισσότεραΠλακίδια του Wang C πεπερασμένο σύνολο χρωμάτων.
30 Νοεμβρίου 2016 Πλακίδια του Wang C πεπερασμένο σύνολο χρωμάτων. Πλακίδια του Wang C πεπερασμένο σύνολο χρωμάτων. t = (c Α, c Π, c Δ, c Κ ) C 4 πλακίδιο του Wang. Πλακίδια του Wang C πεπερασμένο σύνολο
Διαβάστε περισσότεραΘεωρήµατα Ιεραρχίας Ειδικά Θέµατα Υπολογισµού και Πολυπλοκότητας, Μάθηµα Βασικής Επιλογής Εαρινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων
Θεωρήµατα Ιεραρχίας Ειδικά Θέµατα Υπολογισµού και Πολυπλοκότητας, Μάθηµα Βασικής Επιλογής Εαρινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Απόστολος Φίλιππας Τµήµα Μηχανικών Η/Υ και Πληροφορικής 19 Μαΐου,
Διαβάστε περισσότεραf(t) = (1 t)a + tb. f(n) =
Παράρτημα Αʹ Αριθμήσιμα και υπεραριθμήσιμα σύνολα Αʹ1 Ισοπληθικά σύνολα Ορισμός Αʹ11 (ισοπληθικότητα) Εστω A, B δύο μη κενά σύνολα Τα A, B λέγονται ισοπληθικά αν υπάρχει μια συνάρτηση f : A B, η οποία
Διαβάστε περισσότεραΠαράδειγμα άμεσης απόδειξης. HY118-Διακριτά Μαθηματικά. Μέθοδοι αποδείξεως για προτάσεις της μορφής εάν-τότε
HY118-Διακριτά Μαθηματικά Τρίτη, 27/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 27-Feb-18
Διαβάστε περισσότεραΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 2: Μαθηματικό Υπόβαθρο
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 2: Μαθηματικό Υπόβαθρο Τι θα κάνουμε σήμερα Συναρτήσεις & Σχέσεις (0.2.3) Γράφοι (Γραφήματα) (0.2.4) Λέξεις και Γλώσσες (0.2.5) Αποδείξεις (0.3) 1
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Τρίτη, 27/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 27-Feb-18
Διαβάστε περισσότεραΥπολογίσιμες Συναρτήσεις
Υπολογίσιμες Συναρτήσεις Σ Π Υ Ρ Ι Δ Ω Ν Τ Ζ Ι Μ Α Σ Δ Τ Ο Μ Ε Α Σ Τ Μ Η Μ Α Μ Α Θ Η Μ Α Τ Ι Κ Ω Ν Σ Χ Ο Λ Η Θ Ε Τ Ι Κ Ω Ν Ε Π Ι Σ Τ Η Μ Ω Ν Π Α Ν Ε Π Ι Σ Τ Η Μ Ι Ο Ι Ω Α Ν Ν Ι Ν Ω Ν Υπολογίσιμες Συναρτήσεις
Διαβάστε περισσότεραΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ
ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ Ενότητα 11: Καθολική μηχανή Turing Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα Χρονική Πολυπλοκότητα
Θεωρία Υπολογισμού και Πολυπλοκότητα Χρονική Πολυπλοκότητα Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Μέτρηση της Πολυπλοκότητας (7.1) Η κλάση Ρ (7.2) Η κλάση ΝΡ (7.3) ΝΡ-πληρότητα (7.4)
Διαβάστε περισσότεραΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 5: Κανονικές Εκφράσεις
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 5: Κανονικές Εκφράσεις Τι θα κάνουμε σήμερα Κλειστότητα Κανονικών Πράξεων (1.2.3) Εισαγωγή στις Κανονικές Εκφράσεις Τυπικός ορισμός της κανονικής
Διαβάστε περισσότεραΠολυπλοκότητα. Παράμετροι της αποδοτικότητας ενός αλγόριθμου: Χρόνος εκτέλεσης. Απαιτούμενοι πόροι, π.χ. μνήμη, εύρος ζώνης. Προσπάθεια υλοποίησης
Παράμετροι της αποδοτικότητας ενός αλγόριθμου: Χρόνος εκτέλεσης Απαιτούμενοι πόροι, π.χ. μνήμη, εύρος ζώνης Προσπάθεια υλοποίησης Παράμετροι της αποδοτικότητας ενός αλγόριθμου: Χρόνος εκτέλεσης Απαιτούμενοι
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητα Ενδιάμεση Εξέταση Ημερομηνία : Παρασκευή, 17 Μαρτίου 2017 Διάρκεια : 9.00 10.30 Διδάσκουσα : Άννα Φιλίππου Ονοματεπώνυμο:
Διαβάστε περισσότεραΑλγόριθμοι για αυτόματα
Κεφάλαιο 8 Αλγόριθμοι για αυτόματα Κύρια βιβλιογραφική αναφορά για αυτό το Κεφάλαιο είναι η Hopcroft, Motwani, and Ullman 2007. 8.1 Πότε ένα DFA αναγνωρίζει κενή ή άπειρη γλώσσα Δοθέντος ενός DFA M καλούμαστε
Διαβάστε περισσότεραRecursive and Recursively Enumerable sets I
Recursive and Recursively Enumerable sets I Ορισμός Το σύνολο A είναι αναδρομικό ανν η χαρακτηριστική του συνάρτηση X A είναι αναδρομική. Το σύνολο A είναι αναδρομικά αριθμήσιμο (recursively enumerable)
Διαβάστε περισσότεραΚατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5)
Κατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Εισαγωγή στον Κατηγορηματικό Λογισμό Σύνταξη Κανόνες Συμπερασμού Σημασιολογία ΕΠΛ 412 Λογική στην
Διαβάστε περισσότεραΣχεδίαση και Ανάλυση Αλγορίθμων
Σχεδίαση και Ανάλυση Αλγορίθμων Ενότητα 4.0 Επιλογή Αλγόριθμοι Επιλογής Select και Quick-Select Σταύρος Δ. Νικολόπουλος 2016-17 Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Ιωαννίνων Webpage: www.cs.uoi.gr/~stavros
Διαβάστε περισσότεραΝα επιλύουμε και να διερευνούμε την εξίσωση αx + β = 0, βάση τη γραφική παράσταση της ευθείας y = ax + β.
Ενότητα 1 Εξισώσεις Ανισώσεις α βαθμού Στην ενότητα αυτή θα μάθουμε: Να επιλύουμε και να διερευνούμε την εξίσωση αx + β = 0, με βάση τη γραφική παράσταση της ευθείας y = ax + β. Να επιλύουμε την ανίσωση
Διαβάστε περισσότεραΑλγόριθµοι Οπισθοδρόµησης
Αλγόριθµοι Οπισθοδρόµησης Στην ενότητα αυτή θα µελετηθούν τα εξής επιµέρους θέµατα: Η οπισθοδρόµηση στο σχεδιασµό αλγορίθµων Το πρόβληµα των σταθερών γάµων και ο αλγόριθµος των Gale-Shapley Το πρόβληµα
Διαβάστε περισσότεραΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ
ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ Ενότητα 10: Συνδυασμοί μηχανών Turing Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως
Διαβάστε περισσότεραΔιάλεξη 04: Παραδείγματα Ανάλυσης
Διάλεξη 04: Παραδείγματα Ανάλυσης Πολυπλοκότητας/Ανάλυση Αναδρομικών Αλγόριθμων Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: - Παραδείγματα Ανάλυσης Πολυπλοκότητας : Μέθοδοι, παραδείγματα
Διαβάστε περισσότεραΕισαγωγή στην Επιστήμη των Υπολογιστών
Εισαγωγή στην Επιστήμη των Υπολογιστών 4ο εξάμηνοσhmμy 6η ενότητα: Αυτόματα, τυπικές γλώσσες, γραμματικές Επιμέλεια διαφανειών: Στάθης Ζάχος, Άρης Παγουρτζής http://www.corelab.ece.ntua.gr/courses/introcs
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (3)
Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (3) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Μη Ασυμφραστικές Γλώσσες (2.3) Λήμμα Άντλησης για Ασυμφραστικές Γλώσσες Παραδείγματα
Διαβάστε περισσότεραΚΕΦΑΛΑΙΟ 12: Θεωρία υπολογισµών
ΚΕΦΑΛΑΙΟ 12: Θεωρία υπολογισµών 1 Συναρτήσεις και ο υπολογισµός τους 2 Μηχανές Turing 3 Καθολικές γλώσσες προγραµµατισµού 4 Μια µη υπολογίσιµη συνάρτηση 5 Πολυπλοκότητα προβληµάτων 1 Συναρτήσεις Μία συνάρτηση
Διαβάστε περισσότεραChapter 7, 8 : Time, Space Complexity
CSC 314: Switching Theory Chapter 7, 8 : Time, Space Complexity 12 December 2008 1 1 Υπολογίσιμα και Εφικτά Υπολογίσιμα Προβλήματα Είδαμε ότι 1. Οτιδήποτεμπορούμεναπεριγράψουμεμεένααλγόριθμο μπορεί να
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο
Θεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Σύνολα Συναρτήσεις και Σχέσεις Γραφήματα Λέξεις και Γλώσσες Αποδείξεις ΕΠΛ 211 Θεωρία
Διαβάστε περισσότερα12. ΑΝΙΣΩΣΕΙΣ Α ΒΑΘΜΟΥ. είναι δύο παραστάσεις μιας μεταβλητής x πού παίρνει τιμές στο
ΓΕΝΙΚΑ ΠΕΡΙ ΑΝΙΣΩΣΕΩΝ Έστω f σύνολο Α, g Α ΒΑΘΜΟΥ είναι δύο παραστάσεις μιας μεταβλητής πού παίρνει τιμές στο Ανίσωση με έναν άγνωστο λέγεται κάθε σχέση της μορφής f f g g ή, η οποία αληθεύει για ορισμένες
Διαβάστε περισσότεραΣημειώσεις Λογικής I. Εαρινό Εξάμηνο Καθηγητής: Λ. Κυρούσης
Σημειώσεις Λογικής I Εαρινό Εξάμηνο 2011-2012 Καθηγητής: Λ. Κυρούσης 2 Τελευταία ενημέρωση 28/3/2012, στις 01:37. Περιεχόμενα 1 Εισαγωγή 5 2 Προτασιακή Λογική 7 2.1 Αναδρομικοί Ορισμοί - Επαγωγικές Αποδείξεις...................
Διαβάστε περισσότεραΠεριεχόμενα Ορισμός και λειτουργία των μηχανών Turing Θεωρία Υπολογισμού Ενότητα 20: Μηχανές Turing: Σύνθεση και Υπολογισμοί Επ. Καθ. Π. Κατσαρός Τμήμ
Θεωρία Υπολογισμού Ενότητα 20: Μηχανές Turing: Σύνθεση και Υπολογισμοί Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό,
Διαβάστε περισσότεραΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 4: Μη Ντετερμινιστικά (Αντιαιτιοκρατικά) Πεπερασμένα Αυτόματα (ΝFA)
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 4: Μη Ντετερμινιστικά (Αντιαιτιοκρατικά) Πεπερασμένα Αυτόματα (ΝFA) Τι θα κάνουμε σήμερα Εισαγωγή στα Μη Ντετερμινιστικά Πεπερασμένα Αυτόματα Τυπικός
Διαβάστε περισσότεραL A P. w L A f(w) L B (10.1) u := f(w)
Κεφάλαιο 10 NP -πληρότητα Σύνοψη Οι γλώσσες στην κλάση πολυπλοκότητας P μπορούν να αποφασίζονται σε πολωνυμικό χρόνο. Οι επιστήμονες πιστεύουν, αν και δε μπορούν να το αποδείξουν ότι η P είναι ένα γνήσιο
Διαβάστε περισσότεραΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ
Θεμελιώσεις Επιστήμης Η/Υ ΠΛΗ30 Τελική Εξέταση 26 Ιουνίου 2013 Ονοματεπώνυμο Φοιτητή Αριθμός Μητρώου Φοιτητή Τμήμα Υπογραφή Φοιτητή Υπογραφή Επιτηρητή Διάρκεια: 180 Ερώτημα Μονάδες Βαθμολογία 1 10+10 2
Διαβάστε περισσότεραΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 6: Μη Κανονικές Γλώσσες
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 6: Μη Κανονικές Γλώσσες Τι θα κάνουμε σήμερα Εισαγωγικά Το Λήμμα της Άντλησης για κανονικές γλώσσες Παραδείγματα 1 Πότε μια γλώσσα δεν είναι κανονική;
Διαβάστε περισσότεραΑνάλυση της Ορθότητας Προγραμμάτων (HR Κεφάλαιο 4)
Ανάλυση της Ορθότητας Προγραμμάτων (HR Κεφάλαιο 4) Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Η διαδικαστική γλώσσα προγραμματισμού WHILE Τριάδες Hoare Μερική και Ολική Ορθότητα Προγραμμάτων Κανόνες
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
ΕΠΛ: Θεωρία Υπολογισμού και Πολυπλοκότητα Σειρά Προβλημάτων Λύσεις Άσκηση Θεωρείστε τις γλώσσες Α = { n n } και Β = {w η w είναι λέξη επί του αλφαβήτου {,} τ.ώ. w }. (α) Για κάθε μια από τις πιο κάτω γλώσσες
Διαβάστε περισσότεραΔιάλεξη 04: Παραδείγματα Ανάλυσης Πολυπλοκότητας/Ανάλυση Αναδρομικών Αλγόριθμων
Διάλεξη 04: Παραδείγματα Ανάλυσης Πολυπλοκότητας/Ανάλυση Αναδρομικών Αλγόριθμων Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: - Παραδείγματα Ανάλυσης Πολυπλοκότητας : Μέθοδοι, παραδείγματα
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (2)
Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (2) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Αυτόματα Στοίβας (2.2) Τυπικός Ορισμός Παραδείγματα Ισοδυναμία με Ασυμφραστικές
Διαβάστε περισσότερα4.3 Ορθότητα και Πληρότητα
4.3 Ορθότητα και Πληρότητα Συστήματα αποδείξεων όπως η μορφολογική παραγωγή και η κατασκευή μοντέλων χρησιμοποιούνται για να δείξουμε την εγκυρότητα εξαγωγών συμπερασμάτων. Ένα σύστημα αποδείξεων μπορεί
Διαβάστε περισσότεραΕΠΛ231 Δομές Δεδομένων και Αλγόριθμοι 4. Παραδείγματα Ανάλυσης Πολυπλοκότητας Ανάλυση Αναδρομικών Αλγόριθμων
ΕΠΛ31 Δομές Δεδομένων και Αλγόριθμοι 4. Παραδείγματα Ανάλυσης Πολυπλοκότητας Ανάλυση Αναδρομικών Αλγόριθμων Διάλεξη 04: Παραδείγματα Ανάλυσης Πολυπλοκότητας/Ανάλυση Αναδρομικών Αλγόριθμων Στην ενότητα
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα
Θεωρία Υπολογισμού και Πολυπλοκότητα Κλάσεις P, NP NP-πληρότητα 15 Απριλίου 2008 Δρ. Παπαδοπούλου Βίκη 1 Υπολογίσιμα και Εφικτά Υπολογίσιμα Προβλήματα Είδαμε ότι 1. Οτιδήποτε μπορούμε να περιγράψουμε με
Διαβάστε περισσότεραΥπολογιστικά & Διακριτά Μαθηματικά
Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 1: Εισαγωγή- Χαρακτηριστικά Παραδείγματα Αλγορίθμων Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons.
Διαβάστε περισσότεραΙσοδυναμία Αιτ. Και μη Αιτ. Π.Α.
Ισοδυναμία Αιτ. Και μη Αιτ. Π.Α. Δύο Π.Α. Μ 1 και Μ 2 είναι ισοδύναμα ανν L(M 1 ) = L(M 2 ). Έστω Μ = (Q, Σ, q 0, Δ, F) μη Αιτ. Π.Α. Για κάθε κατάσταση q Q, ορίζουμε ως Ε(q) Q το σύνολο των καταστάσεων
Διαβάστε περισσότεραΜη επιλυσιμότητα I. Απόδειξη. Ορίζουμε # # =
Μη επιλυσιμότητα I Θεώρημα Το TOT (πρόβλημα ολικής συνάρτησης) είναι μη επιλύσιμο, δηλαδή η f δεν είναι αναδρομική όπου: 1, αν φ x είναι ολική f(x) = 0, αλλιώς Απόδειξη. Ορίζουμε h(x) = φ x (x) + 1, αν
Διαβάστε περισσότεραΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 11: Μη Ασυμφραστικές Γλώσσες
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 11: Μη Ασυμφραστικές Γλώσσες Τι θα κάνουμε σήμερα Εισαγωγικά (2.3) Το Λήμμα της Άντλησης για ασυμφραστικές γλώσσες (2.3.1) Παραδείγματα 1 Πότε μια
Διαβάστε περισσότεραKΕΦΑΛΑΙΟ 1 ΧΡΗΣΙΜΕΣ ΜΑΘΗΜΑΤΙΚΕΣ ΕΝΝΟΙΕΣ. { 1,2,3,..., n,...
KΕΦΑΛΑΙΟ ΧΡΗΣΙΜΕΣ ΜΑΘΗΜΑΤΙΚΕΣ ΕΝΝΟΙΕΣ Βασικές έννοιες διαιρετότητας Θα συµβολίζουµε µε, τα σύνολα των φυσικών αριθµών και των ακεραίων αντιστοίχως: {,,3,,, } { 0,,,,, } = = ± ± ± Ορισµός Ένας φυσικός αριθµός
Διαβάστε περισσότεραΔιάλεξη 16: Πρόβλημα Συμφωνίας. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 16: Πρόβλημα Συμφωνίας ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Τι θα δούμε σήμερα Ορισμός του προβλήματος Συμφωνίας Αλγόριθμος Συμφωνίας με Σφάλματα Κατάρρευσης ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 1 Πρόβλημα
Διαβάστε περισσότερα