Θεωρία Υπολογισμού Πεπερασμένα Αυτόματα. Σχεδιάστε το αυτόματο που αναγνωρίζει L = {w | w περιέχει την υπολέξη «001»}

Παρουσίαση με θέμα: "Θεωρία Υπολογισμού Πεπερασμένα Αυτόματα. Σχεδιάστε το αυτόματο που αναγνωρίζει L = {w | w περιέχει την υπολέξη «001»}"— Μεταγράφημα παρουσίασης:

1 Θεωρία Υπολογισμού Πεπερασμένα Αυτόματα

2 Σχεδιάστε το αυτόματο που αναγνωρίζει L = {w | w περιέχει την υπολέξη «001»}

3 Σχεδιάστε το αυτόματο που αναγνωρίζει L = {w | w = ε ή έχει «1» σε κάθε μονή του θέση}

4 Σχεδιάστε το αυτόματο που αναγνωρίζει L = {w | w δεν είναι οι λέξεις «11» ή «111»}

5 Αποδείξτε ότι το αυτόματο …

6 Ορισμοί Μια γλώσσα είναι κανονική αν την αναγνωρίζει κάποιο Πεπερασμένο Αυτόματο Η γλώσσα L(A) που αναγνωρίζεται από ένα Πεπερασμένο Αυτόματο Α είναι κανονική

7

8 Θεώρημα Οι κανονικές γλώσσες είναι κλειστές ως προς την ένωση

9 L 1, L 2 κανονικές -> L=L 1 UL 2 κανονική P 1 = {Q 1,Σ 1,δ,q 1,F 1 } P 2 = {Q 2,Σ 2,δ,q 2,F 2 } P = {Q,Σ,δ,q,F}

10 Ασκήσεις (1/2) Σχεδιάστε αυτόματα τέτοια ώστε να δέχονται τις εξής γλώσσες: 1.{ λ ∈ {α, β}* : κάθε α στην λέξη λ εμφανίζεται μόνον μετά και πρίν από ένα β } 2.{ λ ∈ {α, β}* : η λέξη λ δεν περιέχει την (υπο)λέξη ββα } 3.{ λ ∈ {α, β}* : η λέξη λ δεν περιέχει ούτε την (υπο)λέξη ααα ούτε την ββ }. 4.{ λ ∈ {α, β}* : η λέξη λ περιέχει άρτιο πλήθος από α και περιττό από β }

11 Ασκήσεις (2/2) Περιγράψτε το ποιές γλώσσες επί του Σ = { α, β } αποδέχονται τα παρακάτω αυτόματα:

12 Άσκηση (Προαιρετική) Ποιο αυτόματο αναγνωρίζει την L = {w | w ≠ ε};