Η παρουσίαση φορτώνεται. Παρακαλείστε να περιμένετε

Η παρουσίαση φορτώνεται. Παρακαλείστε να περιμένετε

1 ΤΜΗΜΑ ΜΠΕΣ Διακριτά Μαθηματικά ΙI Μηχανές Πεπερασμένων Καταστάσεων Κώστας Στεργίου Λέκτορας Τμήμα Μηχανικών Πληροφοριακών & Επικοινωνιακών Συστημάτων.

Παρόμοιες παρουσιάσεις


Παρουσίαση με θέμα: "1 ΤΜΗΜΑ ΜΠΕΣ Διακριτά Μαθηματικά ΙI Μηχανές Πεπερασμένων Καταστάσεων Κώστας Στεργίου Λέκτορας Τμήμα Μηχανικών Πληροφοριακών & Επικοινωνιακών Συστημάτων."— Μεταγράφημα παρουσίασης:

1 1 ΤΜΗΜΑ ΜΠΕΣ Διακριτά Μαθηματικά ΙI Μηχανές Πεπερασμένων Καταστάσεων Κώστας Στεργίου Λέκτορας Τμήμα Μηχανικών Πληροφοριακών & Επικοινωνιακών Συστημάτων Πανεπιστήμιο Αιγαίου

2 2 ΤΜΗΜΑ ΜΠΕΣ Μηχανές Επεξεργασίας Πληροφοριών  Με τον όρο μηχανή επεξεργασίας πληροφοριών εννοούμε μια μηχανή που δέχεται ένα σύνολο από σήματα εισόδου και παράγει ένα αντίστοιχο σύνολο από σήματα εξόδου Μηχανή Επεξεργασίας Πληροφοριών Σήματα Εισόδου Σήματα Εξόδου

3 3 ΤΜΗΜΑ ΜΠΕΣ Μηχανές Επεξεργασίας Πληροφοριών  Παραδείγματα μηχανών επεξεργασίας πληροφοριών  Λάμπα γραφείου  σήματα εισόδου: ΠΑΝΩ/ΚΑΤΩ  σήματα εισόδου: ΦΩΣ/ΣΚΟΤΑΔΙ  Αθροιστής  σήματα εισόδου: δύο δεκαδικοί αριθμοί  σήματα εισόδου: το άθροισμα τους  Αυτοκίνητο  σήματα εισόδου: πίεση στο γκάζι, γωνία τιμονιού  σήματα εισόδου: ταχύτητα, κατεύθυνση  Αυτόματος πωλητής καφέ  σήματα εισόδου: νομίσματα, επιλογή καφέ  σήματα εισόδου: ποτήρι καφέ, ρέστα

4 4 ΤΜΗΜΑ ΜΠΕΣ Μηχανές Επεξεργασίας Πληροφοριών  Τα σήματα εισόδου σε μια μηχανή επεξεργασίας πληροφοριών μεταβάλλονται με το χρόνο  τα σήματα εξόδου πρέπει να μεταβάλλονται αντίστοιχα  Μια μηχανή επεξεργασίας πληροφοριών δέχεται μια χρονική ακολουθία σημάτων εισόδου και παράγει μια αντίστοιχη χρονική ακολουθία σημάτων εξόδου Παράδειγμα: Για την παρακάτω ακολουθία σημάτων εισόδου μιας λάμπας ΠΑΝΩ ΚΑΤΩ ΚΑΤΩ ΠΑΝΩ ΚΑΤΩ ΠΑΝΩ ΠΑΝΩ... Παράγεται η εξής ακολουθία σημάτων εξόδου ΦΩΣ ΣΚΟΤΑΔΙ ΣΚΟΤΑΔΙ ΦΩΣ ΣΚΟΤΑΔΙ ΦΩΣ ΦΩΣ

5 5 ΤΜΗΜΑ ΜΠΕΣ Μηχανές Επεξεργασίας Πληροφοριών Παράδειγμα: Για την παρακάτω ακολουθία σημάτων εισόδου ενός αθροιστή Παράγεται η εξής ακολουθία σημάτων εξόδου  Τα δύο προηγούμενα είναι παραδείγματα μηχανών χωρίς μνήμη  Το σήμα εξόδου κάθε χρονικής στιγμής εξαρτάται μόνο από το σήμα εισόδου εκείνης της στιγμής  κι όχι από τις προηγούμενες εισόδους

6 6 ΤΜΗΜΑ ΜΠΕΣ Μηχανές Επεξεργασίας Πληροφοριών  Σε μια μηχανή με μνήμη το σήμα εξόδου κάθε στιγμή μπορεί να εξαρτάται όχι μόνο από το σήμα εισόδου εκείνης της στιγμής, αλλά κι από προηγούμενα σήματα εισόδου  η μηχανή “μπορεί να θυμάται” τι έγινε στο παρελθόν  αλλά όχι βέβαια τα πάντα που έχουν γίνει στο παρελθόν! Παράδειγμα: Ο αυτόματος πωλητής καφέ δέχεται ως είσοδο κέρματα των 10, 20, και 50 λεπτών κι ένας καφές κοστίζει 60 λεπτά. Για την παρακάτω ακολουθία σημάτων εισόδου Παράγεται η εξής ακολουθία σημάτων εξόδου ΤΙΠΟΤΑ ΤΙΠΟΤΑ ΚΑΦΕΣ ΤΙΠΟΤΑ ΚΑΦΕΣ ΤΙΠΟΤΑ ΚΑΦΕΣ ΤΙΠΟΤΑ

7 7 ΤΜΗΜΑ ΜΠΕΣ Καταστάσεις  Για να περιγράψουμε τα γεγονότα του παρελθόντος, εισάγουμε την έννοια της κατάστασης  μια κατάσταση αντιπροσωπεύει την “περίληψη” του παρελθόντος της μηχανής Παράδειγμα: Στον αυτόματο πωλητή καφέ υπάρχουν πιθανές 7 καταστάσεις που καθορίζουν το συνολικό ποσό που έχει εισαχθεί από την τελευταία πώληση καφέ: >60  Σε οποιαδήποτε στιγμή η κατάσταση και τα σήματα εισόδου εκείνη τη στιγμή θα καθορίσουν την έξοδο Παράδειγμα: Αν η κατάσταση είναι 50 και η είσοδος 10 τότε η έξοδος είναι ΚΑΦΕΣ

8 8 ΤΜΗΜΑ ΜΠΕΣ Καταστάσεις  Καθώς έρχονται νέα σήματα εισόδου, η μηχανή μπορεί να αλλάζει κατάσταση (για να ανανεώνει την περίληψη της ιστορίας της)  Σε οποιαδήποτε στιγμή η κατάσταση εξαρτάται από τα σήματα εισόδου εκείνη τη στιγμή και από την προηγούμενη κατάσταση Συνολικό ποσό Είσοδος 10 λεπτά20 λεπτά50 λεπτά 60 60 60 6060 6060 6060 6060 6060 60 Συνολικό ποσό Έξοδος 0ΤΙΠΟΤΑ 10ΤΙΠΟΤΑ 20ΤΙΠΟΤΑ 30ΤΙΠΟΤΑ 40ΤΙΠΟΤΑ 50ΤΙΠΟΤΑ 6060 ΚΑΦΕΣ Παράδειγμα: Συμπεριφορά αυτόματου πωλητή καφέ

9 9 ΤΜΗΜΑ ΜΠΕΣ Μηχανές Πεπερασμένων Καταστάσεων  Μια μηχανή μπορεί να έχει έναν πεπερασμένο αριθμό καταστάσεων στις οποίες μπορεί να βρεθεί κατά τη διάρκεια της λειτουργίας της  Μια τέτοια μηχανή ονομάζεται Μηχανή Πεπερασμένων Καταστάσεων  π.χ. Αυτόματος πωλητής καφέ  Μια μηχανή με άπειρο αριθμό καταστάσεων ονομάζεται Μηχανή Απείρων Καταστάσεων  Παράδειγμα?  Εμείς θα ασχοληθούμε μόνο με μηχανές πεπερασμένων καταστάσεων

10 10 ΤΜΗΜΑ ΜΠΕΣ Παράδειγμα  Μια μηχανή που δέχεται ως είσοδο έναν ακέραιο αριθμό και δίνει ως έξοδο τον μεγαλύτερο ακέραιο που έχει δεχθεί μέχρι εκείνη τη στιγμή πρέπει να έχει μνήμη  Τι πρέπει να αποθηκεύει?  Αν οι αριθμοί εισόδου κυμαίνονται σε ένα συγκεκριμένο διάστημα τότε η μηχανή έχει πεπερασμένες καταστάσεις  Αν δεν υπάρχει περιορισμός για το ποιος ακέραιος θα έρθει ως είσοδος τότε η μηχανή έχει άπειρες καταστάσεις

11 11 ΤΜΗΜΑ ΜΠΕΣ Μηχανές Πεπερασμένων Καταστάσεων  Μια Μηχανή Πεπερασμένων Καταστάσεων – ΜΠΚ (Finite State Machine) καθορίζεται από Ssss  Ένα πεπερασμένο σύνολο καταστάσεων S = {s 0,s 1,s 2,…} S  Ένα ειδικό στοιχείο του συνόλου S που ονομάζεται αρχική κατάσταση Iiii  Ένα πεπερασμένο σύνολο από γράμματα εισόδου I = {i 1,i 2,i 3,…} Oooo  Ένα πεπερασμένο σύνολο από γράμματα εξόδου O = {o 1,o 2,o 3,…} fSI S  Μια συνάρτηση f από το S  I στο S, που ονομάζεται συνάρτηση μετάβασης gSO  Μια συνάρτηση g από το S στο O, που ονομάζεται συνάρτηση εξόδου

12 12 ΤΜΗΜΑ ΜΠΕΣ Μηχανές Πεπερασμένων Καταστάσεων  Μια μηχανή πεπερασμένων καταστάσεων είναι ένα θεωρητικό εργαλείο για την περιγραφή μηχανών επεξεργασίας πληροφοριών και δυναμικών συστημάτων  Οι ΜΠΚ υπήρχαν πριν τη γέννηση της επιστήμης υπολογιστών  Οι ΜΠΚ μας βοηθούν να δώσουμε ακριβείς περιγραφές και ορισμούς συστημάτων  σε αντίθεση με τη φυσική γλώσσα  Μια ΜΠΚ μπορεί να υλοποιηθεί σε υλικό ή σε λογισμικό

13 13 ΤΜΗΜΑ ΜΠΕΣ Μηχανές Πεπερασμένων Καταστάσεων  Σε κάθε στιγμή μια μηχανή πεπερασμένων καταστάσεων βρίσκεται σε μια από τις καταστάσεις της  Όταν έλθει ένα γράμμα εισόδου, η μηχανή θα μεταβεί σε μια άλλη κατάσταση σύμφωνα με τη συνάρτηση μετάβασης  Σε κάθε κατάσταση, η μηχανή παράγει ένα γράμμα εξόδου σύμφωνα με τη συνάρτηση εξόδου Συνολικό ποσόΕίσοδος 10 λεπτά20 λεπτά50 λεπτά 60 60 60 6060 6060 6060 6060 6060 60 Συνολικό ποσόΈξοδος 0ΤΙΠΟΤΑ 10ΤΙΠΟΤΑ 20ΤΙΠΟΤΑ 30ΤΙΠΟΤΑ 40ΤΙΠΟΤΑ 50ΤΙΠΟΤΑ 6060 ΚΑΦΕΣ Παράδειγμα: αυτόματος πωλητής καφέ

14 14 ΤΜΗΜΑ ΜΠΕΣ Αναπαράσταση μιας ΜΠΚ – Πίνακας  Μια ΜΠΚ μπορεί να αναπαρασταθεί με έναν πίνακα μετάβασης καταστάσεων κι έναν πίνακα εξόδου ή με τον συνδυασμό τους ΚατάστασηΕίσοδος abc S0S1S2S5 S1S2S3S6 S2S3S4S6 S3S4S5S6 S4S5S6 S5S6 S1S2S5 ΚατάστασηΈξοδος S00 S10 S20 S30 S40 S50 S61 ΚατάστασηΕίσοδοςΈξοδος abc S0S1S2S50 S1S2S3S60 S2S3S4S60 S3S4S5S60 S4S5S6 0 S5S6 0 S1S2S51 αρχική κατάσταση γράμματα εισόδου γράμματα εξόδου σύνολο καταστάσεων

15 15 ΤΜΗΜΑ ΜΠΕΣ γράφος μετάβασης καταστάσεων πίνακας μετάβασης καταστάσεων πίνακας εξόδου Αναπαράσταση μιας ΜΠΚ - Γράφος  Μια ΜΠΚ μπορεί να αναπαρασταθεί με έναν γράφο μετάβασης καταστάσεων

16 16 ΤΜΗΜΑ ΜΠΕΣ Παράδειγμα – Αυτόματος Πωλητής  Πως μπορεί να αναπαρασταθεί με γράφο η ΜΠΚ του αυτόματου πωλητή καφέ? ΚατάστασηΕίσοδοςΈξοδος abc S0S1S2S50 S1S2S3S60 S2S3S4S60 S3S4S5S60 S4S5S6 0 S5S6 0 S1S2S51

17 17 ΤΜΗΜΑ ΜΠΕΣ ΜΠΚ ως Μοντέλα Φυσικών Συστημάτων  Παράδειγμα: Μετρητής Υπόλοιπου (modulo) 3  Δέχεται μια ακολουθία από 0,1,2 ως είσοδο και παράγει μια ακολουθία από 0,1,2 ως έξοδο τέτοια ώστε σε κάθε στιγμή η έξοδος ισούται με το υπόλοιπο ως προς 3 όλων των ψηφίων που έχουν εισαχθεί μέχρι εκείνη τη στιγμή ΚατάστασηΕίσοδοςΈξοδος 012 ΑABC0 ΒBCA1 CCAB2 αρχική κατάσταση A/0 B/1 1 C/

18 18 ΤΜΗΜΑ ΜΠΕΣ ΜΠΚ ως Μοντέλα Φυσικών Συστημάτων  Παράδειγμα: Σύγκριση 2 Δυαδικών Αριθμών  Δέχεται δύο δυαδικούς αριθμούς και προσδιορίζει το μεγαλύτερο ή αν είναι ίσοι. Τα ψηφία των αριθμών εισάγονται ένα προς ένα αρχίζοντας από τη μικρότερη δύναμη του 2. Δηλ. το αλφάβητο εισόδου είναι {00,01,10,11} Κατάσταση Είσοδος 11 Έξοδος ΑACBA ΙΣΟΙ ΒBCBB ΜΕΓΑΛ CCCBC ΜΙΚΡΟΤ αρχική κατάσταση A/0 B/ C/2 00,11 00,01,11 00,10,

19 19 ΤΜΗΜΑ ΜΠΕΣ Ισοδύναμες Μηχανές  Δύο ΜΠΚ είναι ισοδύναμες όταν παράγουν την ίδια ακολουθία εξόδου κάθε φορά που ξεκινούν από την ίδια αρχική κατάσταση και τροφοδοτούνται με την ίδια ακολουθία εισόδου ΚατάστασηΕίσοδοςΈξοδος 12 ΑBC0 ΒFD0 CGE0 DHB0 EBF1 FDH0 GEB0 HBC1 ΚατάστασηΕίσοδοςΈξοδος 12 ΑBC0 ΒCD0 CDE0 DEB0 EBC1 αρχική κατάσταση Οι δύο μηχανές είναι ισοδύναμες

20 20 ΤΜΗΜΑ ΜΠΕΣ Ισοδύναμες Μηχανές  Ποιος είναι ο γράφος για τον καθένα από τους παρακάτω πίνακες? ΚατάστασηΕίσοδοςΈξοδος 12 ΑBC0 ΒFD0 CGE0 DHB0 EBF1 FDH0 GEB0 HBC1 ΚατάστασηΕίσοδοςΈξοδος 12 ΑBC0 ΒCD0 CDE0 DEB0 EBC1 αρχική κατάσταση

21 21 ΤΜΗΜΑ ΜΠΕΣ Ισοδύναμες Μηχανές - Παράδειγμα  Είναι οι παρακάτω μηχανές ισοδύναμες?

22 22 ΤΜΗΜΑ ΜΠΕΣ Ισοδύναμες Καταστάσεις  Πως μπορούμε να προσδιορίσουμε αν δύο μηχανές είναι ισοδύναμες?  μπορούμε να συγκρίνουμε τις ακολουθίες εξόδου που παράγουν για όλες τις πιθανές ακολουθίες εισόδου?  Με δεδομένη κάποια ΜΠΚ μπορούμε να κατασκευάσουμε μια ισοδύναμη της με λιγότερες καταστάσεις (αν αυτό είναι δυνατό)?  πολύ σημαντικό στην κατασκευή ΜΠΚ με υλικό! s i s j s i s j  Δύο καταστάσεις s i και s j μιας ΜΠΚ λέγονται ισοδύναμες αν για οποιαδήποτε ακολουθία εισόδου η μηχανή παράγει την ίδια ακολουθία εξόδου είτε ξεκινάει από την s i είτε ξεκινάει από την s j

23 23 ΤΜΗΜΑ ΜΠΕΣ Ισοδύναμες Καταστάσεις s i s j  Δύο ισοδύναμες καταστάσεις s i και s j μπορούν να συμπτυχθούν σε μία χωρίς να αλλάξει η συμπεριφορά της μηχανής s j s i s j  αφαιρούμε την s j και κατευθύνουμε προς την s i όλες τις μεταβάσεις που κατέληγαν στην s j ΚατάστασηΕίσοδοςΈξοδος 12 ΑBC0 ΒFD0 CGE0 DHB0 EBF1 FDH0 GEB0 HBC1 ΚατάστασηΕίσοδοςΈξοδος 12 ΑBC0 ΒCD0 CDE0 DEB0 EBC1 Οι C και F, D και G, E και H είναι ζεύγη ισοδύναμων καταστάσεων

24 24 ΤΜΗΜΑ ΜΠΕΣ Ισοδύναμες Καταστάσεις  Τι αντιπροσωπεύει η ισοδυναμία καταστάσεων σε ένα φυσικό σύστημα?  καταστάσεις που αναπαριστούν ισοδύναμες περιλήψεις της ιστορίας της ΜΠΚ ΚατάστασηΕίσοδοςΈξοδος 12 ΑBC0 ΒFD0 CGE0 DHB0 EBF1 FDH0 GEB0 HBC1 Οι C και F είναι καταστάσεις όπου το άθροισμα των ψηφίων είναι πολλαπλάσιο του Οι D και G, είναι καταστάσεις όπου το άθροισμα των ψηφίων είναι πολλαπλάσιο του Οι E και H είναι καταστάσεις όπου το άθροισμα των ψηφίων είναι πολλαπλάσιο του 4 Η μηχανή δέχεται ακολουθίες από 1 και 2 και παράγει 1 αν το άθροισμα όλων των ψηφίων που έχει δεχθεί διαιρείται με το 4

25 25 ΤΜΗΜΑ ΜΠΕΣ k-ισοδυναμία  Δύο καταστάσεις είναι 0-ισοδύναμες αν έχουν την ίδια έξοδο  Δύο καταστάσεις είναι 1-ισοδύναμες αν έχουν την ίδια έξοδο και για κάθε γράμμα εισόδου οι επόμενες καταστάσεις τους είναι 0-ισοδύναμες  Δύο καταστάσεις είναι k-ισοδύναμες αν έχουν την ίδια έξοδο και για κάθε γράμμα εισόδου οι επόμενες καταστάσεις τους είναι (k-1)-ισοδύναμες s i s j s i s j  αν δύο καταστάσεις s i και s j είναι k-ισοδύναμες τότε για κάθε ακολουθία εισόδου μήκους k ή λιγότερο η μηχανή θα παράγει τις ίδιες ακριβώς ακολουθίες εξόδου, ασχέτως αν ξεκινάει από την s i ή την s j

26 26 ΤΜΗΜΑ ΜΠΕΣ k-ισοδυναμία  Για την δίπλα μηχανή, οι καταστάσεις A και C είναι 0-ισοδύναμες και οι καταστάσεις G και H είναι 1-ισοδύναμες  Δύο καταστάσεις είναι ισοδύναμες αν είναι k- ισοδύναμες για όλα τα k ΚατάστασηΕίσοδοςΈξοδος 01 ΑBF0 ΒAF0 CGA0 DHB0 EAG0 FHC1 GAD1 HAC1

27 27 ΤΜΗΜΑ ΜΠΕΣ Σχέσεις Ισοδυναμίας s i s j s i s h s j s h  Αν δύο καταστάσεις s i και s j είναι k-ισοδύναμες και οι s i και s h είναι k-ισοδύναμες τότε και οι s j και s h είναι k-ισοδύναμες  Άρα μπορούμε να ορίσουμε μια σχέση ισοδυναμίας πάνω στο σύνολο όλων των καταστάσεων, ώστε δύο καταστάσεις να σχετίζονται αν είναι k- ισοδύναμες  η σχέση αυτή δημιουργεί μια διαμέριση του συνόλου των καταστάσεων η οποία συμβολίζεται π k ΚατάστασηΕίσοδοςΈξοδος 01 ΑBF0 ΒAF0 CGA0 DHB0 EAG0 FHC1 GAD1 HAC1 π 0 = {ΑBCDE FGH} π 1 = {ΑBE CD F GH} π 2 = {ΑB CD E F GH}

28 28 ΤΜΗΜΑ ΜΠΕΣ Υπολογισμών Σχέσεων Ισοδυναμίας  Θεώρημα: Δύο καταστάσεις βρίσκονται στο ίδιο σύμπλοκο στην π k αν και μόνο αν είναι στο ίδιο σύμπλοκο στην π k-1 και για οποιοδήποτε γράμμα εισόδου, οι ακόλουθες καταστάσεις τους είναι στο ίδιο σύμπλοκο στην π k-1  Το παραπάνω θεώρημα μας δίνει μια διαδικασία για τον υπολογισμό των διαμερίσεων π 0, π 1,..., π k διαδοχικά

29 29 ΤΜΗΜΑ ΜΠΕΣ Υπολογισμών Σχέσεων Ισοδυναμίας  π 0 = {ΑBCDE FGH}  Α,Β,C,D,E έχουν την ίδια έξοδο  F,G,H έχουν την ίδια έξοδο  Οι Α και Β είναι στο ίδιο σύμπλοκο στην π 1  Για είσοδο 0 έχουν ακόλουθες καταστάσεις Β και Α (που είναι στο ίδιο σύμπλοκο στην π 0 )  Για είσοδο 0 έχουν ακόλουθη κατάσταση F  Οι Α και Ε είναι στο ίδιο σύμπλοκο στην π 1  Είναι στο ίδιο σύμπλοκο στην π 0  Οι ακόλουθες καταστάσεις για είσοδο 0 είναι Β και Α και για είσοδο 1 είναι F και G  Οι Α και C δεν είναι στο ίδιο σύμπλοκο στην π 1  Γιατί? ΚατάστασηΕίσοδοςΈξοδος 01 ΑBF0 ΒAF0 CGA0 DHB0 EAG0 FHC1 GAD1 HAC1 Τελικά παίρνουμε π 1 = {ΑBE CD F GH}

30 30 ΤΜΗΜΑ ΜΠΕΣ Υπολογισμών Σχέσεων Ισοδυναμίας  Με παρόμοιο τρόπο παίρνουμε π 2 = {ΑBE CD F GH} και π 3 = {ΑBE CD F GH}  Παρατηρήσεις:  Αν η π k είναι ίση με την π k-1, τότε η π m είναι ίση με την π k-1 για όλα τα m  k (επειδή η π k+1 κατασκευάζεται από την π k με τον ίδιο τρόπο που κατασκευάζεται η π k από την π k-1 )  η διαδικασία κατασκευής σταματάει όταν δύο συνεχόμενες διαμερίσεις είναι ακριβώς ίδιες  Η είναι π k μια εκλέπτυνση της π k-1 (επειδή δύο καταστάσεις δεν μπορεί να είναι k-ισοδύναμες αν δεν είναι (k-1)-ισοδύναμες)  η διαδικασία κατασκευής δεν προχωράει πέρα από την π n-2, όπου n ο αριθμός καταστάσεων

31 31 ΤΜΗΜΑ ΜΠΕΣ Απλοποίηση μέσω Υπολογισμού Σχέσεων Ισοδυναμίας  Αλγόριθμος Υπολογισμού Διαμέρισης π 0 : s i s j  Πάρε κάθε ζευγάρι καταστάσεων s i και s j στη ΜΠΚ s i s j  Αν η s i δίνει διαφορετικές εξόδους από την s j, μάρκαρε τις ως μη- ισοδύναμες s i s j s i s j  Για κάθε ζευγάρι (s i, s j ) που δεν έχει ακόμα μαρκαριστεί, για κάθε είσοδο a, βρες το ζευγάρι καταστάσεων (g(s i,a), g(s j,a)) s i s j s i s j  Αν οι καταστάσεις g(s i,a) και g(s j,a) έχουν μαρκαριστεί ως μη- ισοδύναμες, μάρκαρε τις s i και s j ως μη-ισοδύναμες  Επανέλαβε μέχρι να μην είναι δυνατό περαιτέρω μαρκάρισμα  Ζευγάρια καταστάσεων που δεν έχουν μαρκαριστεί είναι ισοδύναμα. Απλοποίησε τη μηχανή (δηλ. δημιούργησε τη διαμέριση) ανάλογα

32 32 ΤΜΗΜΑ ΜΠΕΣ Απλοποίηση μέσω Υπολογισμού Σχέσεων Ισοδυναμίας  Παράδειγμα Απλοποίησης: Προκύπτει η διαμέριση π 0 = {s 1 s 2 s 3 s 4 } 1ο βήμα 2ο βήμα

33 33 ΤΜΗΜΑ ΜΠΕΣ Απλοποίηση μέσω Υπολογισμού Σχέσεων Ισοδυναμίας  Απλοποιημένη ΜΠΚ

34 34 ΤΜΗΜΑ ΜΠΕΣ Ντετερμινιστικές ΜΠΚ  Μια ΜΠΚ η οποία για κάθε κατάσταση έχει το πολύ μια μετάβαση από την κατάσταση αυτή προς κάποια άλλη για κάθε γράμμα εισόδου ονομάζεται ντετερμινιστική  Οποιαδήποτε άλλη ΜΠΚ ονομάζεται μη-ντετερμινιστική  Κάθε μη-ντετερμινιστική ΜΠΚ μπορεί να μετατραπεί σε ντετερμινιστική 01 a 23 b aa,b Μη-ντετερμινιστική ΜΠΚ


Κατέβασμα ppt "1 ΤΜΗΜΑ ΜΠΕΣ Διακριτά Μαθηματικά ΙI Μηχανές Πεπερασμένων Καταστάσεων Κώστας Στεργίου Λέκτορας Τμήμα Μηχανικών Πληροφοριακών & Επικοινωνιακών Συστημάτων."

Παρόμοιες παρουσιάσεις


Διαφημίσεις Google