Σειρά Προβλημάτων 1 Λύσεις

Σχετικά έγγραφα
Σειρά Προβλημάτων 1 Λύσεις

Σειρά Προβλημάτων 1 Λύσεις

Σειρά Προβλημάτων 1 Λύσεις

Φροντιστήριο 2 Λύσεις

Φροντιστήριο 2 Λύσεις

Σειρά Προβλημάτων 1 Λύσεις

Σειρά Προβλημάτων 1 Λύσεις

Σειρά Προβλημάτων 1 Λύσεις

Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (1)

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ

Σειρά Προβλημάτων 3 Λύσεις

Σειρά Προβλημάτων 3 Λύσεις

Σειρά Προβλημάτων 4 Λύσεις

Σειρά Προβλημάτων 4 Λύσεις

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 4: Μη Ντετερμινιστικά (Αντιαιτιοκρατικά) Πεπερασμένα Αυτόματα (ΝFA)

Σειρά Προβλημάτων 3 Λύσεις

Φροντιστήριο 9 Λύσεις

Σειρά Προβλημάτων 3 Λύσεις

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 3: Ντετερμινιστικά Πεπερασμένα Αυτόματα (DFA)

Φροντιστήριο 10 Λύσεις

Η δυαδική σχέση M ( «παράγει σε ένα βήμα» ) ορίζεται ως εξής: (q, w) M (q, w ), αν και μόνο αν w = σw, για κάποιο σ Σ

Φροντιστήριο 7 Λύσεις

Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (2)

HEAD INPUT. q0 q1 CONTROL UNIT

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 5: Κανονικές Εκφράσεις

Άσκησηη 1. (α) Το αυτόματο. (γ) Να δείξετε όλα aabbb. Λύση. λέξεις. αυτόματο. (β) Τυπικά. μεταβάσεων δ. ορίζεται. (γ) Θα δείξουμε τα.

Σειρά Προβλημάτων 3 Λύσεις

Σειρά Προβλημάτων 4 Λύσεις

Σειρά Προβλημάτων 5 Λύσεις

Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Θεωρία Υπολογισμού. Ενότητα 8 : Αυτόματα NFA - DFA. Αλέξανδρος Τζάλλας

Ισοδυναμία Αιτ. Και μη Αιτ. Π.Α.

Σειρά Προβλημάτων 4 Λύσεις

Σειρά Προβλημάτων 5 Λύσεις

Ασκήσεις από παλιές εξετάσεις

Σειρά Προβλημάτων 5 Λύσεις

Σειρά Προβλημάτων 4 Λύσεις

Αυτόματα. Παράδειγμα: πωλητής καφέ (iii) Παράδειγμα: πωλητής καφέ (iv) Εισαγωγή στην Επιστήμη των Υπολογιστών 6

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

Σειρά Προβλημάτων 4 Λύσεις

Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (2)

Σειρά Προβλημάτων 3 Λύσεις

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

Εισαγωγή στην Επιστήμη των Υπολογιστών

Θεωρία Υπολογισμού και Πολυπλοκότητα

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 2: Μαθηματικό Υπόβαθρο

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Επανάληψη Μαθήματος

Σειρά Προβλημάτων 4 Λύσεις

Σύνοψη Προηγούµενου. Κανονικές Γλώσσες (1) Προβλήµατα και Γλώσσες. Σε αυτό το µάθηµα. ιαδικαστικά του Μαθήµατος.

Πεπερασμένα Αυτόματα. ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών

Σειρά Προβλημάτων 4 Λύσεις

Αυτόματα. Παράδειγμα: πωλητής καφέ (iii) Παράδειγμα: πωλητής καφέ (iv) Εισαγωγή στην Επιστήμη των Υπολογιστών. Προδιαγραφές

Ασκήσεις Επανάληψης. Επανάληψη Εαρινό Εξάμηνο 2019 Σελίδα 1

Θεωρία Υπολογισμού και Πολυπλοκότητα

Εισαγωγή στην Επιστήμη των Υπολογιστών

Αυτόματα και Υπολογιστικά Μοντέλα Automata and Models of Computation

Στοιχεία Θεωρίας Υπολογισµού (2): Πεπερασµένα Αυτόµατα, Κανονικές Εκφράσεις

Σειρά Προβλημάτων 4 Λύσεις

Σειρά Προβλημάτων 5 Λύσεις

Θεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο

Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (2)

Αλγόριθμοι για αυτόματα

Σειρά Προβλημάτων 5 Λύσεις

Σειρά Προβλημάτων 3 Λύσεις

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 12: Μηχανές Turing

Ποιές οι θεµελιώδεις δυνατότητες και ποιοί οι εγγενείς περιορισµοί των υπολογιστών ; Τί µπορούµε και τί δε µπορούµε να υπολογίσουµε (και γιατί);

Στοιχεία Θεωρίας Υπολογισµού (1): Τυπικές Γλώσσες, Γραµµατικές

Σειρά Προβλημάτων 3 Λύσεις

q 0 q 0.2 q 0.1 q 0.05 q 0.05 q 0.25 q 0.15 q 0.1 q 0.2 q 0.25 q 0.25 q 0.25

Κανονικές Γλώσσες. ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών

ΠΛΗ30 ΕΝΟΤΗΤΑ 3: ΚΑΝΟΝΙΚΕΣ ΓΛΩΣΣΕΣ. Μάθηµα 3.2: ηµήτρης Ψούνης

Φροντιστήριο 6 Λύσεις

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ

Θεωρία Υπολογισμού. Ενότητα 7 : Ντετερμινιστικά Πεπερασμένα Αυτόματα, Κανονικές Πράξεις. Αλέξανδρος Τζάλλας

Φροντιστήριο 8 Λύσεις

Φροντιστήριο 11 Λύσεις

Σειρά Προβλημάτων 5 Λύσεις

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

Μεταγλωττιστές. Ενότητα 4: Τυπικές γλώσσες (Μέρος 3 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ

Φροντιστήριο 8 Λύσεις

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

d k 10 k + d k 1 10 k d d = k i=0 d i 10 i.

Κανονικές Γλώσσες. Κανονικές Γλώσσες. Κανονικές Γλώσσες και Αυτόματα. Κανονικές Γλώσσες και Αυτόματα

Σύνοψη Προηγούµενου. Κανονικές Γλώσσες (3) Παραδείγµατα µε Κανονικές Εκφράσεις. Σε αυτό το µάθηµα.

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ

Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Θεωρία Υπολογισμού. Ενότητα 11 : Γραμματικές χωρίς συμφραζόμενα. Αλέξανδρος Τζάλλας

Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Θεωρία Υπολογισμού. Ενότητα 3 : Γραφήματα & Αποδείξεις. Αλέξανδρος Τζάλλας

ΠΑΝΕΠΙΣΤΗΜΙΟ ΜΑΚΕΔΟΝΙΑΣ ΟΙΚΟΝΟΜΙΚΩΝ ΚΑΙ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 6: Μη Κανονικές Γλώσσες

Θεωρία Υπολογισµού και Πολυπλοκότητα

Απάντηση: (func endfunc)-([a-za-z])+

Σειρά Προβλημάτων 5 Λύσεις

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Cretive Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύπ

Μεταγλωττιστές. Ενότητα 2: Τυπικές γλώσσες (Μέρος 1 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 10: Αυτόματα Στοίβας II

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (1)

ΜΑΘΗΜΑΤΙΚΑ Θετικής & Τεχνολογικής Κατεύθυνσης Β ΜΕΡΟΣ (ΑΝΑΛΥΣΗ) ΚΕΦ 1 ο : Όριο Συνέχεια Συνάρτησης

Μοντελοποίηση Υπολογισμού. Γραμματικές Πεπερασμένα Αυτόματα Κανονικές Εκφράσεις

Θεωρία Υπολογισμού. Ασκήσεις. Δρ. Τζάλλας Αλέξανδρος, Καθηγητής Εφαρμογών. Τμ. Μηχανικών Πληροφορικής Τ.Ε.

ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ

Transcript:

Σειρά Προβλημάτων Λύσεις Άσκηση Ορίζουμε τη συναρμογή δύο γλωσσών Α και Β ως ΑΒ = { uv u A, v B }. (α) Έστω Α = {α,β,γ} και Β =. Να περιγράψετε τη γλώσσα ΑΒ. (β) Θεωρήστε τις γλώσσες L, M και N. Να δείξετε ότι L(M N) LM LN. (γ) Επιπλέον, να δείξετε ότι η αντίστροφη σχέση, δηλαδή L(M N) LM LN, δεν ισχύει επιδεικνύοντας κατάλληλο αντιπαράδειγμα. Λύση (α) Η γλώσσα ΑΒ περιέχει όλες τις λέξεις με δύο χαρακτήρες, ο πρώτος από τους οποίους είναι ένα από τα α, β και γ, και ο δεύτερος χαρακτήρας είναι ένας θετικός ακέραιος. (β) Θα δείξουμε ότι για οποιοδήποτε στοιχείο x L(M N) ισχύει ότι x LM LN. Έστω x L(M N). Τότε, πρέπει να ισχύει ότι x = yz όπου y L και z M N. Αφού z M N, έχουμε ότι z M και z N. Επομένως yz LM και yz LΝ και κατ επέκταση x = yz LM LN. (γ) Αντιπαράδειγμα: L = {, }, M = {}, N = {} Για τα πιο πάνω σύνολα ισχύει L(M N) = {, }({} {}) = {, }{} = {} LM LN = = {, }{} {, }{} = {,} {,} = {} και προφανώς το σύνολο L(M N) ΔΕΝ είναι υπερσύνολο του LM LN. Άσκηση 2 Υποθέστε ότι το σύνολο L είναι μια γλώσσα επί του αλφαβήτου {, } τα στοιχεία του οποίου είναι ακριβώς οι λέξεις που παράγονται από τους πιο κάτω κανόνες: () ε L, L, L, (2) Αν u L τότε u L. () Αν u L τότε u L. (α) Να αποδείξετε ότι κάθε λέξη w L είναι καρκινική. (β) Να αποδείξετε ότι αν η w είναι μια καρκινική λέξη, τότε w L. [Μια λέξη ονομάζεται καρκινική (ή παλίνδρομο) αν διαβάζεται το ίδιο από αριστερά στα δεξιά και αντίστροφα.] Λύση Θα αποδειξουμε την πρόταση με επαγωγή στο μήκος της w. Βάση της Επαγωγής: Αν w =, τότε w = ε και w L, βάσει του κανόνα (). Αφού η λέξη ε είναι καρκινική λέξη (παλίνδρομο) το ζητούμενο έπεται. Επαγωγική Υπόθεση: Ας υποθέσουμε ότι για κάθε w L, w < k, k >, ισχύει ότι η w είναι καρκινική. Λύσεις Σειράς Προβλημάτων Εαρινό Εξάμηνο 29 Σελίδα

Επαγωγικό Βήμα: Θεωρούμε μια λέξη w L, w = k >. Πρέπει να δείξουμε ότι η w είναι καρκινική. Ξεχωρίζουμε τρεις περιπτώσεις: Αν η w παράχθηκε από τον κανόνα, αφού το μήκος της w είναι μεγαλύτερο από, τότε w = ή w =. Και στις δύο περιπτώσεις η w είναι παλίνδρομο και το συμπέρασμα έπεται. Αν η w παράχθηκε από τον κανόνα 2, τότε w = u, για κάποιο u L. Από την υπόθεση της επαγωγής, πρέπει να ισχύει ότι u παλίνδρομο. Επομένως, και η λέξη w = u είναι παλίνδρομο και το ζητούμενο έπεται. Αν η w παράχθηκε από τον κανόνα, τότε w = u, για κάποιο u L. Από την υπόθεση της επαγωγής, πρέπει να ισχύει ότι u παλίνδρομο. Επομένως, και η λέξη w = u είναι παλίνδρομο και το ζητούμενο έπεται. Αυτό ολοκληρώνει την απόδειξη. (β) Η απόδειξη θα γίνει και πάλι με επαγωγή πάνω στο μήκος της λέξης w. Βάση της Επαγωγής: Αν w =, τότε απαραίτητα w = ε. Αφού η κενή λέξη παράγεται από τον κανόνα () τότε ανήκει στο σύνολο L και το ζητούμενο έπεται. Παρόμοια, για w = όπου w = ή w =. Και οι δύο αυτές καρκινικές λέξεις παράγονται από τον κανόνα () και επομένως ανήκουν στο σύνολο L. Συνεπώς, το ζητούμενο έπεται. Επαγωγική Υπόθεση: Ας υποθέσουμε ότι για κάθε καρκινική λέξη w όπου w < k, ισχύει ότι w L. Επαγωγικό Βήμα: Θεωρούμε καρκινική λέξη w όπου w = k >. Πρέπει να δείξουμε ότι w L. Ξεχωρίζουμε δύο περιπτώσεις: Αφού η w είναι καρκινική, τότε μπορεί να γραφτεί είτε ως u είτε ως u όπου u επίσης καρκινική λέξη. Από την υπόθεση της επαγωγής, αφού η u είναι καρκινική και έχει μήκος k 2 (μικρότερο από k) η λέξη u ανήκει στο σύνολο L, δηλαδή, αποτελεί λέξη που παράγεται από τους κανόνες. Αυτό όμως μας οδηγεί στο συμπέρασμα, με εφαρμογή του κανόνα (), ότι και η λέξη w, μπορεί να παραχθεί από τους κανόνες. Συνεπώς, w L και το ζητούμενο έπεται. Αυτό ολοκληρώνει την απόδειξη. Λύσεις Σειράς Προβλημάτων Εαρινό Εξάμηνο 29 Σελίδα 2

Άσκηση Για κάθε ένα από τα πιο κάτω πεπερασμένα αυτόματα να παρουσιάσετε το αυτόματο μέσω του τυπικού ορισμού και να υπολογίσετε τη γλώσσα που αναγνωρίζει. (α) (β) 2,, 2, (γ) 2 5 6 (α) Ο τυπικός ορισμός του αυτόματου είναι: Μ = ({,2,,}, {,}, δ,, {}) όπου η σχέση μεταβάσεων δ δίνεται στον πιο κάτω πίνακα. δ 2 2 2 2 2 2 Το αυτόματο αποδέχεται όλες τις λέξεις που ξεκινούν με, συνεχίζουν με επαναλήψεις της υπολέξης και τελειώνουν σε. (β) Ο τυπικός ορισμός του αυτόματου είναι: Μ = ({,2,,}, {,}, δ,, {}) όπου η σχέση μεταβάσεων δ δίνεται στον πιο κάτω πίνακα. δ 2 2 7 Λύσεις Σειράς Προβλημάτων Εαρινό Εξάμηνο 29 Σελίδα

Το αυτόματο αποδέχεται όλες τις λέξεις που μπορούν να κτιστούν με μηδέν ή περισσότερες επαναλήψεις των συμβολοσειρών και (σε τυχαία σειρά). (γ) Ο τυπικός ορισμός του αυτόματου είναι: Μ = ({,2,,,5,6,7}, {}, δ,, {,,5,6}) όπου η σχέση μεταβάσεων δ δίνεται στον πιο κάτω πίνακα. δ 2 2 5 5 6 6 7 7 5 Το αυτόματο αποδέχεται την πιο κάτω γλώσσα: L = {ε, } { +k, 5+k k } Άσκηση Για κάθε μια από τις πιο κάτω γλώσσες, να κατασκευάσετε ντετερμινιστικό πεπερασμένο αυτόματο που να την αναγνωρίζει. Σε κάθε περίπτωση να δείχνετε: () τον τυπικό ορισμό του αυτομάτου και (2) το διάγραμμα καταστάσεων. (α) { m n m, n, m+n περιττός ακέραιος} (β) { w η w είναι μια μη κενή λέξη επί του αλφάβητου {,} η οποία περιέχει άρτιο αριθμό από και περιττό αριθμό από } (γ) { w η w είναι μια μη κενή λέξη επί του αλφάβητου {,} η οποία περιέχει τουλάχιστον ένα σε κάθε πεντάδα συνεχόμενων στοιχείων μετά από το πρώτο } (δ) {w η w είναι λέξη επί του αλφάβητου {,} η οποία περιέχει τη συμβολοσειρά για άρτιο αριθμό φορών και δεν περιέχει τη συμβολοσειρά } Λύση (α) Διάγραμμα καταστάσεων: Λύσεις Σειράς Προβλημάτων Εαρινό Εξάμηνο 29 Σελίδα

2, 5 Τυπικός ορισμός: (Q, Σ, δ,, F), όπου Q = {, 2,,, 5} Σ = {, } F = {2, } δ όπως ορίζεται στον πίνακα που ακολουθεί: δ 2 2 5 5 5 5 5 (β) Διάγραμμα καταστάσεων: q q q 2 q Τυπικός ορισμός: (Q, Σ, δ, q, F), όπου Q = {q, q 2, q, q } Σ = {,} F = {q 2} δ όπως ορίζεται στον πίνακα που ακολουθεί: Λύσεις Σειράς Προβλημάτων Εαρινό Εξάμηνο 29 Σελίδα 5

δ q q q 2 q 2 q q q q q q q 2 q (γ) Διάγραμμα καταστάσεων: 2 5 6 7, Τυπικός ορισμός: (Q, Σ, δ, 2, F), όπου Q = {, 2,,, 5, 6, 7} Σ = {, } F = {, 2,,, 5, 6 } δ όπως ορίζεται στον πίνακα που ακολουθεί: (δ) Διάγραμμα καταστάσεων: δ 2 2 2 2 2 5 5 2 6 6 2 7 7 7 7 Λύσεις Σειράς Προβλημάτων Εαρινό Εξάμηνο 29 Σελίδα 6

2 5 6 8, 7 Τυπικός ορισμός: (Q, Σ, δ,, F), όπου Q = {, 2,,, 5, 6, 7, 8} Σ = {, } F = {, 2,, 6, 7 } δ όπως ορίζεται στον πίνακα που ακολουθεί: Άσκηση 5 δ 2 2 2 8 5 5 6 8 6 6 7 7 8 8 8 8 Θεωρήστε τρεις κανονικές γλώσσες L, L 2 και L. Να αποδείξετε ότι η γλώσσα (L L 2) L είναι επίσης μια κανονική γλώσσα. Λύση Η απόδειξη είναι κατασκευαστική. Συγκεκριμένα θα δείξουμε ότι αν υπάρχουν DFA που αναγνωρίζουν τις γλώσσες L, L 2 και L, τότε υπάρχει DFA που αναγνωρίζει τη γλώσσα (L L 2) L. Η βασική ιδέα της κατασκευής είναι ότι, για να παρακολουθεί το καινούριο αυτόματο την εξέλιξη των τριών επιμέρους αυτομάτων, οι καταστάσεις του θα αποτελούν τριάδες κάθε στοιχείο της οποίας θα αντιστοιχεί στην κατάσταση στην οποία θα βρισκόταν το κάθε ένα από τα τρία αυτόματα τη συγκεκριμένη στιγμή της εκτέλεσης. Το καινούριο αυτόματο θα αποδέχεται όταν βρίσκεται σε καταστάσεις όπου τα πρώτα δύο αυτόματα βρίσκονται σε τελική κατάσταση και το τρίτο αυτόματο βρίσκεται σε μη τελική κατάσταση. Επομένως, θα αποδέχεται όταν τα δύο πρώτα αυτόματα αποδέχονται τη λέξη και το τρίτο την απορρίπτει (δηλαδή, αν η λέξη ανήκει στο σύνολο γλώσσα (L L 2) L ). Λύσεις Σειράς Προβλημάτων Εαρινό Εξάμηνο 29 Σελίδα 7

Ας υποθέσουμε ότι τα αυτόματα Μ = (Q, Σ, δ, q, F ), Μ 2 = (Q 2, Σ, δ 2, q 2, F 2) και Μ = (Q, Σ, δ, q, F ) αναγνωρίζουν τις γλώσσες L, L 2 και L, αντίστοιχα. Κατασκευάζουμε το Μ = (Q, Σ, δ, q, F) ως εξής: Q = {(r, r 2, r ) r Q, r 2 Q 2, r Q } Σ: το αλφάβητο είναι το ίδιο με αυτό των Μ, Μ 2 και Μ. Για κάθε (r, r 2, r ) Q και Σ, θέτουμε δ((r, r 2, r ), ) = (δ (r, ), δ 2(r 2, ), δ (r, )) q = (q, q 2, q ) F = {(r, r 2, r ) Q r F, r 2 F 2, r F } Απομένει να επιβεβαιώσουμε ότι για οποιαδήποτε λέξη w επί του αλφάβητου Σ w L(Μ) αν και μόνο αν w (L L 2) L. Ας υποθέσουμε ότι w = w w 2 w n L(Μ). Τότε, υπάρχει ακολουθία καταστάσεων r, r,, r n του που ικανοποιεί τις συνθήκες:. r = 2. δ,, για i =,,n, και. r n F Επομένως, υπάρχει ακολουθία τριάδων καταστάσεων (p, s, t ), (p, s, t ),, (p n, s n, t n) του όπου για κάθε i, p i Q, s i Q2, t i Q, και όπου η ακολουθία αυτή ικανοποιεί τις συνθήκες:. (p, s, t ) =,, 2.,,,,, για i =,,n, και. p n F, s n F 2, t n F 2. Κατά συνέπεια, υπάρχει ακολουθία καταστάσεων p, p,, p n, του Q που ικανοποιεί τις συνθήκες. p = 2.,, για i =,,n, και. p n F Παρόμοια, υπάρχει ακολουθία καταστάσεων s, s,, s n, του Q2 που ικανοποιεί τις συνθήκες. s = 2.,, για i =,,n, και. s n F 2 ενώ, υπάρχει ακολουθία καταστάσεων t, t,, t n, του Q που ικανοποιεί τις συνθήκες. t = 2.,, για i =,,n, και. t n F Αυτό συνεπάγεται ότι w L(Μ ), w L(Μ 2) και w L(Μ ). Επομένως, αν w L(Μ) τότε w (L L 2) L. Αντιστρέφοντας τα πιο πάνω επιχειρήματα, λαμβάνουμε ότι αν w (L L 2) L τότε w L(Μ), και το ζητούμενο έπεται. Λύσεις Σειράς Προβλημάτων Εαρινό Εξάμηνο 29 Σελίδα 8