Θεωρία Υπολογισμού Πεπερασμένα Αυτόματα. Η κλάση των κανονικών γλωσσών είναι κλειστή ως προς την ένωση.

Παρουσίαση με θέμα: "Θεωρία Υπολογισμού Πεπερασμένα Αυτόματα. Η κλάση των κανονικών γλωσσών είναι κλειστή ως προς την ένωση."— Μεταγράφημα παρουσίασης:

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

2 Η κλάση των κανονικών γλωσσών είναι κλειστή ως προς την ένωση

3 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}

4 Q = {(r 1, r 2 ) | r 1 ∈ Q 1 και r 2 ∈ Q 2 } Σ = Σ 1 ∪ Σ 2 δ((r 1, r 2 ), a) = (δ 1 (r 1, a), δ 2 (r 2, a)) q 0 = (q 1, q 2 ) F = {(r 1, r 2 ) | r 1 ∈ F 1 ή r 2 ∈ F 2 }

5 L 1, L 2 κανονικές -> L 1 UL 2 κανονική L 1 = {w | |w| μονό και ξεκινά με «0» ή ζυγό και ξεκινά με «1»} L 2 = {w | w = ε ή έχει «1» σε κάθε μονή του θέση}

6

7 L 1, L 2 κανονικές -> L 1 ∩L 2 κανονική

8 L 1, L 2 κανονικές -> L 1 UL 2 κανονική

9 Η κλάση των κανονικών γλωσσών είναι κλειστή ως προς την συναρμογή

10 Ανταιτιοκρατικα πεπερασμένα αυτόματα Από μια κατάσταση ξεκινούν περισσότερα από ένα βέλη μετάβασης Η κενή λέξη ε

11 Υπολογισμοί

12 Παράδειγμ α (010110)

13 Παράδειγμα Αναγνωρίζει λέξεις με 1 στην τρίτη θέση (από το τέλος)

14 Παράδειγμα (συνέχεια)

15 Παράδειγμα Αναγνωρίζει λέξεις με 1 στην τρίτη θέση Αναγνωρίζει λέξεις ;;;, ε

16 Παράδειγμα (μονοσυμβολικό)

17 Παράδειγμα ε, a, baba, baa b, bb