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



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

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

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

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

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

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

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

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

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

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

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

f(t) = (1 t)a + tb. f(n) =

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

ΑΣΚΗΣΕΙΣ ΓΙΑ ΕΠΑΝΑΛΗΨΗ i) 50% ii) 30% ,

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

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

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

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

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

Α. ΣΥΝΟΛΑ-ΥΠΟΣΥΝΟΛΑ-ΙΣΑ ΣΥΝΟΛΑ

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

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

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

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

Θεωρία Υπολογισμού Αλφάβητα, Γλώσσες, Κανονικές Εκφράσεις

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

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

Θεωρία Υπολογισμού Άρτιοι ΑΜ. Διδάσκων: Σταύρος Κολλιόπουλος. eclass.di.uoa.gr. Περιγραφή μαθήματος

Θεωρία Υπολογισμού Αρτιοι ΑΜ Διδάσκων: Σταύρος Κολλιόπουλος eclass.di.uoa.gr

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

ιµελής Σχέση ιατεταγµένο ζεύγος (α, β): ύο αντικείµενα (όχι κατ ανάγκη διαφορετικά) σε καθορισµένη σειρά. Γενίκευση: διατεταγµένη τριάδα (α, β, γ), δι

Θεωρία Υπολογισμού. Ενότητα 5 : Λογικά Επιχειρήματα, Αλφάβητα & Γλώσσες (2/2) Αλέξανδρος Τζάλλας

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

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

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

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 4: Εισαγωγή / Σύνολα

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

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

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

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

771 Η - Θεωρία Υπολογισµών και Αλγορίθµων

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

3 Αναδροµή και Επαγωγή

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

771 Η - Θεωρία Υπολογισµών και Αλγορίθµων

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

Σχέσεις. Διμελής Σχέση. ΣτοΊδιοΣύνολο. Αναπαράσταση

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

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

Πιθανότητες Γεώργιος Γαλάνης Κωνσταντίνα Παναγιωτίδου

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

Π(n) : 1 + a + + a n = an+1 1 a 1. a 1. + a k+1 = ak+2 1

ν ν Άσκηση 1. Α =Α, Β =Β. Λύση Άσκηση Α Β =Β Α, Α Β=ΒΑ. Β Α= ( Β Β)( ΑΒ ) Β Α=Ι( ΑΒ ) Β Α=ΑΒ. Άσκηση = Α Α Α Α=.

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

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

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

ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2018 Τελική Εξέταση Ιουνίου Λύσεις

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

Γενικό πλάνο. Μαθηµατικά για Πληροφορική. Παράδειγµα αναδροµικού ορισµού. οµική επαγωγή ΠΑΡΑ ΕΙΓΜΑ. 3ο Μάθηµα

Μαθηµατικά για Πληροφορική

2 n N: 0, 1,..., n A n + 1 A

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

Συνδυαστική Απαρίθµηση Υπολογισµός (µε συνδυαστικά επιχειρήµατα) του πλήθους των διαφορετικών αποτελεσµάτων ενός «πειράµατος». «Πείραµα»: διαδικασία µ

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

ΠΛΗ 12 - Πρόσθεση πινάκων, βαθμωτός πολλαπλασιασμός, γινόμενο πινάκων, ανάστροφος ενός πίνακα

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

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

ΜΑΣ121: ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ I Εαρινό εξάμηνο , Διδάσκων: Γιώργος Γεωργίου ΕΝΔΙΑΜΕΣΗ ΕΞΕΤΑΣΗ, Διάρκεια: 2 ώρες 18 Νοεμβρίου, 2017

Ερωτήσεις πολλαπλής επιλογής

ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων

Γλώσσες Χωρίς Συμφραζόμενα

R={α/ αρητός ή άρρητος αριθμός }

m + s + q r + n + q p + s + n, P Q R P Q P R Q R F G

ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ. 118 ερωτήσεις θεωρίας με απάντηση ασκήσεις για λύση. 20 συνδυαστικά θέματα εξετάσεων

ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων

Μαθηματική Ανάλυση Ι

Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές»

771 Η - Θεωρία Υπολογισµών και Αλγορίθµων

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

K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων

Ι. ΠΡΑΞΕΙΣ. Ορισµός 2 A. ΕΣΩΤΕΡΙΚΗ ΠΡΑΞΗ. Έστω E ένα µη κενό σύνολο. Κάθε απεικόνιση f: E x E E λέγεται εσωτερική πράξη επί του E.

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

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

HEAD INPUT. q0 q1 CONTROL UNIT

ΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ 12) ΕΡΓΑΣΙΑ 1 η Ηµεροµηνία Αποστολής στον Φοιτητή: 12 Οκτωβρίου 2007

3/10/2016. Στατιστική Ι. 1 η Διάλεξη

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

Υπολογιστική Πολυπλοκότητα Εξέταση Ιουνίου 2017 Σελ. 1 από 5

7 ΑΛΓΕΒΡΑ ΜΗΤΡΩΝ. 7.2 ΜΗΤΡΕΣ ΕΙΔΙΚΗΣ ΜΟΡΦΗΣ (Ι)

Χηµική ισοδυναµία πυρήνων και µοριακή συµµετρία

Μεταγλωττιστές. Γιώργος Δημητρίου. Μάθημα 2 ο. Πανεπιστήμιο Θεσσαλίας - Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών

KΕΦΑΛΑΙΟ 1 ΧΡΗΣΙΜΕΣ ΜΑΘΗΜΑΤΙΚΕΣ ΕΝΝΟΙΕΣ. { 1,2,3,..., n,...

Γενικές Παρατηρήσεις. Μη Κανονικές Γλώσσες - Χωρίς Συµφραζόµενα (1) Το Λήµµα της Αντλησης. Χρήση του Λήµµατος Αντλησης.

771 Η - Θεωρία Υπολογισµών και Αλγορίθµων

Όταν δεν υπάρχει κίνδυνος σύγχυσης γράφουμε συνήθως ο τοπολογικός χώρος X και χρησιμοποιούμε την σύντμηση τ.χ. (= τοπολογικός χώρος).

Μοντελοποίηση υπολογισμού. Θέματα Υπολογισμού στον Πολιτισμό Πεπερασμένα αυτόματα

Γλώσσες Χωρίς Συμφραζόμενα

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

Δρ. Βασίλειος Γ. Καμπουρλάζος Δρ. Ανέστης Γ. Χατζημιχαηλίδης

ΕΙΣΑΓΩΓΙΚΟ ΚΕΦΑΛΑΙΟ. a β a β.

Transcript:

Θεωρία Υπολογισµού και Πολυπλοκότητα Κεφάλαιο 3. Γλώσσες και Συναρτήσεις 30 Ιανουαρίου 2007 ρ. Παπαδοπούλου Βίκη 1

3.1.1. Αλφάβητο Πως υλοποιούµε σεέναυπολογιστήένααλγόριθµοήµια σχέση; Αλφάβητο ή Γλώσσα Ορισµός: Αλφάβητο, Σ, είναι ένα πεπερασµένο σύνολο από σύµβολα ή γράµµατα. Π.χ. Σ = {0, 1} δυαδικό αλφάβητο Σ = { a, b,, y, z }, αγγλικό αλφάβητο Το σύνολο όλων των χαρακτήρων ASCII.?? 2

3.1.2. Λέξη Ορισµός: Λέξη είναι µια πεπερασµένη ακολουθία συµβόλων ενός αλφαβήτου. Π.χ. 0111010 = λέξη του αλφάβητου Σ = {0, 1} Κενή λέξη, e = λέξη χωρίς σύµβολα Μήκος µιας λέξης = πλήθος συµβόλων της λέξης Π.χ. 011 =? Σ k = σύνολο όλων των λέξεων µήκους k απότοαλφάβητοσ. Π.χ. Σ = { 0, 1 }, Σ 0 = { e }, Σ 1 = { 0, 1 }, Σ 2 =?? ={00, 01, 10, 11} 3

Θήκη Kleene Ορισµός: Θήκη Kleene του αλφαβήτου Σ, Σ, είναι το σύνολο όλων των λέξεων του Σ. Π.χ. {0, 1 } = { e, 0, 1, 00, 01, 10, 11, L }. ή Σ * = Σ 0 Σ 1 Σ 2 L. Παρατηρείστε: Η θήκη Kleene Σ * ενός αλφαβήτου Σ είναι αριθµήσιµο σύνολο?? Είναι άπειρο σύνολο?? Είναι απείρως αριθµήσιµοσύνολο: (ισούται µε τηνένωση µιας συλλογής (άπειρων στοιχείων) από αριθµήσιµα σύνολα(σ k )) 4

Πράξεις σε Λέξεις Παράθεση : Αν x = x 1 x 2 L x m και y = y 1 y 2 L y n xy = x 1 x 2 L x m y 1 y 2 L y n xy =? Για µια λέξη w Σ *, η επανάληψη k φορών της w είναι: Π.χ. (λα) 3 = λαλαλα Η u είναι Υπολέξη µιας λέξης w αν και µόνοανυπάρχουνλέξειςx και y τέτοιες ώστε w= xuy Πχ. 235 υπολέξη της 123589, 235 υπολέξη της 1235 Είναι ανακλαστική σχέση?? Ναι, γιατί (a,a) Υπολέξη, a Σ 5

Πράξεις σε Λέξεις Αντίστροφη µιας λέξης w, w R : Η λέξη διαβασµένη από το τέλος προς στην αρχή (επαγωγικός ορισµός): 1. (βάση) Αν w =0 w R =w=e 2. (επαγωγικό βήµα) Αν w =n+1 και w = y α, για κάποιο y * και α w R = α y R Πχ. οτι R = ι (οτ) R = ιτ ο R = ιτο 6

Παράδειγµα Να δειχθεί ότι x, y Σ *, (xy) R = y R x R (Με επαγωγή) Απόδειξη. (Με επαγωγή στο y ) Βάση: y =0 (y=e) (xy) R = (xe) R = x R y R x R = e R x R = e x R =x R Επαγωγική Υπόθεση: Αν z n (xz) R = z R x R Επαγωγικό Βήµα: y Σ *, y =k+1, y = zσ, z =k, σ Σ (xy) R = (x (zσ) ) R = ((xz) σ) R = σ (xz) R = σ z R x R y R x R = (zσ) R x R = σ z R x R 7

3.1.3. Γλώσσες Ένα υποσύνολο της Θήκης Kleene Σ * του αλφαβήτου Σ, L Σ *, καλείται γλώσσα πάνω στο αλφάβητο Σ. Πχ. L={οχι, ναι} είναι γλώσσα του αλφάβητου Σ ={α, β, γ,..., ω} Ελληνική γλώσσα είναι γλώσσα του αλφάβητου Σ ={α, β, γ,..., ω} Γλώσσα προγραµµατισµού C είναι γλώσσα του αλφάβητου Σ=χαρακτήρες ASCII Τοσύνολοόλωντωνδυαδικώνλέξεωνπουτοσύµβολο 0 εµφανίζεται n φορές, ακολουθούµενο από το σύµβολο 1 άλλες n φορές, για οποιοδήποτε ακέραιο n 0. L ={ e, 01, 0011, 000111, L }. Τοσύνολοόλωντωνδυαδικώνλέξεωνστιςοποίεςοαριθµός των φορών που υπάρχει το σύµβολο 0 ισούται µε τοναριθµό των φορών που υπάρχει το σύµβολο 1. L = { e, 01, 10, 0011, 0101, 1001, 0110, 1010, 1100, L }. 8

Παρατηρείστε Σε οποιαδήποτε γλώσσα: το αλφάβητο στο οποίο ορίζεται η γλώσσα είναι πεπερασµένο. µπορείναπεριέχειάπειροαριθµό απόλέξεις Π.χ.? περιέχει στοιχεία (λέξεις) πεπερασµένου µεγέθους 9

Γλώσσες Πρόταση 3.1. Για οποιοδήποτε αλφάβητο Σ, το σύνολο 2 Σ* είναι µη αριθµήσιµο. Απόδειξη. Υποθέτουµεότι2 Σ* είναι αριθµήσιµο 2 Σ* απείρως αριθµήσιµο. Υπάρχει µία ένα-προς-ένα και επί συνάρτηση g: 2 Σ* N. To Σ * είναι απείρως αριθµήσιµο Υπάρχει µία ένα-προς-ένα και επί συνάρτηση f: Σ * N. Υπάρχει µία ένα-προς-ένα και επί συνάρτηση f 1 : 2 Σ * 2 N. Υπάρχει η αντίστροφη της f 1 συνάρτηση h = f 1-1 : 2 N 2 Σ *, η οποία επίσης είναι ένα-προς-ένα και επί. Ησύνθεσηg h: 2 N N είναι επίσης ένα-προς-ένα και επί. g(h(a)) : 2 N 2 Σ * N 2 N είναι απείρως αριθµήσιµο Αντίφαση στο ΘεώρηµατουCantor. 10

Πράξεις σε Γλώσσες: Συνολοθεωρητικές Ένωση: L 1 L 2 = { w w L 1 ή w L 2 } Π.χ. {ακακία, κάκτος} {µαργαρίτα, ρόδι}= {ακακία, κάκτος, µαργαρίτα, ρόδι} Τοµή: L 1 L 2 = { w w L 1 και w L 2 } Π.χ. {00, 01, 11 } {10, 11, 11=?? {11} Συµπλήρωµα: της L είναι το σύνολο των λέξεων που δεν ανήκουν στην L (αλλά ανήκουν στη Θήκη Kleene Σ*, L Σ*) Π.χ. 11

Πράξεις σε Γλώσσες: Γλωσσολογικές Πράξεις Σύµπτηξη: δύο γλωσσών L 1, L 2 είναι µια γλώσσα που περιλαµβάνει όλες οι λέξεις που σχηµατίζονται συµπτήσσοντας µία λέξη από την L 1 µε µία λέξη από τη L 2. L 1 L 2 = { xy x L 1 και y L 1 } Πχ. L 1 = {συν}, L 2 ={ύπαρξη, οµιλία}, L 1 L 2 = {συνύπαρξη, συνοµιλία} Όταν L 1 = L 2 L 2 = LL.. Για κάθε ακέραιο k 1, L k = L k-1 L Π.χ. L = {λα, ο}, L 2 ={λαλα, οο, ολα, λαο } Ησύµπτυξη είναι αντιµεταθετική πράξη? 12

Γλωσσολογικές Πράξεις Η Θήκη Kleene L * µίας γλώσσας L είναι L * = U k 0 L k. Π.χ. {αα}* ={e, αα, αααα, } {αβ, βα, αα, ββ}* =? ={L 2 }*, L = {α,β} ={e, αβ, βα, αα, ββ, αβ, αββα, αβαα, αβββ, βααβ, βαβα, βααα, βαββ, } * = {e} 13

Γλωσσολογικές Πράξεις Επιθεµατική γλώσσα Prefix(L)= { w wv L για κάποια λέξη v} περιέχει τα προθέµατα λέξεων της γλώσσας. Π.χ. L = {oλα, ενα }, Prefix(L)= { ο, ολ, ολα, ε, εν, ενα } Καταληκτική γλώσσα Syffix(L)= { w vw L γιακάποιαλέξηv} περιέχειτιςκαταλήξειςτωνλέξεωντηςγλώσσας. Π.χ. L = {oλα, ενα }, Suffix(L)= {α, λα, ολα, να, ενα } 14

Γλωσσολογικές Πράξεις Η ανάστροφη γλώσσα L R της L, L R = { w R w= uα L, a Σ, w R = αu R } περιέχει όλες λέξεις της γλώσσας «διαβασµένες από το τέλος προς την αρχή» Π.χ. L={oλα, ενα } L R ={αλο, ανε} H διάζευξη των λέξεων a και b είναι η λογική διάζευξη των a και b Π.χ. 0 0 = 0, 0 1 = 1 0 = 1 1 = 1 H διάζευξη L 1 L 2 = { x y x L 1,y L 2, και x = y } 15

Γλωσσολογικές Πράξεις Η γλώσσα δεξιού πηλίκου L 1 / L 2 των γλωσσών L 1 και L 2 L 1 / L 2 = { x xy L 1 για κάποια λέξη y L 2 } Π.χ. L 1 = { w { 0, 1 } * } # 0 (w) είναι άρτιος} L 2 = { 0 } L 1 / L 2 = { w { 0, 1 } * } # 0 (w) είναι περιττός} Η ανάµιξη Mix(L 1,L 2 )={ ρ 1 σ 1 τ 1 L ρ k σ k τ k ρ i, τ i L 1 και σ i L 2,1 i k} Π.χ. L 1 ={σουβλακια, σιεφταλια} L 2 ={πίττα}, k=1 Mix(L 1, L 2 ) ={σουβλακιαπιττασιεφταλια} 16

Γλωσσολογικές Πράξεις Η µεγιστοτική Max(L) = { w L ηλέξηw δεν είναι γνήσιο πρόθεµαλέξηςτηςl} περιέχει όλες τις λέξεις της L οι οποίες δεν είναι γνήσια προθέµατα άλλων λέξεων της L. Π.χ. L 1 ={συν, συνοµιλια, υπερ, υπερβολη, καβγας} Max(L 1 ) ={συνοµιλια, υπερβολή, καβγάς} 17

Παραδείγµατα Γλωσσών 3.1. Παλλιδροµικές Γλώσσες: Kάθε λέξη της γλώσσας διαβάζεται το ίδιο από αριστερά και από δεξιά Π.χ. L={Νίψον ανοµήµατα µη µόναν όψιν} Μια λέξη w Σ* είναι παλίνδροµοανw = w R Μια γλώσσα είναι παλλιδροµική αν: Pal Σ = {w Σ * w = w R } Επαγωγικά: Bάση: e Pal Σ και για κάθε σύµβολο σ Σ, σ Pal Σ. Επαγωγικό Βήµα: Για κάθε λέξη w Σ * και σύµβολο σ Σ, σwσ Pal Σ. Ποίο είναι το µήκος µιας τέτοιας λέξης?? 18

Παραδείγµατα Γλωσσών Γλώσσες µε σύνολα φυσικών αριθµών Λ =αυθαίρετο σύνολο φυσικών αριθµών Binaries(Λ) = { w { 0, 1 } * w = Bin (λ) για κάποιο φυσικό αριθµό λ Λ} και Unaries(Λ) = { w { 1 } * w = Un(λ) για κάποιο φυσικό αριθµό λ Λ} = { 1 λ γιακάποιοφυσικόαριθµό λ Λ ={1, 11, 111, 1111} 19

Ασκήσεις Αποδείξτε (L 1 L 2 ) R = L 2R L 1 R Απόδειξη. (L 1 L 2 ) R = w R w L 1 L 2 } = { (uv) R u L 1 και v L 2 = { v R u R u L 1 και v L 2 } = { v R v L 2 }{ u R u L 1 } = L 2R L R 1 20

21