Θεωρία Υπολογισμού Πεπερασμένα Αυτόματα
Η κλάση των κανονικών γλωσσών είναι κλειστή ως προς την ένωση
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}
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 }
L 1, L 2 κανονικές -> L 1 UL 2 κανονική L 1 = {w | |w| μονό και ξεκινά με «0» ή ζυγό και ξεκινά με «1»} L 2 = {w | w = ε ή έχει «1» σε κάθε μονή του θέση}
L 1, L 2 κανονικές -> L 1 ∩L 2 κανονική
L 1, L 2 κανονικές -> L 1 UL 2 κανονική
Η κλάση των κανονικών γλωσσών είναι κλειστή ως προς την συναρμογή
Ανταιτιοκρατικα πεπερασμένα αυτόματα Από μια κατάσταση ξεκινούν περισσότερα από ένα βέλη μετάβασης Η κενή λέξη ε
Υπολογισμοί
Παράδειγμ α (010110)
Παράδειγμα Αναγνωρίζει λέξεις με 1 στην τρίτη θέση (από το τέλος)
Παράδειγμα (συνέχεια)
Παράδειγμα Αναγνωρίζει λέξεις με 1 στην τρίτη θέση Αναγνωρίζει λέξεις ;;;, ε
Παράδειγμα (μονοσυμβολικό)
Παράδειγμα ε, a, baba, baa b, bb