Θεωρία Υπολογισμού Λήμμα της Άντλησης
Είναι οι παρακάτω γλώσσες κανονικές; L = {0 n 1 n | n ≥ 0} L = { w | w ίδιο πλήθος 0 και 1} L = { w | w ίδιο πλήθος 01 και 1}
ΔΕΝ Αποδείξτε ότι η γλώσσα L ΔΕΝ είναι κανονική L = {0 n 1 n | n ≥ 0}
Βασική ιδέα Βρες μια ιδιότητα που έχουν όλες οι κανονικές γλώσσες Αν η μια γλώσσα δεν ικανοποιεί την ιδιότητα αυτή τότε δεν είναι κανονική κανονικό σύνολο -> λήμμα της άντλησης -(λήμμα της άντλησης) -> -(κανονικό σύνολο)
Λήμμα της άντλησης
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 δεν είναι κανονική
Παράδειγμα - Παλίνδρομο Το ΠΑ έχει κ καταστάσεις Έστω z = 00…00100…00 παλίνδρομο με τουλάχιστον ν σύμβολα