Θεωρία Υπολογισμού Πεπερασμένα Αυτόματα
Σχεδιάστε το αυτόματο που αναγνωρίζει L = {w | w περιέχει την υπολέξη «001»}
Σχεδιάστε το αυτόματο που αναγνωρίζει L = {w | w = ε ή έχει «1» σε κάθε μονή του θέση}
Σχεδιάστε το αυτόματο που αναγνωρίζει L = {w | w δεν είναι οι λέξεις «11» ή «111»}
Αποδείξτε ότι το αυτόματο …
Ορισμοί Μια γλώσσα είναι κανονική αν την αναγνωρίζει κάποιο Πεπερασμένο Αυτόματο Η γλώσσα L(A) που αναγνωρίζεται από ένα Πεπερασμένο Αυτόματο Α είναι κανονική
Θεώρημα Οι κανονικές γλώσσες είναι κλειστές ως προς την ένωση
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}
Ασκήσεις (1/2) Σχεδιάστε αυτόματα τέτοια ώστε να δέχονται τις εξής γλώσσες: 1.{ λ ∈ {α, β}* : κάθε α στην λέξη λ εμφανίζεται μόνον μετά και πρίν από ένα β } 2.{ λ ∈ {α, β}* : η λέξη λ δεν περιέχει την (υπο)λέξη ββα } 3.{ λ ∈ {α, β}* : η λέξη λ δεν περιέχει ούτε την (υπο)λέξη ααα ούτε την ββ }. 4.{ λ ∈ {α, β}* : η λέξη λ περιέχει άρτιο πλήθος από α και περιττό από β }
Ασκήσεις (2/2) Περιγράψτε το ποιές γλώσσες επί του Σ = { α, β } αποδέχονται τα παρακάτω αυτόματα:
Άσκηση (Προαιρετική) Ποιο αυτόματο αναγνωρίζει την L = {w | w ≠ ε};