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

Slides:



Advertisements
Παρόμοιες παρουσιάσεις
ΓΡΑΜΜΑΤΙΚΕΣ ΧΩΡΙΣ ΣΥΜΦΡΑΖΟΜΕΝΑ I
Advertisements

Πανεπιστήμιο Δυτικής Μακεδονίας Πανεπιστήμιο Δυτικής Μακεδονίας Παιδαγωγικό Τμήμα Νηπιαγωγών Τίτλος Μαθήματος Ενότητα # (bold): Τίτλος Ενότητας (normal)
EΡΓΟ 3ο (Καθαρισμός και οριοθέτηση). Αανθρώπινο δυναμικό: 7 κανονικοί+ 8 εθελοντες Γενάρη/Φλεβάρη 2012 Εργασία: Καθαρισμόςκαι οριοθέτηση του μονοπατιού.
ΘΕΩΡΙΑ ΓΛΩΣΣΩΝ & ΑΥΤΟΜΑΤΩΝ: ΕΙΣΑΓΩΓΗ Ι
Λεκτική Ανάλυση (lexical analysis)
Οι διαφάνειες αυτού του μαθήματος βασίζονται
ΕΙΣΑΓΩΓΗ ΣΤΗ ΘΕΩΡΙΑ ΣΗΜΑΤΩΝ & ΣΥΣΤΗΜΑΤΩΝ ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΣ Laplace.
Κεφάλαιο 2ο Πεπερασμένα αυτόματα.
Θεωρία Υπολογισμού Εισαγωγή (μέρος 2 ο ) Πρακτική Θεωρία.
ΝΤΕΝΤΕΡΜΙΝΙΣΤΙΚΑ ΠΕΠΕΡΑΣΜΕΝΑ ΑΥΤΟΜΑΤΑ Ι
Θεωρία Υπολογισμού Εισαγωγή (μέρος 3 ο ). Χρειαζόμαστε Μοντέλα Εμπρός πατάκι Πίσω πατάκι Πόρτα ΚλειστόΑνοιχτό.
Σχεδίαση Εκπαιδευτικού Λογισμικού Σχέδιο Μαθήματος – Ανάπτυξη Εφαρμογών Γ’ Λυκείου Τεχνολογικής Κατεύθυνσης Ιωάννης Βλαχόπουλος – Μ1249 Αικατερίνη Δρόσου.
Κλειστότητα κανονικών γλωσσών
Θεωρία Υπολογισμού Κλειστότητα κανονικών γλωσσών Μη-κανονικές γλώσσες.
Θεωρία Υπολογισμού Λήμμα της Άντλησης. Είναι οι παρακάτω γλώσσες κανονικές; L = {0 n 1 n | n ≥ 0} L = { w | w ίδιο πλήθος 0 και 1} L = { w | w ίδιο πλήθος.
Ομάδες στο Google. Τι είναι οι ομάδες στο Google; Είναι ακριβώς ότι λέει το όνομά τους, ομάδες ανθρώπων με κοινά ενδιαφέροντα, που μπορούν επικοινωνούν.
Θεωρία Υπολογισμού Πεπερασμένα Αυτόματα. Υπολογισμοί Γλώσσα που αποδέχεται ένας υπολογιστής: Το σύνολο των λέξεων τα οποία οδηγούν σε κατάσταση αποδοχής.
ΣΥΝΟΛΑ.
ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ ΑΛΓΟΡΙΘΜΩΝ
Θεωρία Υπολογισμού Αντιαιτιοκρατικά Πεπερασμένα Αυτόματα.
ΘΕΜΑΤΙΚΗ ΕΝΟΤΗΤΑ 2: ΘΕΜΑΤΑ ΘΕΩΡΗΤΙΚΗΣ ΕΠΙΣΤΗΜΗΣ Η/Υ
Θεωρία Υπολογισμού Ασυμφραστικές Γλώσσες Λήμμα της Άντλησης.
Θεωρία Υπολογισμού Αλγόριθμοι και Μηχανές Turing Υπολογισιμότητα.
Μεταγλωττιστές (Compilers) (Θ) Ενότητα 13: Επαναληπτικό μάθημα Κατερίνα Γεωργούλη Τμήμα Μηχανικών Πληροφορικής ΤΕ Το περιεχόμενο του μαθήματος διατίθεται.
Θεωρία Υπολογισμού Χρονική Πολυπλοκότητα και Μοντέλα.
Θεωρία Υπολογισμού Μηχανές Turing. w#w προσομοίωση.
Θεώρημα Διαγνωσιμότητας
Επιλυσιμότητα – Διαγωνοποίηση Καντόρ
Θεωρία Υπολογισμού Πεπερασμένα Αυτόματα. Σχεδιάστε το αυτόματο που αναγνωρίζει L = {w | w περιέχει την υπολέξη «001»}
Διαγνώσιμες και μη-διαγνώσιμες ασυμφραστικές γραμματικές και γλώσσες
Καταγραφή ιδεών Το πρώτο βήμα στη συγγραφή της έκθεσής σας είναι να καταγράψετε όλες τις ιδέες σας. Δε χρειάζεται να τις γράψετε με κάποια σειρά, αργότερο.
1Κεφάλαιο 4 Κανόνες Σύνταξης HTML Όλες οι ετικέτες εσωκλείονται μεταξύ των χαρακτήρων “ “. Κάθε τι που βρίσκεται μεταξύ των χαρακτήρων “ ”, αποτελεί σχόλιο.
ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΗΣ ΣΥΛΟΓΗΣ ΔΕΔΟΜΕΝΩΝ ΑΠΟ ΔΥΚΤΙΑ ΚΟΙΝΩΝΙΚΟΥ ΙΣΤΟΥ Ανέστης Κυβράνογλου(1281) Επιβλέπων : Κ. Πεταλίδης Νικόλαος.
Θεωρία Υπολογισμού Λήμμα της Άντλησης -Παραδείγματα.
1 Θεωρία Υπολογισμού Ενότητα 11 : Γραμματικές χωρίς συμφραζόμενα Αλέξανδρος Τζάλλας Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.
Γλώσσες Προγραμματισμού Μεταγλωττιστές Λεκτική Ανάλυση II Πανεπιστήμιο Μακεδονίας Τμήμα Εφαρμοσμένης Πληροφορικής Ηλίας Σακελλαρίου.
Βασικές έννοιες προγραμματισμού Κεφάλαιο 7 ο. Βασικές έννοιες προγραμματισμού Αλφάβητο και τύποι δεδομένων Σταθερές και μεταβλητές Τελεστές, συναρτήσεις.
1 Θεωρία Υπολογισμού Ενότητα 5 : Λογικά Επιχειρήματα, Αλφάβητα & Γλώσσες (2/2) Αλέξανδρος Τζάλλας Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.
Διαχείριση Έργων Πληροφορικής Χρονοπρογραμματισμός δραστηριοτήτων σε τοξωτά δίκτυα, κρίσιμη διαδρομή και χρήση περιθωρίων.
Θεωρία υπολογισμού1 Μη αιτιοκρατικό αυτόματο Σ={0}, L = { 0 k : k=2m, k=3m}, μαντεύουμε το μήκος.
Υπότιτλος Διάταξη τίτλου με εικόνες. Διάταξη τίτλου και περιεχομένου με λίστα Προσθέστε την πρώτη κουκκίδα εδώ Προσθέστε τη δεύτερη κουκκίδα εδώ Προσθέστε.
Διαγράμματα Πακέτων (Package Diagrams)
Θέματα υπολογισμού στον πολιτισμό
Ανάπτυξη Εκπαιδευτικού Λογισμικού
Μοντελοποίηση υπολογισμού
Ομάδες στο Google.
Λήμμα άντλησης Πως αποφασίζουμε αποδεικνύουμε ότι μία γλώσσα δεν είναι κανονική; Δυσκολότερο από την απόδειξη ότι μια γλώσσα είναι κανονική. Γενικότερο.
Εισαγωγή στους Η/Υ Ενότητα 8: Αριθμητική υπολογιστών Ιωάννης Σταματίου
Ισοδυναμία ΠΑ - ΚΕ Για να δείξουμε ότι οι κανονικές γλώσσες - εκφράσεις και τα πεπερασμένα αυτόματα είναι ισοδύναμα σε εκφραστική δυνατότητα έχουμε να.
Ενότητα 9 : Κανονικές Εκφράσεις Αλέξανδρος Τζάλλας
Ανάπτυξη Εκπαιδευτικού Λογισμικού
Αρχές Πληροφορικής Ενότητα # 11: Επεξεργασία κειμένου - LibreOffice
Ενότητα 8 : Αυτόματα NFA - DFA Αλέξανδρος Τζάλλας
Βάσεις Δεδομένων και web-based Εφαρμογές
Ισοδυναμία ΜΠΑ με ΠΑ Για κάθε ΜΠΑ Μ υπάρχει αλγόριθμος ο οποίος κατασκευάζει ΠΑ Μ’ αιτιοκρατικό ώστε να αναγνωρίζουν την ίδια ακριβώς γλώσσα. Καθώς το.
Διάταξη τίτλου Υπότιτλος.
Διάταξη τίτλου Υπότιτλος.
Αρχές Πληροφορικής Ενότητα # 3: Το εσωτερικό του υπολογιστή
Αρχές Πληροφορικής Ενότητα # 7: Εργονομία και σχολικά εργαστήρια
Διάταξη τίτλου Υπότιτλος.
Διάταξη τίτλου Υπότιτλος.
Καλώς ορίσατε στο PowerPoint
Διάταξη τίτλου Υπότιτλος.
Διάταξη τίτλου Υπότιτλος.
Διάταξη τίτλου Υπότιτλος.
Διάταξη τίτλου Υπότιτλος.
Τίτλος με διάταξη εικόνων
Διάταξη τίτλου Υπότιτλος.
Διάταξη τίτλου Υπότιτλος.
ΔΙΑΤΑΞΗ ΤΙΤΛΟΥ Υπότιτλος.
Μεταγράφημα παρουσίασης:

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

Η κλάση των κανονικών γλωσσών είναι κλειστή ως προς την ένωση

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}

Q = {(r 1, r 2 ) | r 1 ∈ Q 1 και r 2 ∈ Q 2 } Σ = Σ 1 ∪ Σ 2 δ((r 1, r 2 ), a) = (δ 1 (r 1, a), δ 2 (r 2, a)) q 0 = (q 1, q 2 ) F = {(r 1, r 2 ) | r 1 ∈ F 1 ή r 2 ∈ F 2 }

L 1, L 2 κανονικές -> L 1 UL 2 κανονική L 1 = {w | |w| μονό και ξεκινά με «0» ή ζυγό και ξεκινά με «1»} L 2 = {w | w = ε ή έχει «1» σε κάθε μονή του θέση}

L 1, L 2 κανονικές -> L 1 ∩L 2 κανονική

L 1, L 2 κανονικές -> L 1 UL 2 κανονική

Η κλάση των κανονικών γλωσσών είναι κλειστή ως προς την συναρμογή

Ανταιτιοκρατικα πεπερασμένα αυτόματα Από μια κατάσταση ξεκινούν περισσότερα από ένα βέλη μετάβασης Η κενή λέξη ε

Υπολογισμοί

Παράδειγμ α (010110)

Παράδειγμα Αναγνωρίζει λέξεις με 1 στην τρίτη θέση (από το τέλος)

Παράδειγμα (συνέχεια)

Παράδειγμα Αναγνωρίζει λέξεις με 1 στην τρίτη θέση Αναγνωρίζει λέξεις ;;;, ε

Παράδειγμα (μονοσυμβολικό)

Παράδειγμα ε, a, baba, baa b, bb