Κατέβασμα παρουσίασης
Η παρουσίαση φορτώνεται. Παρακαλείστε να περιμένετε
1
Θεωρία Υπολογισμού Λήμμα της Άντλησης
2
Είναι οι παρακάτω γλώσσες κανονικές; L = {0 n 1 n | n ≥ 0} L = { w | w ίδιο πλήθος 0 και 1} L = { w | w ίδιο πλήθος 01 και 1}
3
ΔΕΝ Αποδείξτε ότι η γλώσσα L ΔΕΝ είναι κανονική L = {0 n 1 n | n ≥ 0}
4
Βασική ιδέα Βρες μια ιδιότητα που έχουν όλες οι κανονικές γλώσσες Αν η μια γλώσσα δεν ικανοποιεί την ιδιότητα αυτή τότε δεν είναι κανονική κανονικό σύνολο -> λήμμα της άντλησης -(λήμμα της άντλησης) -> -(κανονικό σύνολο)
7
Λήμμα της άντλησης
8
L = { a n b n | n>=1} Έστω ότι η L είναι κανονική. Υπάρχει ΠΑ με k καταστάσεις Επιλέγω w=a k b k Το χωρίζω σε τρία μέρη w=xyz : |xy| 0 Υποθέτω ότι το xy περιέχει μόνον 'a’ x=a t, t<k, y=a p, p<k και (t+p)<=k z=a k-(t+p) b k Αντικαθιστώ και έχω w=xy i z=(a t )(a p ) i (a k-(t+p) b k ) Θέτω i=0, και παίρνω w=a k-p b k η οποία δεν ανήκει στο L. Η L δεν είναι κανονική
9
Παράδειγμα - Παλίνδρομο Το ΠΑ έχει κ καταστάσεις Έστω z = 00…00100…00 παλίνδρομο με τουλάχιστον ν σύμβολα
Παρόμοιες παρουσιάσεις
