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

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

Θεωρία Υπολογισμού Λήμμα της Άντλησης. Είναι οι παρακάτω γλώσσες κανονικές; L = {0 n 1 n | n ≥ 0} L = { w | w ίδιο πλήθος 0 και 1} L = { w | w ίδιο πλήθος.

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


Παρουσίαση με θέμα: "Θεωρία Υπολογισμού Λήμμα της Άντλησης. Είναι οι παρακάτω γλώσσες κανονικές; L = {0 n 1 n | n ≥ 0} L = { w | w ίδιο πλήθος 0 και 1} L = { w | w ίδιο πλήθος."— Μεταγράφημα παρουσίασης:

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 Βασική ιδέα Βρες μια ιδιότητα που έχουν όλες οι κανονικές γλώσσες Αν η μια γλώσσα δεν ικανοποιεί την ιδιότητα αυτή τότε δεν είναι κανονική κανονικό σύνολο -> λήμμα της άντλησης -(λήμμα της άντλησης) -> -(κανονικό σύνολο)

5

6

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

9 Παράδειγμα - Παλίνδρομο Το ΠΑ έχει κ καταστάσεις Έστω z = 00…00100…00 παλίνδρομο με τουλάχιστον ν σύμβολα


Κατέβασμα ppt "Θεωρία Υπολογισμού Λήμμα της Άντλησης. Είναι οι παρακάτω γλώσσες κανονικές; L = {0 n 1 n | n ≥ 0} L = { w | w ίδιο πλήθος 0 και 1} L = { w | w ίδιο πλήθος."

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


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