Στοιχεία Θεωρίας Γλωσσών. (συνέχεια) (συνέχεια) Πέμπτη 27 Οκτωβρίου 2016 Θεόδωρος Τζουραμάνης Επίκουρος Καθηγητής

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

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

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

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

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 7: Ασυμφραστικές Γλώσσες (Γλώσσες Ελεύθερες Συμφραζομένων)

ΣΤΑΤΙΣΤΙΚΗ ΠΙΘΑΝΟΤΗΤΕΣ

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

Υπολογιστικά & Διακριτά Μαθηματικά

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

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

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

P(n, r) = n r. (n r)! n r. n+r 1

Θέματα υπολογισμού στον πολιτισμό

Συνδυαστική Ανάλυση. Υπολογισμός της πιθανότητας σε διακριτούς χώρους με ισοπίθανα αποτελέσματα:

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

Κεφάλαιο 2: Τυπικές γλώσσες. Νίκος Παπασπύρου, Κωστής Σαγώνας Μεταγλωττιστές Μάρτιος / 216

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

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

Gutenberg

Γνωστό: P (M) = 2 M = τρόποι επιλογής υποσυνόλου του M. Π.χ. M = {A, B, C} π. 1. Π.χ.

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

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

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

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

Εφαρμοσμένα Μαθηματικά ΙΙ 7ο Σετ Ασκήσεων (Λύσεις) Ορίζουσες Επιμέλεια: Ι. Λυχναρόπουλος

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

ΠΛΗ21 Κεφάλαιο 2. ΠΛΗ21 Ψηφιακά Συστήματα: Τόμος Α Κεφάλαιο: 2 Δυαδική Κωδικοποίηση

Συνδυαστική Απαρίθμηση

Πέμπτη 8 εκεμβρίου 2016 Θεόδωρος Τζουραμάνης Επίκουρος Καθηγητής. ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων

P(n, r) = n r. (n r)! n r. n+r 1

HY118-Διακριτά Μαθηματικά

Γραμμική Αλγεβρα ΙΙ Διάλεξη 1 Εισαγωγή Χρήστος Κουρουνιώτης Πανεπισ τήμιο Κρήτης 19/2/2014 Χ.Κουρουνιώτης (Παν.Κρήτης) Διάλεξη 1 19/2/ / 13

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

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

{ } { / αρτιος 10} ΣΥΝΟΛΑ. N, σύνολο των φυσικών αριθμών, { 1, 2, 3, }

Θεωρία Πιθανοτήτων και Στατιστική

Ψηφιακά Συστήματα. 5. Απλοποίηση με χάρτες Karnaugh

aab aabb aaabb aaaabb aaaabb aaaabb

HY118-Διακριτά Μαθηματικά

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

ΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ. Πιθανότητες. Συνδυαστική Ανάλυση Διδάσκων: Επίκουρος Καθηγητής Κωνσταντίνος Μπλέκας

ΚΕΦΑΛΑΙΟ 2 ΔΙΑΤΑΞΕΙΣ, ΜΕΤΑΘΕΣΕΙΣ, ΣΥΝΔΥΑΣΜΟΙ

Συνδυαστική Απαρίθμηση

Διακριτά Μαθηματικά. Απαρίθμηση: μεταθέσεις και συνδυασμοί

Διακριτά Μαθηματικά. Προχωρημένες μέθοδοι απαρίθμησης: Εγκλεισμός- Αποκλεισμός

Υπολογιστικά & Διακριτά Μαθηματικά

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

Ασκήσεις μελέτης της ενότητας «Συντακτική Ανάλυση»

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

ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΥΠΟΛΟΓΙΣΜΟΣ Εντολές επιλογής και αποφάσεων 1 ο Φύλλο Εργασιών Εισαγωγικές ασκήσεις για την εντολή if ΑΠΑΝΤΗΣΕΙΣ

1 Η εναλλάσσουσα ομάδα

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

Σύνοψη Προηγούµενου. Γλώσσες χωρίς Συµφραζόµενα (2): Αυτόµατα Στοίβας. Παραδείγµατα Σχεδιασµού CFG. Παράδειγµα 1.

Ασκήσεις μελέτης της ενότητας «Συντακτική Ανάλυση»

ΤΜΗΜΑ ΣΤΑΤΙΣΤΙΚΗΣ ΚΑΙ ΑΣΦΑΛΙΣΤΙΚΗΣ ΕΠΙΣΤΗΜΗΣ Σ

Ασκήσεις1 Πολυώνυμα. x x c. με το. b. Να βρεθούν όλες οι τιμές των a, Να βρεθεί ο μκδ και το εκπ τους

Διακριτά Μαθηματικά. Απαρίθμηση: Εισαγωγικά στοιχεία Αρχή του Περιστεριώνα

Συστήματα Αρίθμησης. Συστήματα Αρίθμησης 1. PDF created with FinePrint pdffactory Pro trial version

Διακριτά Μαθηματικά. Απαρίθμηση. Βασικές τεχνικές απαρίθμησης Αρχή Περιστεριώνα

Συνδυαστική Απαρίθμηση

Συνδυαστική Απαρίθμηση

Απαρίθμηση: Εισαγωγικά στοιχεία

Μεταθέσεις και Συνδυασμοί

Συνδυαστική Απαρίθμηση

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

Συνδυαστική Απαρίθμηση

ΜΑΘΗΜΑ: Μεταγλωττιστές

Βασικοί τύποι δεδομένων (Pascal) ΕΠΑ.Λ Αλίμου Γ Πληροφορική Δομημένος Προγραμματισμός (Ε) Σχολ. Ετος Κων/νος Φλώρος

Εισαγωγή στην επιστήμη των υπολογιστών. ΑΡΙΘΜΗΤΙΚΑ ΣΥΣΤΗΜΑΤΑ και Μετατροπές Αριθμών

Γεννήτριες Συναρτήσεις

Συνδυαστική. Σύνθετο Πείραμα. Πείραμα Συνδυαστική. Το υλικό των. ΗΥ118 Διακριτά Μαθηματικά, Άνοιξη Τρίτη, 17/04/2018

Εγκλεισμός Αποκλεισμός

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

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

Διατάξεις με επανάληψη: Με πόσους τρόπους μπορώ να διατάξω r από n αντικείμενα όταν επιτρέπονται επαναληπτικές εμφανίσεις των αντικειμένων; Στην αρχή

Εισαγωγή στην Πληροφορική & τον Προγραμματισμό

ΚΕΦΑΛΑΙΟ 8 Η ΓΛΩΣΣΑ PASCAL

P(n, r) = n r. (n r)! n r. n+r 1

ΣΥΝΔΥΑΣΤΙΚΗ (Δείγμα θεμάτων)

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

Σύνοψη Προηγούµενου. Γλώσσες χωρίς Συµφραζόµενα (2) Ισοδυναµία CFG και PDA. Σε αυτό το µάθηµα. Αυτόµατα Στοίβας Pushdown Automata

Δύο κύριοι τρόποι παρουσίασης δεδομένων. Παράδειγμα

Στατιστικοί πίνακες. Δημιουργία κλάσεων

Περιεχόμενα Τι περιγράφει ένα ΣΔ ΣΔ και παραγωγές Θεωρία Υπολογισμού Ενότητα 15: Συντακτικά Δέντρα Επ. Καθ. Π. Κατσαρός Τμήμα Πληροφορικής Επ. Καθ. Π.

Εφαρμοσμένα Μαθηματικά ΙΙ 5ο Σετ Ασκήσεων (Λύσεις) Πίνακες Επιμέλεια: I. Λυχναρόπουλος

Αριθμητική Ανάλυση & Εφαρμογές

ΕΙΣΑΓΩΓΗ ΣΤΟΥΣ ΑΛΓΟΡΙΘΜΟΥΣ ΚΑΙ ΣΤΟΝ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ ΤΜΗΜΑ ΠΟΛΙΤΙΣΜΙΚΗΣ ΤΕΧΝΟΛΟΓΙΑΣ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΑΣ. Διδάσκουσα Δρ Β.

Τεχνολογία Πολυμέσων. Ενότητα # 9: Κωδικοποίηση εντροπίας Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής

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

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

Φροντιστήριο #6 Λυμένες Ασκήσεις στη Συνδυαστική 22/4/2016

ΣΥΝ ΥΑΣΤΙΚΗ ΑΝΑΛΥΣΗ. Θεωρία Πιθανοτήτων και Στοχαστικές ιαδικασίες, Κ. Πετρόπουλος. Τµ. Επιστήµης των Υλικών

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

0,00620 = 6, ΣΗΜΑΝΤΙΚΑ ΨΗΦΙΑ. Γενικοί Κανόνες για τα Σημαντικά Ψηφία

ΤΜΗΜΑ ΣΤΑΤΙΣΤΙΚΗΣ ΚΑΙ ΑΣΦΑΛΙΣΤΙΚΗΣ ΕΠΙΣΤΗΜΗΣ Σ

P(n, r) = n! P(n, r) = n r. (n r)! n r. n+r 1 r n!

Διακριτά Μαθηματικά 1ο Φροντιστήριο 07/10/2016 1

#(A B) = (#A)(#B). = 2 6 = 1/3,

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

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

Transcript:

https://www.icsd.aegean.gr/t.tzouramanis/courses/dm1 ttzouram@aegean.gr Πέμπτη 7 Οκτωβρίου 016 Δ Κατά τον Καθηγητή Avram Noam Chomsky οι γραμματικές ταξινομούνται σύμφωνα με τα είδη παραγωγών που επιτρέπονται, δηλαδή: μια γραμματική είναι Τύπου 0 (γραμματική χωρίς περιορισμούς) αν δεν έχει περιορισμούς στις παραγωγές της [Βικιπαίδεια: λήμμα για Ιεραρχία Τσόμσκι ]. μια γραμματική είναι Τύπου 1(γραμματική με συμφραζόμενα context-sensitive) αν κάθε παραγωγή της έχει τη μορφή α β, όπου το μήκος α β. 19 μια γραμματική είναι Τύπου (γραμματική χωρίς συμφραζόμενα context-free) αν κάθε παραγωγή της έχει τη μορφή Α β, δηλαδή όπου η αριστερή πλευρά είναι ένα απλό μη-τερματικό. Το συντακτικό των γλωσσών προγραμματισμού (Fortran, Pascal, C, C++, ) περιγράφεται από γραμματικές Τύπου. 0 μια γραμματική είναι Τύπου 3 (κανονική γραμματική regular) αν κάθε παραγωγή της έχει τη μορφή Α a ήα aβ ήα Βa, δηλαδή όπου η αριστερή πλευρά είναι ένα απλό μη-τερματικό και η δεξιά πλευρά είναι μια ακολουθία τερματικών ή μια ακολουθία τερματικών που ακολουθείται ή ακολουθεί ένα μη-τερματικό. Στις γραμματικές ισχύει: Τύπου 3 Τύπου Τύπου 1 Τύπου 0. 1 (ασκήσεις) 1. Να βρεθεί η γλώσσα L(G) που παράγεται από μια γραμματική G με τις μεταβλητές S, A, B, τα τερματικά a, b και τις παραγωγές S ab, B b, B ba, A ab.. Να προσδιοριστεί ο τύπος της γραμματικής G που αποτελείται από τις παραγωγές: a. S aa, A aab, B b, A a b. S aabα, AB ab, B bb, A ab, B b c. S ba, B ba, A ab, B b Να βρεθεί η γλώσσα L(G) που παράγεται σε κάθε μία από τις 3 παραπάνω περιπτώσεις. 1

- Πέρας Παρουσίασης -

https://www.icsd.aegean.gr/t.tzouramanis/courses/dm1 ttzouram@aegean.gr Πέμπτη 7 Οκτωβρίου 016 Αρίθμηση ( είγματα, Μεταθέσεις, Συνδυασμοί, κτλ.) Η Αρχή του Αθροίσματος Έστω ένα γεγονός Ε που μπορεί να συμβεί κατά k διαφορετικούς τρόπους. Έστω επίσης ότι ανεξάρτητα από το γεγονός αυτό, υπάρχει ένα δεύτερο γεγονός F το οποίο μπορεί να συμβεί κατά m τρόπους. Τότε υπάρχουν k + m διαφορετικά αποτελέσματα όταν συμβεί μόνο το ένα από τα δύο γεγονότα E ή F. Γενικότερα, έστω ότι έχουμε n ανεξάρτητα γεγονότα Ε i,(1 i n), όπου το καθένα μπορεί να συμβεί κατά k i τρόπους. Τότε υπάρχουν k 1 + k + +k n διαφορετικάαποτελέσματαότανσυμβεί (ή Η Θεμελιώδης Αρχή της Αρίθμησης) Έστω ένα γεγονός Ε που μπορεί να συμβεί κατά k διαφορετικούς τρόπους. Έστω επίσης ότι ανεξάρτητα από το γεγονός αυτό, υπάρχει ένα δεύτερο γεγονός F το οποίο μπορεί να συμβεί κατά m τρόπους. Τότε υπάρχουν k. m διαφορετικά αποτελέσματα όταν συμβούν και τα δύο γεγονότα E και F. Γενικότερα, έστω ότι έχουμε n ανεξάρτητα γεγονότα Ε i,(1 i n), όπου το καθένα μπορεί να συμβεί κατά k i τρόπους. Τότε υπάρχουν k. 1 k.. k n διαφορετικά αποτελέσματα όταν συμβούν όλα τα γεγονότα Ε i. μόνο το ένα από τα γεγονότα Ε i. 3 4 (παράδειγμα) Έστω ότι ο αριθμός κυκλοφορίας των οχημάτων περιέχει τρία γράμματα που ακολουθούνται από τέσσερα ψηφία με το πρώτο μη μηδενικό. Πόσες διαφορετικές πινακίδες κυκλοφορίας μπορούν να κατασκευαστούν; (παραδείγματα) Πόσεςδιαφορετικέςεπιλογέςέχειέναςσύλλογος 100 μελών για τη συγκρότηση του τριμελούς διοικητικού του συμβουλίου (δηλ. πρόεδρος, ταμίας και γραμματέας) με εκλογές, θεωρώντας ότι κανείς δεν μπορεί να εκλεγεί σε περισσότερες από μία θέσεις; 5 6 1

Συμβολισμός Παραγοντικών n παραγοντικό ονομάζεται το γινόμενο των θετικών ακεραίων από 1 μέχρι n. Συμβολισμός: n! =1.. 3. (n -1). (n -). n Εξ συμβάσεως: 0!=1 Έστω ένα n-σύνολο S και (a 1, a,, a r ) ένα διατεταγμένο δείγμα r στοιχείων του S. Αυτό το διατεταγμένο r-δείγμα ονομάζεται r-μετάθεση *. Σε μία r-μετάθεση πρέπει να είναι r n. Εάν r=n τότε η n-μετάθεση ονομάζεται απλά μετάθεση των n στοιχείων. 7 * Στη θεωρία πιθανοτήτων η έννοια της r-μετάθεσης συνδέεται με την έννοια της δειγματοληψίας χωρίς επανάθεση. 8 Σύγκριση ειγμάτων και Μεταθέσεων Έστω το σύνολο Τ = {a, b, c, d}, με S =4. Τότε όλα τα δυνατά 3-δείγματα που μπορούν να σχηματιστούν είναι: και το πλήθος τους είναι S 3 =4 3 =64. Από αυτά μόνο τα: έχουν όλα τα στοιχεία τους διαφορετικά και είναι 3-μεταθέσεις. Το πλήθος τους είναι 4. 3. =4 Παράδειγμα: Έστω το σύνολο Τ = {a, b, c, d} Οι bdca, dcba και acdb είναι μεταθέσεις των τεσσάρων γραμμάτων (που λαμβάνονται όλα ταυτόχρονα *). Οι bad, dab και bda είναι μεταθέσεις των τεσσάρων γραμμάτων που λαμβάνονται ανά τρία ταυτόχρονα. Οι ca, ac και db είναι μεταθέσεις των τεσσάρων γραμμάτων που λαμβάνονται ανά δύο ταυτόχρονα. 3-μεταθέσεις. Το πλήθος τους είναι 4. 3. =4 9 * δηλαδή χωρίς να επανατοποθετούνται. 10 Ο αριθμός όλων των δυνατών r-μεταθέσεων n αντικειμένων είναι: με r n Παράδειγμα: Να βρεθεί ο αριθμός των 3-μεταθέσεων 6 αντικειμένων, έστω των Α, Β, Γ,, Ε, Ζ. Επίσης: γινόμενο r παραγόντων με r n Το πλήθος των μεταθέσεων n αντικειμένων που λαμβάνονται όλα, χωρίς επανάθεση, είναι: P(n, n) =n! 11 1

με Ομοιότητα Το πλήθος των n-μεταθέσεων ενός n-συνόλου όπου μερικά από τα στοιχεία του είναι όμοια είναι: με Επανάθεση Ομοίως, το πλήθος των n-μεταθέσεων με επανάθεση ενός n-συνόλου όπου μερικά από τα στοιχεία του επιλέγονται περισσότερες από μία φορές είναι επίσης: όπου τα n 1 στοιχεία του συνόλου είναι όμοια μεταξύ τους, τα n επίσης όμοια,,τα n r επίσης όμοια μεταξύ τους. 13 όπου τα n 1 στοιχεία μέσα στο επιλεγμένο δείγμα είναι όμοια μεταξύ τους, τα n επίσης όμοια,, τα n r επίσης όμοια μεταξύ τους. 14 (ασκήσεις) 1. Πόσους αναγραμματισμούς μπορούμε να δημιουργήσουμε από τη λέξη COMBINATORICS;. Ποια λέξη ή φράση δίνει περισσότερους αναγραμματισμούς: ηλέξηcombinatorics ή ηλέξηcombinatorica ή η λέξη ΣΥΝ ΥΑΣΤΙΚΗ; (ο ίδιος όρος γραμμένος στα αγγλικά, στα λατινικά και στα ελληνικά) (ασκήσεις - συνέχεια) 3. Πόσες διαφορετικές ελληνικές λέξεις 6 χαρακτήρων υπάρχουν αν θεωρούμε ότι δύο λέξεις είναι διαφορετικές όταν δεν γράφονται πανομοιότυπα; 4. Έστω το σύνολο Τ = {a, b, c}. Να βρεθεί ο αριθμός των μεταθέσεων με επανάθεση μεγέθους n=5όπου: το a θα εμφανίζεται δύο φορές, το b θα εμφανίζεται δύο φορές και το c θα εμφανίζεται μία φορά. 15 16 ιακριτά Μαθηματικά Ι Αρίθμηση - Πέρας Παρουσίασης - 3