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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Αριθμήσιμα σύνολα. Μαθηματικά Πληροφορικής 5ο Μάθημα. Παραδείγματα αριθμήσιμων συνόλων. Οι ρητοί αριθμοί

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

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

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

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

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

HEAD INPUT. q0 q1 CONTROL UNIT

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

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

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

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

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

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

Παράδειγμα δομικής επαγωγής Ορισμός δομικής επαγωγής Συμβολοσειρές Γλώσσες Δυαδικά δένδρα Μαθηματικά Πληροφορικής 3ο Μάθημα Αρχικός συγγραφέας: Ηλίας

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

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

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

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

Φροντιστήριο #4 Λυμένες Ασκήσεις Μαθηματική Επαγωγή 13/3/2018

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

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

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

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

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

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

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

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

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

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

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

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

Παράδειγμα δομικής επαγωγής Ορισμός δομικής επαγωγής Συμβολοσειρές Γλώσσες Δυαδικά δένδρα Μαθηματικά Πληροφορικής 3ο Μάθημα Τμήμα Πληροφορικής και Τηλ

b. Για κάθε θετικό ακέραιο m και για κάθε A. , υπάρχουν άπειρα το πλήθος πολυώνυμα ( x) [ x] m και ( A) 0.

ΦΥΛΛΆΔΙΟ ΑΣΚΉΣΕΩΝ 2 ΣΥΝΑΡΤΗΣΕΙΣ

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

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

Περιεχόμενα Συμβολοσειρές Γλώσσες ΘΥ 6: Συμβολοσειρές & γλώσσες Επ. Καθ. Π. Κατσαρός 24/07/2014 Επ. Καθ. Π. Κατσαρός ΘΥ 6: Συμβολοσειρές & γλώσσες

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

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

<Πεδία ορισμού ισότητα πράξεις σύνθεση>

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

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

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

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

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

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

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

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ. ΘΕΩΡΗΤΙΚΗ ΑΣΚΗΣΗ 1 ΛΥΣΕΙΣ Ανάλυση Πολυπλοκότητας

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

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

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

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

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

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

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

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

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

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

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

HY118- ιακριτά Μαθηµατικά. Μαθηµατική επαγωγή. 11 Επαγωγή

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

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

με Τέλος πάντων, έστω ότι ξεκινάει ένα άλλο υποθετικό σενάριο που απλά δεν διευκρινίζεται. Για το i) θα έχουμε , 2

Σημειώσεις Λογικής I. Εαρινό Εξάμηνο Καθηγητής: Λ. Κυρούσης

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

Γραµµατικοί κανόνες Κανόνες µεταγραφής συµβόλων

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

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

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


ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ. ΘΕΩΡΗΤΙΚΗ ΑΣΚΗΣΗ 1 ΛΥΣΕΙΣ Ανάλυση Πολυπλοκότητας

n ίδια n διαφορετικά n n 0 n n n 1 n n n n 0 4

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

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

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

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

p (R 1 (R 2 R 3 )) q pr 1 r 1, r 1 R 2 r 2, r 2 R 3 q p (R 1 R 2 ) r 2 και r 2 R 3 q p ((R 1 R 2 ) R 3 ) q άρα R 1 (R 2 R 3 ) (R 1 R 2 ) R 3

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

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

Σχεδίαση Γλωσσών Προγραμματισμού Λεξική Ανάλυση Ι. Εαρινό Εξάμηνο Lec 05 & & 26 /02/2019 Διδάσκων: Γεώργιος Χρ.

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

ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2019 Λύσεις ασκήσεων προόδου

f x 0 για κάθε x και f 1

1 ο Διαγώνισμα Ύλη: Συναρτήσεις μέχρι και τα ακρότατα

Transcript:

Σειρά Προβλημάτων Λύσεις Άσκηση Έστω αλφάβητο Σ και γλώσσες Α, Β επί του αλφάβητου αυτού. Για κάθε μια από τις πιο κάτω περιπτώσεις να διερευνήσετε κατά πόσο Γ Δ, ή, Δ Γ, ή και τα δύο. Σε περίπτωση, που μια σχέση ισχύει να το αποδείξετε, διαφορετικά να δώσετε αντιπαράδειγμα. (α) Γ = (Α Β) * και Δ = Α * Β * Ισχύει η κατεύθυνση Δ Γ αλλά όχι το αντίστροφο. Περίπτωση Δ Γ: Η σχέση ισχύει και ακολουθεί η σχετική απόδειξη. Πρέπει να δείξουμε ότι αν μια λέξη w Α * Β * ικανοποιεί w (Α Β) *. Ας υποθέσουμε ότι w Α * Β *. Υπάρχουν δύο περιπτώσεις:. Αν w Α *, τότε w = w w w k, όπου k 0 και κάθε μια από τις λέξεις w i A. Τότε ισχύει επιπρόσθετα ότι κάθε μια από τις λέξεις w i A Β και επομένως w (Α Β) *.. Αν w Β *, τότε w = w w w k, όπου k 0 και κάθε μια από τις λέξεις w i Β. Τότε ισχύει επιπρόσθετα ότι κάθε μια από τις λέξεις w i A Β και επομένως w (Α Β) *. Επομένως το συμπέρασμα έπεται. Περίπτωση Γ Δ: Δεν ισχύει η σχέση και το επιδεικνύουμε με σχετικό αντιπαράδειγμα. Έστω Α= {α} και Β = {β}. Τότε Γ = (Α Β) * = {α,β} * Δ = Α * Β * = {α} * β} * Αλλά ενώ η λέξη αβ ανήκει στο σύνολο Γ δεν ανήκει στο σύνολο Δ και επομένως το σύνολο Γ δεν είναι υποσύνολο του Δ. (β) Γ = (ΑΒ) * και Δ = Α * Β * Περίπτωση Γ Δ: Η σχέση δεν ισχύει και το επιδεικνύουμε με σχετικό αντιπαράδειγμα. Έστω Α= {α} και Β = {β}. Τότε Γ = (ΑΒ) * = {αβ} * Δ = Α * Β * = {α} * β} * Αλλά ενώ η λέξη αβαβ ανήκει στο σύνολο Γ δεν ανήκει στο σύνολο Δ και επομένως το σύνολο Γ δεν είναι υποσύνολο του Δ. Περίπτωση Δ Γ: Η σχέση δεν ισχύει και το επιδεικνύουμε με σχετικό αντιπαράδειγμα. Επιλέγουμε και πάλι Α= {α} και Β = {β}. Τότε Γ = (ΑΒ) * = {αβ} * Λύσεις Σειράς Προβλημάτων Εαρινό Εξάμηνο 05 Σελίδα

Δ = Α * Β * = {α} * β} * Αλλά ενώ η λέξη ααββ ανήκει στο σύνολο Δ δεν ανήκει στο σύνολο Γ και επομένως το σύνολο Δ δεν είναι υποσύνολο του Γ. (γ) Γ = (ΑΑ) * και Δ = Α * Περίπτωση Γ Δ: Η σχέση ισχύει και ακολουθεί η σχετική απόδειξη. Πρέπει να δείξουμε ότι αν μια λέξη w (ΑΑ) * ικανοποιεί w Α *. Ας υποθέσουμε ότι w (ΑΑ) *. Τότε τότε w = w w w k, όπου k 0 και κάθε μια από τις λέξεις w i AΑ. Δηλαδή, η w είναι μια ακολουθία από άρτιο αριθμό εμφανίσεων λέξεων από το σύνολο Α. Επομένως ισχύει επιπρόσθετα ότι κάθε μια από τις λέξεις w i A Β που συνεπάγεται ότι w Α * και το συμπέρασμα έπεται. Περίπτωση Δ Γ: Δεν ισχύει η σχέση και το επιδεικνύουμε με σχετικό αντιπαράδειγμα. Έστω Α= {α}. Τότε Γ = (ΑΑ) * = {αα} * Δ = Α * = {α} * Αλλά ενώ η λέξη ααα ανήκει στο σύνολο Δ δεν ανήκει στο σύνολο Γ και επομένως το σύνολο Δ δεν είναι υποσύνολο του Γ. Άσκηση Υποθέστε ότι το σύνολο L είναι μια γλώσσα επί του αλφαβήτου {0,} τα στοιχεία του οποίου παράγονται από τους πιο κάτω κανόνες: () ε L () 0 L και L (3) Αν u L τότε 0u0 L και u L. (α) Να αποδείξετε ότι για κάθε λέξη w L, η w είναι καρκινική. Η απόδειξη θα γίνει με επαγωγή πάνω στο n, το πλήθος των κανόνων που απαιτήθηκαν για την κατασκευή της w. Βάση της Επαγωγής: Αν n =, τότε χρησιμοποιήθηκε μόνο ένας κανόνας. Ο κανόνας αυτός πρέπει να είναι ο πρώτος ή ο δεύτερος κανόνας και η λέξη πρέπει να είναι μια από τις ε, 0 και. Αφού και στις τρεις περιπτώσεις η λέξη είναι καρκινική, το ζητούμενο έπεται. Επαγωγική Υπόθεση: Ας υποθέσουμε ότι οποιαδήποτε λέξη έχει παραχθεί με την χρήση m κανόνων είναι καρκινική. Επαγωγικό Βήμα Πρέπει να δείξουμε ότι αν μια λέξη έχει παραχθεί με την χρήση m+ κανόνων είναι επίσης καρκινική. Από την υπόθεση της επαγωγής, μετά από την εφαρμογή των m πρώτων κανόνων όποια λέξη w και αν προκύψει είναι καρκινική. Αν εφαρμόσουμε ακόμα ένα κανόνα, τότε ο κανόνας αυτό πρέπει να είναι ο κανόνας (3) Επομένως, η λέξη Λύσεις Σειράς Προβλημάτων Εαρινό Εξάμηνο 05 Σελίδα

που θα παραχθεί θα είναι είτε η 0w0 είτε η w. Αφού η w είναι καρκινική, είναι φανερό ότι και η παραχθείσα λέξη είναι καρκινική και το ζητούμενο έπεται. (β) Να αποδείξετε ότι αν w μια καρκινική λέξη τότε w L. Έστω μια καρκινική λέξη w = w w w n. Η απόδειξη θα γίνει με επαγωγή πάνω στο n. Βάση της Επαγωγής : Αν n = 0, τότε w=ε. Από τον κανόνα (), η λέξη ε ανήκει στη γλώσσα και το ζητούμενο έπεται. Βάση της Επαγωγής : Αν n =, τότε w=0 ή w =. Από τον κανόνα (), οι λέξεις 0 και ανήκουν στη γλώσσα και το ζητούμενο έπεται. Επαγωγική Υπόθεση: Ας υποθέσουμε ότι κάθε καρκινική λέξη με μήκος <m ανήκει στο σύνολο L. Επαγωγικό Βήμα Πρέπει να δείξουμε ότι οποιαδήποτε λέξη με μήκος = m ανήκει στο σύνολο L. Έστω w = w w w m. Αφού η w είναι καρκινική υπάρχουν δύο περιπτώσεις:. Η w έχει τη μορφή w = 0 w w m 0. Από την υπόθεση της επαγωγής και αφού η λέξη w w m είναι επίσης καρκινική, ισχύει ότι w w m L. Επιπρόσθετα, από τον κανόνα (3) που ορίζει το σύνολο L συμπεραίνουμε ότι w = 0w w m 0 επίσης ανήκει στο L. Επομένως το αποτέλεσμα ισχύει για τη συγκεκριμένη περίπτωση.. Η w έχει τη μορφή w = w w m. Από την υπόθεση της επαγωγής και αφού η λέξη w w m είναι επίσης καρκινική, ισχύει ότι w w m L. Επιπρόσθετα, από τον κανόνα (3) που ορίζει το σύνολο L συμπεραίνουμε ότι w = w w m επίσης ανήκει στο L. Επομένως το αποτέλεσμα ισχύει για τη συγκεκριμένη περίπτωση. Αυτό ολοκληρώνει την απόδειξη. Άσκηση 3 Για κάθε ένα από τα πιο κάτω πεπερασμένα αυτόματα, να παρουσιάσετε το αυτόματο γραφικά μέσω του σχετικού συστήματος μεταβάσεων και να υπολογίσετε τη γλώσσα που αναγνωρίζει: (α) Αυτόματο Α = (Q, Σ, δ, q 0, F), όπου Q = {q 0, q, q, } Σ = {,} F = {q 0 } δ όπως ορίζεται στον πίνακα που ακολουθεί: δ q 0 q q 0 q q q q q 0 Λύσεις Σειράς Προβλημάτων Εαρινό Εξάμηνο 05 Σελίδα 3

Σύστημα μεταβάσεων του αυτομάτου: q 0 q, q Γλώσσα: Η κενή λέξη και όλες οι λέξεις στις οποίες κάθε τμήμα που αποτελείται από ή περισσότερα συνεχόμενα ακολουθείται από τουλάχιστον δύο. (β) Αυτόματο Α = (Q, Σ, δ, q, F), όπου Q = {q 0, q, q,, q 4 } Σ = {,} F = {q, } δ όπως ορίζεται στον πίνακα που ακολουθεί: Σύστημα μεταβάσεων του αυτομάτου: δ q 0 q 0 q q q 0 q q q q 4 q q 4 q q q 4 q 0 Γλώσσα: Η κενή λέξη και όλες οι λέξεις που τελειώνουν σε στις οποίες αν υπάρχει τμήμα που αποτελείται από ή περισσότερα συνεχόμενα α τότε η λέξη τελειώνει σε τουλάχιστον δύο. Λύσεις Σειράς Προβλημάτων Εαρινό Εξάμηνο 05 Σελίδα 4

Άσκηση 4 Να ορίσετε τη γλώσσα που αναγνωρίζει κάθε ένα από τα πιο κάτω πεπερασμένα αυτόματα. (α) q q q 4 q 5 Γλώσσα αυτόματου: Οι λέξεις που αρχίζουν και τελειώνουν με το ίδιο σύμβολο. (β) X:=E od X:=E while do 3 4, do, od do od, while X:=E, while, X:=E, od 5, while, do while,, do, od, Χ:=Ε Γλώσσα αυτομάτου: Όλες οι λέξεις που περιέχουν απεριόριστες φορές τις συμβολοσειρές X:=E και while do X:=E X:= E od σε οποιαδήποτε σειρά. Λύσεις Σειράς Προβλημάτων Εαρινό Εξάμηνο 05 Σελίδα 5

Άσκηση 5 Για κάθε μια από τις πιο κάτω γλώσσες, να κατασκευάσετε αυτόματο που να την αναγνωρίζει. Σε κάθε περίπτωση, να δείχνετε () τον τυπικό ορισμό του αυτομάτου και () το διάγραμμα καταστάσεων (α) {w η w είναι μια μη κενή λέξη επί του αλφάβητου {,} και το πρώτο και το τελευταίο της σύμβολο είναι τα ίδια} (Παράδειγμα: η λέξη ανήκει στη γλώσσα αλλά οι λέξεις ε και όχι.) q q q 4 q 5 (β) {w η w είναι λέξη επί του αλφάβητου {,,3,4} τα ψηφία της οποίας δεν βρίσκονται σε φθίνουσα σειρά} (Παράδειγμα: οι λέξεις, 43 ανήκουν στη γλώσσα αλλά η λέξη 4 όχι.),3,4,,3,4 3,4 3 3 4 4 3 4 Λύσεις Σειράς Προβλημάτων Εαρινό Εξάμηνο 05 Σελίδα 6

(γ) {w η w είναι λέξη επί του αλφάβητου {,,c}, και κάθε εμφάνιση του ακολουθείται (αμέσως) από τουλάχιστον συνεχόμενα } (Παράδειγμα: οι λέξεις, ccc ανήκουν στη γλώσσα αλλά οι λέξεις και όχι.),,c,c,c,c (δ) {w η w είναι μια μη κενή λέξη επί του αλφάβητου {,} όπου τα σύμβολα που βρίσκονται στις περιττές θέσεις είναι τα ίδια} (Παράδειγμα: οι λέξεις, ανήκουν στη γλώσσα αλλά η λέξη όχι.),,, Λύσεις Σειράς Προβλημάτων Εαρινό Εξάμηνο 05 Σελίδα 7