ΓΛΩΣΣΙΚΗ ΤΕΧΝΟΛΟΓΙΑ ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΜΟΡΦΟΛΟΓΙΑ - ΚΑΝΟΝΙΚΕΣ ΕΚΦΡΑΣΕΙΣ - ΑΥΤΟΜΑΤΑ ΠΕΠΕΡΑΣΜΕΝΩΝ ΚΑΤ/ΣΕΩΝ - MΕΤΑΤΡΟΠΕΙΣ ΠΕΠΕΡΑΣΜΕΝΩΝ ΚΑΤ/ΣΕΩΝ
|
|
- Αοιδή Βιτάλη
- 7 χρόνια πριν
- Προβολές:
Transcript
1 ΓΛΩΣΣΙΚΗ ΤΕΧΝΟΛΟΓΙΑ ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΜΟΡΦΟΛΟΓΙΑ - ΚΑΝΟΝΙΚΕΣ ΕΚΦΡΑΣΕΙΣ - ΑΥΤΟΜΑΤΑ ΠΕΠΕΡΑΣΜΕΝΩΝ ΚΑΤ/ΣΕΩΝ - MΕΤΑΤΡΟΠΕΙΣ ΠΕΠΕΡΑΣΜΕΝΩΝ ΚΑΤ/ΣΕΩΝ
2 Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια του εκπαιδευτικού έργου του διδάσκοντα. Το έργο «Ανοικτά Ακαδημαϊκά Μαθήματα στο Ιόνιο Πανεπιστήμιο» έχει χρηματοδοτήσει μόνο τη αναδιαμόρφωση του εκπαιδευτικού υλικού. Το έργο υλοποιείται στο πλαίσιο του Επιχειρησιακού Προγράμματος «Εκπαίδευση και Δια Βίου Μάθηση» και συγχρηματοδοτείται από την Ευρωπαϊκή Ένωση (Ευρωπαϊκό Κοινωνικό Ταμείο) και από εθνικούς πόρους. 2
3 Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons 3
4 Τι είναι η Υπολογιστική Μορφολογία; Η μελέτη της αυτόματης αντιστοίχισης μιας λέξης στις μορφολογικές πληροφορίες που τη χαρακτηρίζουν και το αντίστροφο Μορφολογική ανάλυση (parsing) cats: cat + N + PL Μορφολογική παραγωγή (generation) cat + N + PL: cats Χρήσιμα εργαλεία για την επίλυση του προβλήματος είναι τα αυτόματα και οι μετατροπείς πεπερασμένων καταστάσεων
5 Γιατί είναι σημαντική; Ως προεπεξεργασία σε συστήματα επεξεργασίας φυσικής γλώσσας π.χ. εξαγωγή πληροφορίας, μηχανική μετάφραση κτλ. Εφαρμογές επεξεργασίας κειμένου π.χ. έλεγχος ορθογραφίας Ανάκτηση πληροφορίας π.χ. stemming Συστήματα επεξεργασίας ομιλίας Χρήση ηλεκτρονικών λεξικών π.χ. λημματοποίηση
6 Μορφολογική ταξινόμηση γλωσσών Απομονωτικές γλώσσες Συνθετικές Γλώσσες Συγκολλητικές γλώσσες Πολυσυνθετικές γλώσσες Κλιτές γλώσσες
7 Απομονωτικές γλώσσες (isolating) Είναι οι γλώσσες που κάθε λέξη αποτελείται από ένα μόρφημα (π.χ. Βιετναμέζικα, Κινέζικα). Σε αντίθεση με τις συνθετικές γλώσσες (synthetic) όπου μια λέξη μπορεί να σχηματίζεται από περισσότερα μορφήματα. Μόρφημα είναι η μικρότερη γλωσσολογική μονάδα που φέρει μορφολογική πληροφορία. Σε αυτές τις γλώσσες κάποιες μορφολογικές πληροφορίες μιας λέξης δεν δηλώνονται εμφανώς (π.χ. στα κινέζικα ο χρόνος και ο αριθμός) gou bu ai chi qingcai (the) dog/s do/does/did not like eat vegetables
8 Πολυσυνθετικές γλώσσες (polysynthetic) Είναι οι γλώσσες που κάθε λέξη αποτελείται από πολλά μορφήματα και αντιστοιχούν σε ολόκληρη πρόταση (γλώσσες Εσκιμώων, όπως η γλώσσα Υupik κεντρικής Αλάσκας) qaya:liyu:lu:ni ήταν τέλειος (-yu-) στο να φτιάχνει (-li-) καγιάκ (qaya:-)
9 Συγκολλητικές γλώσσες (agglutinative) Είναι οι γλώσσες που οι λέξεις τους σχηματίζονται από πολλά μορφήματα με ευδιάκριτα όρια (Τούρκικα, Ουγγρικά, Σουαχίλι) Κάθε μόρφημα εμπεριέχει μια μόνο μορφολογική πληροφορία Cop+luk+ler+imiz+de+ki+ler+den+mi+y+di σκουπίδια+aff+pl+1p/pl+loc+rel+pl+abl+int+aux+past ήταν από εκείνα που ήταν στους σκουπιδοντενεκέδες μας;
10 Κλιτές γλώσσες (inflectional) Είναι οι γλώσσες που χρησιμοποιούν μεγάλο αριθμό μορφημάτων. Ένα μόρφημα εκφράζει ταυτόχρονα πολλές μορφολογικές κατηγορίες. (Ελληνικά, Λατινογενείς γλώσσες) παίζ-ουν: 3o+PL+ACT+PRES/PAST vogli-o: 1ο+SNG+ACT+PRES/PAST
11 Λήμμα (Lemma) Λήμμα είναι ένα σύνολο μορφών της ίδιας λέξης. Οι μορφές έχουν την ίδια ρίζα, το ίδιο μέρος του λόγου, την ίδια έννοια. Παράδειγμα: Οι παρακάτω λέξεις έχουν το ίδιο λήμμα (παίζω): παίζω, παίζεις, παίζει, παίζουμε, έπαιξε
12 Παραγωγή (derivation) Ο σχηματισμός λέξεων διαφορετικών κατηγοριών από το ίδιο λήμμα establish (V) establish+ment (N) establish+ment+ary (Adj) establish+ment+ari+an (N) establish+ment+ari+an+ism (N) dis+establish+ment+ari+an+ism (N) anti+dis+establish+ment+ari+an+ism (N)
13 Προσφυματοποίηση (affixation) Και η κλίση και η παραγωγή στηρίζονται στην προσφυματοποίηση (εισαγωγή προθέματος, κατάληξης, ενθέματος). Πρόθεμα (prefix): ξε-πλένω Ένθεμα (infix): δι-έ-σχισα Κατάληξη (suffix): κατεργαρ-άκος
14 Μόρφημα Μόρφημα: ΓΕΝΙΚΗ Μορφές: Διαφορετικές μορφές ανάλογα με το λήμμα και τα χαρακτηριστικά του {-ας} / {-ου} / {-ους} / {-α}... χώρ-ας λόγ-ου λάθ-ους πατέρ-α Διαφορετικές μορφές για το ίδιο λήμμα γράφ {-ονταν} / {-όντανε} / {-όντουσαν}
15 Κανονικές εκφράσεις (Regular Expressions) Οι κανονικές εκφράσεις είναι αλγεβρικές εκφράσεις που αντιπροσωπεύουν ένα πρότυπο (pattern) ακολουθίας συμβολοσειρών (strings). Χρησιμοποιούνται για την αναζήτηση συμβολοσειρών σε κείμενο για τον τυπικό ορισμό μιας γλώσσας Παραδείγματα Απλή ακολουθία χαρακτήρων /δώρο/ Δώσε μου το δώρο μου. /!/ Δεν είσαι καλά! /αδερφό μου/ Μίλησα στον αδερφό μου χτές. Πολλαπλή ταυτοποίηση /[Δδ]ώρο/ δώρο, Δώρο /[ ]/ όλα τα ψηφία /[3-5]/ 3,4,5 (τα ψηφία από το 3 ως το 5)
16 ΚΕ: Παραδείγματα (συν) Άρνηση /[^α]/ /[^0-9]/ Προαιρετικότητα /πατέρας?/ Επανάληψη Λες σαχλαμάρες ταυτοποιείται με όλα εκτός από ψηφία πατέρα, πατέρας (ο χαρ/ρας ακριβώς πριν από το? μπορεί να υπάρχει ή όχι) ο χαρ/ρας ακριβώς πριν από το * μπορεί να υπάρχει καμία ή περισσότερες φορές /μπα*/ μπ, μπα, μπαα, μπααα, μπαααα,... /[αβ]*/ αααα, ββββββββ, αβαβαβαβ, κενό,... (ο χαρ/ρας ακριβώς πριν από το! μπορεί να υπάρχει μία ή περισσότερες φορές) /μπα!/ μπα, μπαα, μπααα, μπαααα,... To! πολλές φορές συναντάται ως +
17 ΚΕ: Παραδείγματα (συν) Χαρακτήρας μπαλαντέρ (.) /φ.λο/ φίλο, φύλο Αρχή γραμμής κειμένου /^Το/.... Το σπίτι μου... Τέλος γραμμής κειμένου /ωραίο\.$/...είναι ωραίο. Επίσης... Διάζευξη /σκύλος γάτα/ Αυτός είναι ο σκύλος και αυτή είναι η γάτα μου. /σκύλο(ς ι)/ σκύλος, σκύλοι Αρχή-τέλος λέξης /\bστο\b/ Με αποστομώνει στο τέλος.
18 ΚΕ: Προτεραιότητα τελεστών παρενθέσεις () μετρητές? + * αρχή/ τέλος γραμμής/λέξης ^ $ \b διάζευξη
19 Παραδείγματα Έστω ότι θέλω να φτιάξω μια ΚΕ που να βρίσκει το άρθρο το μέσα σε ένα κείμενο. /το/ Δεν βρίσκει το Το. /[Ττ]ο/ Βρίσκει και τα: στο, απότομο κλπ. /\b[tτ]ο\b/ [^A-Za-z][A-Za-z]+ing[^A-Za-z] [^A-Za-z][Tt]he[^A-Za-z] Για κάθε μια από τις ακόλουθες ΚΕ δώστε δυο συμβολοσειρές που ανήκουν στην γλώσσα που αναπαριστά η ΚΕ και δυο που δεν ανήκουν. 1) a*b* 2) a(ba)*a
20 Αυτόματα πεπερασμένων καταστάσεων (Finite State Automata - FSAs) Ένα ΑΠΚ είναι ένας γράφος που αποτελείται από κόμβους (καταστάσεις) και κατευθυνόμενα βέλη (μεταβάσεις), που αντιστοιχούν στα σύμβολα ενός αλφαβήτου Μια κατάσταση ορίζεται ως αρχική Συμβολίζεται με ένα εισερχόμενο βέλος Μια ή περισσότερες καταστάσεις ορίζονται ως τελικές ή αποδεκτές Συμβολίζονται με διπλό κύκλο
21 ΑΠΚ: Παράδειγμα baa! baaa! baaaa! Αυτό το αυτόματο είναι ισοδύναμο με την κανονική έκφραση /baaa*\!/
22 Aναγνώριση αλφαριθμητικών με ΑΠΚ: Μη αποδεκτή λέξη q 0 Σε κάθε κελί της ταινίας υπάρχει και ένας χαρακτήρας. Η αρχική κατάσταση δείχνει στην αρχή του πρώτου κελιού. Αν ο χαρακτήρας εισόδου ταιριάζει με τον χαρακτήρα στο βέλος της αντίστοιχης κατάστασης του αυτομάτου, περνάει η διαδικασία στην επόμενη κατάσταση και η ταινία προχωράει στο επόμενο κελί. Αν φτάσουμε στην τελική κατάσταση όταν μας τελειώσουν οι χαρακτήρες εισόδου (κελιά), τότε η λέξη είναι αποδεκτή. Αλλιώς απορρίπτεται. a b a! b
23 Aναγνώριση αλφαριθμητικών με ΑΠΚ: Αποδεκτή λέξη
24 Πίνακας Μετάβασης Καταστάσεων
25 Τυπικός Ορισμός ενός ΑΠΚ Q: ένα πεπερασμένο σύνολο καταστάσεων (q 0, q 1, ) Σ: ένα πεπερασμένο αλφάβητο συμβόλων εισόδου q 0 : η αρχική κατάσταση F: οι τελικές καταστάσεις (υποσύνολο του Q) δ(q,i): η συνάρτηση μετάβασης καταστάσεων. Δεδομένης μιας κατάστασης q και ενός συμβόλου εισόδου i, επιστρέφει μια νέα κατάσταση q
26 Τυπικές Γλώσσες (Formal Languages) H τυπική γλώσσα είναι ένα σύνολο από αλφαριθμητικά (λέξεις). Κάθε λέξη απαρτίζεται από σύμβολα. Το σύνολο των συμβόλων είναι το αλφάβητο της γλώσσας. Το αλφάβητο του προηγούμενου παραδείγματος είναι το σύνολο Σ={a, b,!} H τυπική γλώσα του προηγούμενου παραδείγματος είναι άπειρο σύνολο L={baa!, baaa!, baaaa!, baaaaa!, }
27 Παράδειγμα ΑΠΚ Το αλφάβητο μπορεί να είναι και υψηλότερου επιπέδου, να αποτελείται από λέξεις αντί για σύμβολα. Τα αγγλικά χρηματικά ποσά (μέχρι το ποσό $99.99)
28 Ντετερμινιστικά-Μη ντετερμινιστικά ΑΠΚ Deterministic FSA (DFSA): Η αναγνώριση μιας συμβολοσειράς δεν υπόκειται σε επιλογές. Non-Deterministic FSA (NFSA): Όταν από μία κατάσταση και με την ίδια είσοδο, το FSA έχει περισσότερες από μια επιλογές για την κατάσταση που θα μετακινηθεί (σχ.1). Όταν έχω μεταβάσεις ε (ε-transitions). Οι μεταβάσεις αυτές (κενά τόξα) με μεταφέρουν από μια κατάσταση σε άλλη χωρίς να λαμβάνεται υπόψη η είσοδος ή χωρίς να έχω είσοδο (σχ.2). Σχήμα 1 Σχήμα 2
29 Πίνακας Μετάβασης NFSA Προστίθεται μια επιπλέον στήλη για το κενό τόξο Οι μεταβάσεις είναι σύνολα καταστάσεων Input State b a! ε 0 1 Ø Ø Ø 1 Ø 2 Ø Ø 2 Ø 2,3 Ø Ø 3 Ø Ø 4 2 4: Ø Ø Ø Ø
30 Αναγνώριση με ΝFSA Μια λέξη μπορεί να απορρίπτεται λανθασμένα από ένα NFSA επειδή επιλέχτηκε το λάθος τόξο. Αυτό αντιμετωπίζεται Με σήμανση του κελιού της ταινίας στο οποίο έχουμε φτάσει μέχρι την στιγμή που εμφανίζεται η μη ντετερμινιστική επιλογή. Έτσι, αν αποδειχθεί ότι κάναμε λάθος επιλογή μπορούμε να γυρίσουμε πίσω και να επιλέξουμε διαφορετικό μονοπάτι. Με έλεγχο της συνέχειας της εισόδου. Κοιτάω από πριν πώς εξελίσσεται η είσοδος και επιλέγω ανάλογα. Με παράλληλη εξέταση εναλλακτικών μονοπατιών.
31 Αναγνώριση με NFSA Η αναγνώριση συμβολοσειρών με NFSA μπορεί να θεωρηθεί ως αναζήτηση σε ένα χώρο καταστάσεων Η σειρά με την οποία εξετάζονται οι καταστάσεις (η απόφαση για το ποιο μονοπάτι θα ακολουθηθεί) επηρεάζει την επίδοση Αναζήτηση σε βάθος ή αναζήτηση σε πλάτος Για μεγάλους χώρους καταστάσεων είναι απαραίτητο να χρησιμοποιηθούν πιο προηγμένες τεχνικές αναζήτησης (Δυναμικός προγραμματισμός ή Α*)
32 Μορφολογική Ανάλυση-Μορφολογική Αναγνώριση Μορφολογική Αναγνώριση: Αποδέχεται ή απορρίπτει λέξεις gooses x goose geese Μορφολογική Ανάλυση (Parsing): Εξάγει μορφολογική πληροφορία σχετικά με μία λέξη (λήμμα, μορφολογικά χαρακτηριστικά) geese: goose + N + PL cats: cat + N + PL ground: ground +N +SG Μορφολογική Σύνθεση (Generation/Synthesis): Σχηματίζει μια λέξη από το λήμμα και τα μορφολογικά της χαρακτηριστικά (η αντίθετη διαδικασία από την ανάλυση)
33 Μορφολογικός Αναλυτής Ένας μορφολογικός αναλυτής αποτελείται από Λεξικό: μία λίστα από λήμματα ή καταλήξεις μιας γλώσσας, μαζί με τη βασική πληροφορία που τα χαρακτηρίζουν Π.χ. dog: reg-noun goose: irreg-sg-noun geese: irreg-pl-noun -s: plural-suffix Μορφοτακτικοί κανόνες: ένα μοντέλο διάταξης των μορφημάτων που καθορίζει ποιες κατηγορίες μορφημάτων ακολουθούνται από άλλες κατηγορίες (π.χ. ότι το μόρφημα του πληθυντικού στα αγγλικά ακολουθεί το ουσιαστικό) Ορθογραφικοί κανόνες: μοντελοποιούν ορθογραφικές αλλαγές που συμβαίνουν στις λέξεις μίας γλώσσας (π.χ. city+s -> cities)
34 Λεξικό Στην πιο απλή περίπτωση είναι ένα σύνολο από όλες τις λέξεις της γλώσσας: a, AAA, AA, Aachen, aardvark, aardwolf... Δεν είναι πρακτικό να αποθηκεύσουμε όλες τις δυνατές λέξεις μιας γλώσσας Για μερικές γλώσσες (Φιλανδικά, Τουρκικά) αυτό είναι αδύνατο Συνήθως αποθηκεύονται μόνο οι ρίζες και οι καταλήξεις Στην ιδεατή περίπτωση όλες οι πιθανές λέξεις (π.χ. ακρωνύμια, κύρια ονόματα κτλ.) πρέπει να βρίσκονται στο λεξικό
35 Μορφοτακτικοί κανόνες Συνήθως αναπαριστάνονται με ΑΠΚ Π.χ. Ένα απλό FSA για το σχηματισμό πληθυντικού αριθμού στα Αγγλικά:
36 Μορφολογία αγγλικών επιθέτων clear, clearer, clearest, clearly, unclear, unclearly cool, cooler, coolest, coolly big, bigger, biggest, unbig, bigly red, redder, reddest, redly real, really, realer, realest un- adj-root -er -est -ly q 0 q 1 q 2 q 3 ε
37 Πολυπλοκότητα Ένα ΑΠΚ για περιγραφή τμήματος της αγγλικής παραγωγικής μορφολογίας
38 Μορφολογική Αναγνώριση με ΑΠΚ
39 Μορφολογική Ανάλυση Μορφολογία 2 επιπέδων (Two-level Morphology) Επιφανειακό επίπεδο λέξης (surface level): η λέξη όπως αυτή εμφανίζεται σε ένα κείμενο Λεξικολογικό επίπεδο λέξης (lexical level): μια ακολουθία (συνένωση) μορφημάτων που σχηματίζουν την λέξη Η μορφολογία 2 επιπέδων αναπαριστά μια λέξη σαν μια αντιστοιχία ανάμεσα στο λεξικολογικό και το επιφανειακό επίπεδο
40 Μετατροπέας Πεπερασμένων Καταστάσεων (Finite State Transducer - FST) O ΜΠΚ πραγματοποιεί την αντιστοιχία μεταξύ των 2 επιπέδων Ο ΜΠΚ είναι ένα αυτόματο με 2 ταινίες που αναγνωρίζει ή παράγει ζευγάρια συμβολοσειρών. Ο ΜΠΚ είναι μια μηχανή που διαβάζει μια συμβολοσειρά και παράγει μια άλλη.
41 Μετατροπέας Πεπερασμένων Καταστάσεων Σαν μηχανή αναγνώρισης, ο ΜΠΚ παίρνει σαν είσοδο δύο συμβολοσειρές και βγάζει ως έξοδο Αποδοχή, εάν το ζεύγος των συμβολοσειρών εμπεριέχεται στην γλώσσα, και Απόρριψη, εάν δεν εμπεριέχεται Σαν μηχανή μετάφρασης, ο ΜΠΚ παίρνει μια συμβολοσειρά και παράγει μια άλλη συμβολοσειρά
42 Τυπικός ορισμός ενός ΜΠΚ Q: ένα πεπερασμένο σύνολο καταστάσεων (q 0, q 1, ) Σ: ένα πεπερασμένο αλφάβητο ζευγών συμβόλων i:o, όπου i είναι ένα σύμβολο από το αλφάβητο εισόδου και o ένα σύμβολο από το αλφάβητο εξόδου (το ε μπορεί να ανήκει και στα δύο αλφάβητα) Π.χ. Σ= {a:a, b:b,!:!, a:!, a:b, b:a, a:ε, ε:!} q 0 : η κατάσταση εκκίνησης F: οι τελικές καταστάσεις (υποσύνολο του Q) δ(q,i:o): η συνάρτηση μετάβασης. Δεδομένης μίας κατάστασης q και μίας εισόδου i, επιστρέφει μία νέα κατάσταση q.
43
44 ΜΠΚ και Μορφολογία 2 επιπέδων Είναι βολικό να θεωρήσουμε ότι ένας ΜΠΚ έχει δύο ταινίες Λεξικολογική ταινία (lexical tape) Επιφανειακή ταινία (surface tape) Κάθε ζεύγος συμβόλων a:b εκφράζει πώς αντιστοιχίζεται ένα σύμβολο της μίας ταινίας σε κάποιο σύμβολο της άλλης Στην λεξικολογική ταινία υπάρχουν τα σύμβολα του αριστερού μέρους των ζευγών a:b Στην επιφανειακή ταινία υπάρχουν τα σύμβολα του δεξιού μέρους των ζευγών a:b Σύμβολα όπως το a:a καλούνται default pairs και συνήθως αναπαρίστανται απλά ως a.
45 Από ΑΠΚ σε ΜΠΚ Το ΑΠΚ για τον σχηματισμό του πληθυντικού στα Αγγλικά Η εξέλιξη του ΑΠΚ σε ΜΠΚ με την προσθήκη των μορφ/κών χαρακτηριστικών +SG, +PL, +Ν. Τα χαρ/κά αυτά σχηματίζουν ζευγάρια με τα σύμβολα ε (κενή συμβολοσειρά) ^ (όριο μορφήματος) # (όριο λέξης) γιατί δεν εμφανίζονται στην ταινία εξόδου.
46 Το λεξικό του ΜΠΚ reg-noun irreg-sg-noun irreg-pl-noun fox goose g o:e o:e s e cat sheep sheep dog mouse m o:i u:ε s:c e
47
48 Το λεξικό του ΜΠΚ
49 Συνδυασμός των 2 ΜΠΚ Οι δύο ΜΠΚ (για το λεξικό και τους μορφολογικούς κανόνες) μπορούν να ενωθούν σειριακά (cascaded) Η έξοδος του ΜΠΚ για το λεξικό οδηγείται στην είσοδο του ΜΠΚ των μορφολογικών κανόνων Με την διαδικασία της σύνθεσης (composition) είναι δυνατό από πολλούς ΜΠΚ να δημιουργήσουμε έναν μοναδικό ΜΠΚ δυο ταινιών που να αντιστοιχεί από τη λεξικολογική μορφή στην επιφανειακή μορφή
50 Ο συνδυασμένος ΜΠΚ
51 Ορθογραφικοί κανόνες Το προηγούμενο FST θα αποδεχόταν τη λέξη foxs και θα απέρριπτε τη λέξη foxes Χρειάζεται να χειριστούμε τις αλλαγές που συμβαίνουν συχνά στα όρια των μορφημάτων Αυτό γίνεται με τους ορθογραφικούς κανόνες Π.χ. εισάγεται ένα e μετά τα -s, -z, -x, -ch, -sh και πριν από το -s (watch/watches, ax/axes) a -> b/c d σημαίνει το a γίνεται b όταν βρίσκεται μεταξύ των c και d ε ->e/{x,s,z}^ s#. Το -y γίνεται -ie πριν το -s (try/tries, sky/skies)
52 Ορθογραφικοί κανόνες και ΜΠΚ Ένας ορθογραφικός κανόνας θεωρεί το εξωτερικό (δεύτερο) επίπεδο του προηγούμενου ΜΠΚ (το επίπεδο της συνένωσης των μορφημάτων) σαν ενδιάμεσο (intermediate) επίπεδο. Παράγει ένα καινούριο επιφανειακό επίπεδο, το οποίο αναπαριστά μια συνένωση καινούριων μορφημάτων που είναι ορθογραφικά σωστή. ΜΠΚ ΜΠΚ
53 Δημιουργία του ΜΠΚ για τον προηγούμενο ορθογραφικό κανόνα q 0 q 1 q 2 x, z, s ^ : ε ε : e q 3 s q 4 Μόλις μέσα στην λέξη μου φτάσω σε γράμμα x, z ή s Kαι το γράμμα αυτό αποτελεί τέλος μορφήματος, πρέπει να σβηστεί το όριο του μορφήματος Προστίθεται το γράμμα e Ακολουθεί το γράμμα s q 0 q 1 q 2 x, z, s ^ : ε ε : e q 3 s q 4 H q 0 είναι τελική κατάσταση για όλα τα default pairs που είναι άσχετα με τον κανόνα. Η q 1 είναι τελική για τις λέξεις που περιλαμβάνουν x, z, s. H q 2 είναι τελική κατάσταση για όσες λέξεις το x, z, ή s είναι τέλος μορφήματος.
54 Δημιουργία του ΜΠΚ για τον προηγούμενο ορθογραφικό κανόνα (συν) x, s, z q 0 q 1 q 2 x, z, s ^ : ε ε : e q 3 s q 4 other other other z, x Πρέπει να εξασφαλιστεί η κάλυψη και των υπόλοιπων (άσχετων με τον συγκεκριμένο κανόνα) περιπτώσεων. #
55 Ορθογραφικοί κανόνες και ΜΠΚ Πρέπει να προστεθεί μια ακόμα κατάσταση (η q 5 ), η οποία θα εξασφαλίζει ότι σε κάθε περίπτωση που θα ικανοποιείται το πριν και μετά περιβάλλον, πάντα θα προστίθεται το e. Έτσι από την q 2, (δηλ. πριν προστεθεί το e) αν έρθει s πάω στην q 5, και από εκεί δεν μπορεί να έχω τέλος λέξης (#).
56 Πίνακας Μετάβασης
57 Συνδυασμός των ΜΠΚ του Λεξικού και των Κανόνων Αρχικά ο ΜΠΚ λεξικού αντιστοιχίζει το λεξιλογικό επίπεδο στο ενδιάμεσο επίπεδο (απλή συνένωση μορφημάτων) Ένας αριθμός ΜΠΚ κανόνων τρέχουν παράλληλα (ή ως cascade) και αντιστοιχίζουν το ενδιάμεσο επίπεδο στο επιφανειακό επίπεδο Ο ΜΠΚ λεξικού και οι ΜΠΚ των ορθογραφικών κανόνων σχηματίζουν ένα cascade. top-down (generation) bottom-up (parsing)
58 Συνδυασμός των ΜΠΚ του Λεξικού και των Κανόνων
59 Συνδυασμός των ΜΠΚ του Λεξικού και των Κανόνων
60 Ανάλυση-Παραγωγή Η ανάλυση (parsing) είναι πιο περίπλοκη από την παραγωγή (generation) λόγω της ασάφειας. Π.χ. η λέξη foxes μπορεί να αναλυθεί ως fox+v+3sg (foxes: κοροϊδεύει) και fox+n+pl (foxes: αλεπούδες) Η αποσαφήνιση (disambiguation) δεν μπορεί να επιλυθεί χωρίς τα συμφραζόμενα Ο ΜΠΚ πρέπει να δημιουργήσει και τις δύο αναλύσεις Επίσης, προκαλούνται ασάφειες εξαιτίας του ε ή λόγω πολλαπλών πιθανών μονοπατιών
61 Two-Level Morphology Software PC-KIMMO Μορφολογικές περιγραφές για τα Αγγλικά και άλλες γλώσσες είναι διαθέσιμες
62 Stemming Stemming ονομάζεται η εύρεση της ρίζας μιας λέξης marsupials -> marsupial trying -> try Σε πολλές εφαρμογές (ιδίως ανάκτησης πληροφορίας) δεν είναι απαραίτητη πλήρης μορφολογική ανάλυση (που απαιτεί πολύπλοκους κανόνες και λεξικά) Απλά αρκεί να βρεθεί ότι δύο λέξεις έχουν την ίδια ρίζα.
63 Porter Stemmer (1980) Πρόκειται για ευρέως διαδεδομένο stemmer Βασίζεται σε έναν αριθμό απλών κανόνων ΑΤΙΟΝΑL -> ATE (relational -> relate) ING-> ε (knowing -> know) Οι stemmers δεν έχουν απόλυτη ακρίβεια Λάθη του Porter stemmer: organization -> organ policy -> police Περιπτώσεις που ο Porter stemmer δεν καλύπτει: matrices -> matrix explain -> explanation
64 Άσκηση Στον Porter Stemmer εφαρμόζονται οι ακόλουθοι κανόνες για την λημματοποίηση μιας λέξης: Xsses -> Xss Xies -> Xi Xss -> Xss Xs -> X caresses -> caress ponies -> poni caress -> caress cats -> cat Xeed -> Xee, ( X >1) feed -> fee, agreed -> agree Xed -> X, (X contains vowel) plastered -> plaster, bled -> bled Xing -> X, (X contains vowel) motoring -> motor, sing -> sing Χ: οποιαδήποτε ακολουθία χαρ/ρων Να υλοποιηθούν οι κανόνες αυτοί με ΜΠΚ.
65 1 ος κανόνας: Xsses -> Xss other # s s q 0 q 1 q 2 e:ε q 3 s:ε q 4 other other other
66 2 ος κανόνας: Xies -> Xi other # i e:ε q 0 q 1 q 2 s:ε q 3 other other
67 3 ος κανόνας: Xss -> Xss other s s q 0 q 1 # q 2 other other
68 4 ος κανόνας: Xeed -> Xee, X >1 # # other # other other e e d:ε q 0 q 1 q 2 q 3 q 4 q 5 other other
69 5 ος κανόνας: Xed -> X, (τo X περιέχει φωνήεν) other other # φωνήεν e:ε q 0 q 1 q 2 d:ε q 3 other
70 6 ος κανόνας: Xing -> X, (τo X περιέχει φωνήεν) other other # φωνήεν i:ε q 0 q 1 q 2 n:ε q 3 g:ε q 4
71 O αλγόριθμος Soundex O αλγόριθμος Soundex μετατρέπει κύρια ονόματα σε κωδικούς: Jurafsky -> J612 Jarofski -> J612 Clinton -> C453 Bush -> B200
72 O αλγόριθμος Κράτησε το πρώτο γράμμα του ονόματος και αγνόησε όλες τις εμφανίσεις των μη-αρχικών a, e, h, i, o, u, w, y Αντικατέστησε τα υπόλοιπα γράμματα με τους ακόλουθους αριθμούς: b, f, p, v -> 1 c,g, j, k, q, s, x, z -> 2 d,t -> 3 l -> 4 m, n -> 5 r -> 6 Αντικατέστησε τυχόν ακολουθίες ίδιων αριθμών με ένα απλό αριθμό (666->6) Μετέτρεψε στη μορφή Γράμμα Ψηφίο Ψηφίο Ψηφίο αγνοώντας τα ψηφία μετά το τρίτο (αν χρειάζεται) ή προσθέτοντας μηδενικά στο τέλος (αν χρειάζεται)
73 Υλοποίηση ΜΠΚ (1 ο βήμα) Κράτησε το πρώτο γράμμα του ονόματος και αγνόησε όλες τις εμφανίσεις των μη-αρχικών a, e, h, i, o, u, w, y Αντικατέστησε τα υπόλοιπα γράμματα με τους ακόλουθους αριθμούς: b, f, p, v -> 1 c,g, j, k, q, s, x, z -> 2 d,t -> 3 l -> 4 m, n -> 5 r -> 6 FST1 a e h
74 Υλοποίηση ΜΠΚ (2 ο βήμα) Αντικατέστησε τυχόν ακολουθίες ίδιων αριθμών με έναν απλό αριθμό (666->6)
75 Υλοποίηση ΜΠΚ (3 ο βήμα) Μετέτρεψε στη μορφή Γράμμα Ψηφίο Ψηφίο Ψηφίο αγνοώντας τα ψηφία μετά το τρίτο (αν χρειάζεται) ή προσθέτοντας μηδενικά στο τέλος (αν χρειάζεται) any:ε any any any any # q 0 q 1 q 2 q 3 q 4 q 5 FST3 #:0 #:0 #:0 ε:0 ε:0 q 6 q 7 q 8 ε:# q 9
76 Σχεδιασμός
77 Άσκηση για ΑΠΚ
78 Ασκηση Σχεδιάστε το παρακάτω ΑΠΚ
79 Λύση (1/3) Οι καταστάσεις C και D είναι ισοδύναμες
80 Λύση (2/3)
81 Λύση (3/3)
ΓΛΩΣΣΙΚΗ ΤΕΧΝΟΛΟΓΙΑ. Μάθημα 3 ο : Μορφολογία. Γεώργιος Πετάσης. Ακαδημαϊκό Έτος:
ΓΛΩΣΣΙΚΗ ΤΕΧΝΟΛΟΓΙΑ Μάθημα 3 ο : Μορφολογία Γεώργιος Πετάσης Ακαδημαϊκό Έτος: 2012 2013 ΤMHMA MHXANIKΩΝ Η/Υ & ΠΛΗΡΟΦΟΡΙΚΗΣ, Πανεπιστήμιο Πατρών, 2012 2013 Γλωσσική Τεχνολογία, Μάθημα 3 ο, Μορφολογία 1
Διαβάστε περισσότεραΜεταγλωττιστές. Ενότητα 2: Τυπικές γλώσσες (Μέρος 1 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ
Μεταγλωττιστές Ενότητα 2: Τυπικές γλώσσες (Μέρος 1 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό
Διαβάστε περισσότεραΆδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ
Θεωρία Υπολογισμού Ενότητα 8: Πεπερασμένα Αυτόματα Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται
Διαβάστε περισσότεραΆδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ
Θεωρία Υπολογισμού Ενότητα 7: Πεπερασμένη αναπαράσταση γλωσσών Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες,
Διαβάστε περισσότεραΆδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ
Θεωρία Υπολογισμού Ενότητα 14: Γραμματικές Χωρίς Συμφραζόμενα Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες,
Διαβάστε περισσότεραΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ
ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ Ενότητα 1: Εισαγωγή Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται
Διαβάστε περισσότεραΑυτόματα. Παράδειγμα: πωλητής καφέ (iii) Παράδειγμα: πωλητής καφέ (iv) Εισαγωγή στην Επιστήμη των Υπολογιστών 6
Εισαγωγή στην Επιστήμη των Υπολογιστών 3η ενότητα: Αυτόματα και Τυπικές Γραμματικές http://www.corelab.ece.ntua.gr/courses/ Αυτόματα Τρόπος κωδικοποίησης αλγορίθμων. Τρόπος περιγραφής συστημάτων πεπερασμένων
Διαβάστε περισσότεραΜεταγλωττιστές. Ενότητα 4: Τυπικές γλώσσες (Μέρος 3 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ
Μεταγλωττιστές Ενότητα 4: Τυπικές γλώσσες (Μέρος 3 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό
Διαβάστε περισσότεραΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ
ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ Ενότητα 8: Ιδιότητες Γραμματικών χωρίς Συμφραζόμενα Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό
Διαβάστε περισσότεραΜεταγλωττιστές. Ενότητα 5: Λεκτική ανάλυση (Μέρος 1 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ
Μεταγλωττιστές Ενότητα 5: Λεκτική ανάλυση (Μέρος 1 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό
Διαβάστε περισσότεραΆδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ
Θεωρία Υπολογισμού Ενότητα 26: Καθολική Μηχανή Turing Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που
Διαβάστε περισσότεραΕισαγωγή στην Επιστήμη των Υπολογιστών
Εισαγωγή στην Επιστήμη των Υπολογιστών 3η ενότητα: Αυτόματα και Τυπικές Γραμματικές http://www.corelab.ece.ntua.gr/courses/ Αυτόματα Τρόπος κωδικοποίησης αλγορίθμων. Τρόπος περιγραφής συστημάτων πεπερασμένων
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (2)
Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (2) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Αυτόματα Στοίβας (2.2) Τυπικός Ορισμός Παραδείγματα Ισοδυναμία με Ασυμφραστικές
Διαβάστε περισσότεραΑυτόματα. Παράδειγμα: πωλητής καφέ (iii) Παράδειγμα: πωλητής καφέ (iv) Εισαγωγή στην Επιστήμη των Υπολογιστών. Προδιαγραφές
Εισαγωγή στην Επιστήμη των Υπολογιστών 4ο εξάμηνοσ.h.m.μ.y. & Σ.Ε.Μ.Φ.Ε. http://www.corelab.ece.ntua.gr/courses/ 3η ενότητα: Αυτόματα και Τυπικές Γραμματικές Στάθης Ζάχος Συνεργασία: Κωστής Σαγώνας Επιμέλεια:
Διαβάστε περισσότεραMεταγλωττιστές. 4 ο εργαστηριακό μάθημα Λεξική ανάλυση και flex. Θεωρία
Mεταγλωττιστές 4 ο εργαστηριακό μάθημα Λεξική ανάλυση και flex Σκοπός: Το μάθημα αυτό αναφέρεται: στις κανονικές εκφράσεις στην δομή και το περιεχόμενο του αρχείου-εισόδου του flex Γενικά Θεωρία Κατά την
Διαβάστε περισσότεραΆδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ
Θεωρία Υπολογισμού Ενότητα 13: Ελαχιστοποίηση αυτομάτων Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που
Διαβάστε περισσότεραΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ
ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ Ενότητα 3: Μη-ντετερμιμιστικά πεπερασμένα αυτόματα Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό
Διαβάστε περισσότεραΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ
ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ Ενότητα 4: Μη-ντετερμινιστικά πεπερασμένα αυτόματα με ε-μεταβάσεις Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons.
Διαβάστε περισσότεραΘεωρία Υπολογισμού Αλφάβητα, Γλώσσες, Κανονικές Εκφράσεις
1 Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου Θεωρία Υπολογισμού Ενότητα 6 : Αλφάβητα, Γλώσσες, Κανονικές Εκφράσεις Αλέξανδρος Τζάλλας 2 Ανοιχτά Ακαδημαϊκά Μαθήματα στο Τμήμα Μηχανικών
Διαβάστε περισσότερα«Τεχνογλωσσία VIII» Εξαγωγή πληροφοριών από κείμενα
«Τεχνογλωσσία VIII» Εξαγωγή πληροφοριών από κείμενα Σεμινάριο 3: Μορφολογική Ανάλυση Ευάγγελος Καρκαλέτσης, Γεώργιος Πετάσης Εργαστήριο Τεχνολογίας Γνώσεων & Λογισμικού, Ινστιτούτο Πληροφορικής & Τηλεπικοινωνιών,
Διαβάστε περισσότεραΜεταγλωττιστές. Ενότητα 6: Λεκτική ανάλυση (Μέρος 2 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ
Μεταγλωττιστές Ενότητα 6: Λεκτική ανάλυση (Μέρος 2 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό
Διαβάστε περισσότεραΜεταγλωττιστές. Γιώργος Δημητρίου. Μάθημα 2 ο. Πανεπιστήμιο Θεσσαλίας - Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών
Γιώργος Δημητρίου Μάθημα 2 ο Αλφάβητα και Γλώσσες Αλφάβητο: Ένα μη κενό και πεπερασμένο σύνολο συμβόλων Γλώσσα: Ένα οποιοδήποτε υποσύνολο των συμβολοσειρών ενός αλφαβήτου (οι προτάσεις της γλώσσας, πχ.
Διαβάστε περισσότεραΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ
ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ Ενότητα 7: Αυτόματα στοίβας Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες,
Διαβάστε περισσότεραΆδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ
Θεωρία Υπολογισμού Ενότητα 10: Ισοδυναμία ντετερμινιστικών και μη ντετερμινιστικών αυτομάτων Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για
Διαβάστε περισσότεραΆδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ
Θεωρία Υπολογισμού Ενότητα 18: Λήμμα Άντλησης για ΓΧΣ Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που
Διαβάστε περισσότεραΓΛΩΣΣΙΚΗ ΤΕΧΝΟΛΟΓΙΑ ΣΥΝΤΑΞΗ: ΟΡΘΟΛΟΓΙΚΗ ΠΡΟΣΕΓΓΙΣΗ (FORMAL SYNTAX)
ΓΛΩΣΣΙΚΗ ΤΕΧΝΟΛΟΓΙΑ ΣΥΝΤΑΞΗ: ΟΡΘΟΛΟΓΙΚΗ ΠΡΟΣΕΓΓΙΣΗ (FORMAL SYNTAX) Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια του εκπαιδευτικού έργου του διδάσκοντα. Το έργο «Ανοικτά Ακαδημαϊκά
Διαβάστε περισσότεραΕλληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Θεωρία Υπολογισμού. Ενότητα 11 : Γραμματικές χωρίς συμφραζόμενα. Αλέξανδρος Τζάλλας
1 Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Θεωρία Υπολογισμού Ενότητα 11 : Γραμματικές χωρίς συμφραζόμενα Αλέξανδρος Τζάλλας 2 Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Τμήμα Μηχανικών Πληροφορικής
Διαβάστε περισσότεραΛογική Δημήτρης Πλεξουσάκης Φροντιστήριο 6: Προτασιακός Λογισμός: Μέθοδος Επίλυσης Τμήμα Επιστήμης Υπολογιστών
Λογική Δημήτρης Πλεξουσάκης Φροντιστήριο 6: Προτασιακός Λογισμός: Μέθοδος Επίλυσης Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται στην άδεια χρήσης Creative Commons και
Διαβάστε περισσότεραΚανονικές Γλώσσες. ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών
Κανονικές Γλώσσες ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Κανονικές Γλώσσες Κανονική γλώσσα αν
Διαβάστε περισσότεραΠανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Ψηφιακή Σχεδίαση
Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Ψηφιακή Σχεδίαση Ενότητα 9: Ελαχιστοποίηση και Κωδικοποίηση Καταστάσεων, Σχεδίαση με D flip-flop, Σχεδίαση με JK flip-flop, Σχεδίαση με T flip-flop Δρ. Μηνάς
Διαβάστε περισσότεραΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Δημήτρης Πλεξουσάκης
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Δημήτρης Πλεξουσάκης 2ο μέρος σημειώσεων: Συστήματα Αποδείξεων για τον ΠΛ, Μορφολογική Παραγωγή, Κατασκευή Μοντέλων Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης
Διαβάστε περισσότεραΘεωρία Υπολογισμού. Ενότητα 5 : Λογικά Επιχειρήματα, Αλφάβητα & Γλώσσες (2/2) Αλέξανδρος Τζάλλας
1 Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου Θεωρία Υπολογισμού Ενότητα 5 : Λογικά Επιχειρήματα, Αλφάβητα & Γλώσσες (2/2) Αλέξανδρος Τζάλλας 2 Ανοιχτά Ακαδημαϊκά Μαθήματα Τμήμα Μηχανικών
Διαβάστε περισσότεραΠανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 8: Υπολογισιμότητα & Γλώσσες
Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Διακριτά Μαθηματικά Ενότητα 8: Υπολογισιμότητα & Γλώσσες Αν. Καθηγητής Κ. Στεργίου e-mail: kstergiou@uowm.gr Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών
Διαβάστε περισσότεραΥπολογιστικά & Διακριτά Μαθηματικά
Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 4: Διατάξεις Μεταθέσεις Συνδυασμοί Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό
Διαβάστε περισσότεραΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Δημήτρης Πλεξουσάκης 3ο μέρος σημειώσεων: Μέθοδος της Επίλυσης Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται στην άδεια
Διαβάστε περισσότεραΤεχνητή Νοημοσύνη. 21η διάλεξη ( ) Ίων Ανδρουτσόπουλος.
Τεχνητή Νοημοσύνη 21η διάλεξη (2016-17) Ίων Ανδρουτσόπουλος http://www.aueb.gr/users/ion/ 1 Οι διαφάνειες αυτής της διάλεξης βασίζονται στα βιβλία: «Artificial Intelligence A Modern Approach» των. Russel
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (1)
Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες () Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Πεπερασμένα Αυτόματα (Κεφάλαιο., Sipser) Ορισμός πεπερασμένων αυτομάτων και ορισμός του
Διαβάστε περισσότεραΆδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ
Θεωρία Υπολογισμού Ενότητα 12: Κανονικότητα ή μη των γλωσσών Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες,
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing (αυθεντικός ορισμός) η οποία να διαγιγνώσκει τη γλώσσα { w w = (ab) 2m b m (ba) m, m 0 } (β) Να διατυπώσετε
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Πιο κάτω υπάρχει ένα σχεδιάγραμμα που τοποθετεί τις κλάσεις των κανονικών, ασυμφραστικών, διαγνώσιμων και αναγνωρίσιμων γλωσσών μέσα στο σύνολο όλων των γλωσσών. Ακολουθούν
Διαβάστε περισσότεραΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ
ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ Ενότητα 10: Συνδυασμοί μηχανών Turing Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως
Διαβάστε περισσότεραΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ
ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ Ενότητα 5: Μη κανονικές γλώσσες Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες,
Διαβάστε περισσότεραΆδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ
Θεωρία Υπολογισμού Ενότητα 21: Υπολογισμοί ΜΤ - Αναδρομικές Γλώσσες Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως
Διαβάστε περισσότεραΠεριεχόμενα Ορισμός και λειτουργία των μηχανών Turing Θεωρία Υπολογισμού Ενότητα 20: Μηχανές Turing: Σύνθεση και Υπολογισμοί Επ. Καθ. Π. Κατσαρός Τμήμ
Θεωρία Υπολογισμού Ενότητα 20: Μηχανές Turing: Σύνθεση και Υπολογισμοί Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό,
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing (αυθεντικός ορισμός) η οποία να διαγιγνώσκει τη γλώσσα {w 1w 2 w 1 {0,1} * και w 2 = 0 k 1 m όπου k και m
Διαβάστε περισσότεραΕισαγωγή στην Επιστήμη των Υπολογιστών
Εισαγωγή στην Επιστήμη των Υπολογιστών 4ο εξάμηνοσhmμy 6η ενότητα: Αυτόματα, τυπικές γλώσσες, γραμματικές Επιμέλεια διαφανειών: Στάθης Ζάχος, Άρης Παγουρτζής http://www.corelab.ece.ntua.gr/courses/introcs
Διαβάστε περισσότεραΠληροφορική. Εργαστηριακή Ενότητα 3 η : Επεξεργασία Κελιών Γραμμών & Στηλών. Ι. Ψαρομήλιγκος Τμήμα Λογιστικής & Χρηματοοικονομικής
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ Ανώτατο Εκπαιδευτικό Ίδρυμα Πειραιά Τεχνολογικού Τομέα Πληροφορική Εργαστηριακή Ενότητα 3 η : Επεξεργασία Κελιών Γραμμών & Στηλών Ι. Ψαρομήλιγκος Τμήμα Λογιστικής & Χρηματοοικονομικής
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (2)
Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (2) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Αυτόματα Στοίβας (2.2) Τυπικός Ορισμός Παραδείγματα Ισοδυναμία με Ασυμφραστικές
Διαβάστε περισσότεραΚανονικές Γλώσσες. Κανονικές Γλώσσες. Κανονικές Γλώσσες και Αυτόματα. Κανονικές Γλώσσες και Αυτόματα
Κανονικές Γλώσσες Κανονικές Γλώσσες Διδάσκοντες: Φ. Αφράτη, Δ. Φωτάκης Επιμέλεια διαφανειών: Δ. Φωτάκης Κανονική γλώσσα αν παράγεται από κανονική γραμματική. Παραγωγές P (V Σ) Σ * ((V Σ) ε) Παραγωγές μορφής:
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (2)
Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (2) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Κανονικές Εκφράσεις (1.3) Τυπικός Ορισμός Ισοδυναμία με κανονικές γλώσσες Μη Κανονικές
Διαβάστε περισσότεραΠεριεχόμενα Συμβολοσειρές Γλώσσες ΘΥ 6: Συμβολοσειρές & γλώσσες Επ. Καθ. Π. Κατσαρός 24/07/2014 Επ. Καθ. Π. Κατσαρός ΘΥ 6: Συμβολοσειρές & γλώσσες
ΘΥ 6: Συμβολοσειρές & γλώσσες 24/07/2014 Θεωρία Υπολογισμού Ενότητα 6: Συμβολοσειρές & γλώσσες Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons.
Διαβάστε περισσότεραΑναγνώριση Προτύπων Ι
Αναγνώριση Προτύπων Ι Ενότητα 1: Μέθοδοι Αναγνώρισης Προτύπων Αν. Καθηγητής Δερματάς Ευάγγελος Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται
Διαβάστε περισσότεραΜΕΤΑΓΛΩΤΤΙΣΤΕΣ. Στις βασικές έννοιες που σχετίζονται με τη λεξική ανάλυση. Στη δήλωση ορισμό κανονικών εκφράσεων
ΜΕΤΑΓΛΩΤΤΙΣΤΕΣ 2 Ο Εργαστηριακό Μάθημα Λεξική Ανάλυση Σκοπός: Το μάθημα αυτό αναφέρεται: Στις βασικές έννοιες που σχετίζονται με τη λεξική ανάλυση Στη δήλωση ορισμό κανονικών εκφράσεων Θεωρία Πρόλογος
Διαβάστε περισσότεραΜΑΘΗΜΑ: Μεταγλωττιστές
Comment [h1]: Παράδειγμ α: https://ocp.teiath.gr/modules/ exercise/exercise_result.php?course=pey101&eurid=16 9 ΜΑΘΗΜΑ: Μεταγλωττιστές ΔΙΔΑΣΚΩΝ: Άγγελος Μιχάλας ΤΜΗΜΑ: Τμήμα Μηχανικών Πληροφορικής ΤΕ 1
Διαβάστε περισσότεραΕισαγωγή στους Ηλεκτρονικούς Υπολογιστές. 6 ο Μάθημα. Λεωνίδας Αλεξόπουλος Λέκτορας ΕΜΠ. url:
στους Ηλεκτρονικούς Υπολογιστές 6 ο Μάθημα Λεωνίδας Αλεξόπουλος Λέκτορας ΕΜΠ email: leo@mail.ntua.gr url: http://users.ntua.gr/leo Άδεια Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative
Διαβάστε περισσότεραΓΡΑΜΜΙΚΟΣ & ΔΙΚΤΥΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
ΓΡΑΜΜΙΚΟΣ & ΔΙΚΤΥΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Ενότητα 19: Επίλυση Γενικών Γραμμικών Προβλημάτων Σαμαράς Νικόλαος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό
Διαβάστε περισσότεραΆδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ
Θεωρία Υπολογισμού Ενότητα 24: Μη Ντεντερμινιστικές Μηχανές Turing Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως
Διαβάστε περισσότεραΣχεδίαση Γλωσσών Προγραμματισμού Λεξική Ανάλυση Ι. Εαρινό Εξάμηνο Lec 05 & & 26 /02/2019 Διδάσκων: Γεώργιος Χρ.
Σχεδίαση Γλωσσών Προγραμματισμού Λεξική Ανάλυση Ι Εαρινό Εξάμηνο 2018-2019 Lec 05 & 06 25 & 26 /02/2019 Διδάσκων: Γεώργιος Χρ. Μακρής Φάσεις μεταγλώττισης Αρχικό Πρόγραμμα Λεκτική Ανάλυση λεκτικές μονάδες
Διαβάστε περισσότεραΘέματα υπολογισμού στον πολιτισμό
Θέματα υπολογισμού στον πολιτισμό Ενότητα 4: Μοντελοποίηση υπολογισμού: Γραμματικές Εύη Παπαϊωάννου Σχολή Οργάνωσης και Διοίκησης Επιχειρήσεων Τμήμα Διαχείρισης Πολιτισμικού Περιβάλλοντος και Νέων Τεχνολογιών
Διαβάστε περισσότεραΤεχνολογία Πολυμέσων. Ενότητα # 9: Κωδικοποίηση εντροπίας Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής
Τεχνολογία Πολυμέσων Ενότητα # 9: Κωδικοποίηση εντροπίας Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια του εκπαιδευτικού έργου του
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα
Θεωρία Υπολογισμού και Πολυπλοκότητα Κεφάλαιο 10. Μηχανές Turing 20,23 Μαρτίου 2007 Δρ. Παπαδοπούλου Βίκη 1 Μηχανές Turing: Ένα Γενικό Μοντέλο Υπολογισμού Ποια μοντέλα υπολογισμού μπορούν να δεχθούν γλώσσες
Διαβάστε περισσότεραΆδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ
Θεωρία Υπολογισμού Ενότητα 17: Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύπου
Διαβάστε περισσότεραΠρογραμματισμός Υπολογιστών & Υπολογιστική Φυσική
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Προγραμματισμός Υπολογιστών & Υπολογιστική Φυσική Ενότητα 2: Μεταβλητές και Σταθερές Νικόλαος Στεργιούλας Τμήμα Φυσικής Άδειες Χρήσης
Διαβάστε περισσότεραΠοιές οι θεµελιώδεις δυνατότητες και ποιοί οι εγγενείς περιορισµοί των υπολογιστών ; Τί µπορούµε και τί δε µπορούµε να υπολογίσουµε (και γιατί);
Μοντελοποίηση του Υπολογισµού Στοιχεία Θεωρίας Υπολογισµού (): Τυπικές Γλώσσες, Γραµµατικές Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ποιές οι θεµελιώδεις δυνατότητες
Διαβάστε περισσότεραΣτοιχεία Θεωρίας Υπολογισµού (1): Τυπικές Γλώσσες, Γραµµατικές
Στοιχεία Θεωρίας Υπολογισµού (1): Τυπικές Γλώσσες, Γραµµατικές Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 1 /
Διαβάστε περισσότεραΕλληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Θεωρία Υπολογισμού. Ενότητα 9 : Κανονικές Εκφράσεις. Αλέξανδρος Τζάλλας
1 Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου Θεωρία Υπολογισμού Ενότητα 9 : Κανονικές Εκφράσεις Αλέξανδρος Τζάλλας 2 Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Τμήμα Μηχανικών Πληροφορικής
Διαβάστε περισσότεραΜεταγλωττιστές. Ενότητα 3: Τυπικές γλώσσες (Μέρος 2 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ
Μεταγλωττιστές Ενότητα 3: Τυπικές γλώσσες (Μέρος 2 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό
Διαβάστε περισσότεραΗλεκτρονικοί Υπολογιστές
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΧΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Ενότητα 5: Εντολές Αντικατάστασης, Συναρτήσεις και Σχόλια στη C++ Ζαχαρούλα Ανδρεοπούλου Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται
Διαβάστε περισσότεραΥπολογιστικά & Διακριτά Μαθηματικά
Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 8: Σχέσεις - Πράξεις Δομές Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό,
Διαβάστε περισσότεραΕλληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Θεωρία Υπολογισμού. Ενότητα 8 : Αυτόματα NFA - DFA. Αλέξανδρος Τζάλλας
Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου Θεωρία Υπολογισμού Ενότητα 8 : Αυτόματα NFA - DFA Αλέξανδρος Τζάλλας 2 Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Τμήμα Μηχανικών Πληροφορικής
Διαβάστε περισσότεραΕισαγωγή στην Πληροφορική & τον Προγραμματισμό
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ Ανώτατο Εκπαιδευτικό Ίδρυμα Πειραιά Τεχνολογικού Τομέα Εισαγωγή στην Πληροφορική & τον Προγραμματισμό Ενότητα 3 η : Κωδικοποίηση & Παράσταση Δεδομένων Ι. Ψαρομήλιγκος Χ. Κυτάγιας Τμήμα
Διαβάστε περισσότεραΑυτόματα και Υπολογιστικά Μοντέλα Automata and Models of Computation
Αυτόματα και Υπολογιστικά Μοντέλα Automata and Models of Computation Διδάσκων: Στάθης Ζάχος Επιμέλεια Διαφανειών: Μάκης Αρσένης CoReLab ΣΗΜΜΥ - Ε.Μ.Π. Φεβρουάριος 2017 Διδάσκων: Στάθης Ζάχος ( CoReLab
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing που να διαγιγνώσκει την ακόλουθη γλώσσα. { a n b n+2 c n 2 n 2 } Λύση: H ζητούμενη μηχανή Turing μπορεί να
Διαβάστε περισσότεραΤο Πρόβλημα του Περιοδεύοντος Πωλητή - The Travelling Salesman Problem
Το Πρόβλημα του Περιοδεύοντος Πωλητή - The Travelling Salesman Problem Έλενα Ρόκου Μεταδιδακτορική Ερευνήτρια ΕΜΠ Κηρυττόπουλος Κωνσταντίνος Επ. Καθηγητής ΕΜΠ Άδεια Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται
Διαβάστε περισσότεραΠοσοτικές Μέθοδοι στη Διοίκηση Επιχειρήσεων ΙΙ Σύνολο- Περιεχόμενο Μαθήματος
Ποσοτικές Μέθοδοι στη Διοίκηση Επιχειρήσεων ΙΙ Σύνολο- Περιεχόμενο Μαθήματος Χιωτίδης Γεώργιος Τμήμα Λογιστικής και Χρηματοοικονομικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing (αυθεντικός ορισμός) η οποία να διαγιγνώσκει τη γλώσσα {1010 2 10 3 10 n 1 10 n 1 n 1}. (β) Να διατυπώσετε
Διαβάστε περισσότεραΠΛΗΡΟΦΟΡΙΚΗ Ι Ενότητα 1: Εισαγωγή
ΠΛΗΡΟΦΟΡΙΚΗ Ι Ενότητα 1: Εισαγωγή Μιχάλης Δρακόπουλος Σχολή Θετικών επιστημών Τμήμα Μαθηματικών ΠΛΗΡΟΦΟΡΙΚΗ Ι (MATLAB) Ενότητα 1 Σημειώσεις βασισμένες στο βιβλίο Το MATLAB στην Υπολογιστική Επιστήμη και
Διαβάστε περισσότεραΕισαγωγή στους Υπολογιστές
Εισαγωγή στους Υπολογιστές Ενότητα #2: Αναπαράσταση δεδομένων Αβεβαιότητα και Ακρίβεια Καθ. Δημήτρης Ματαράς Πολυτεχνική Σχολή Τμήμα Χημικών Μηχανικών Αναπαράσταση δεδομένων (Data Representation), Αβεβαιότητα
Διαβάστε περισσότεραΆδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ
Διακριτά Μαθηματικά Ι Ενότητα 2: Γεννήτριες Συναρτήσεις Μέρος 1 Διδάσκων: Χ. Μπούρας (bouras@cti.gr) Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό
Διαβάστε περισσότεραΤμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών
Δομημένος Προγραμματισμός Ενότητα 5(γ): Εργαστηριακή Άσκηση Αναπλ. Καθηγητής: Κωνσταντίνος Στεργίου Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται
Διαβάστε περισσότεραΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ. ΕΝΟΤΗΤΑ: Άλγεβρα των Πινάκων (2) ΔΙΔΑΣΚΩΝ: Βλάμος Παναγιώτης ΙΟΝΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΕΝΟΤΗΤΑ: Άλγεβρα των Πινάκων (2) ΙΟΝΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΔΙΔΑΣΚΩΝ: Βλάμος Παναγιώτης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons
Διαβάστε περισσότεραΆδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ
Θεωρία Υπολογισμού Ενότητα 25: Γραμματικές Χωρίς Περιορισμούς Τμήμα Πληροφορικής ΘΥ 25: Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως
Διαβάστε περισσότεραΓΡΑΜΜΙΚΟΣ & ΔΙΚΤΥΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
ΓΡΑΜΜΙΚΟΣ & ΔΙΚΤΥΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Ενότητα 18: Επίλυση Γενικών Γραμμικών Προβλημάτων Σαμαράς Νικόλαος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Μεταφραστές Λεκτικός αναλυτής Διδάσκων: Επικ. Καθ. Γεώργιος Μανής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons.
Διαβάστε περισσότεραΘέματα υπολογισμού στον πολιτισμό
Θέματα υπολογισμού στον πολιτισμό Ενότητα 6: Μοντελοποίηση υπολογισμού: Κανονικές εκφράσεις Εύη Παπαϊωάννου Σχολή Οργάνωσης και Διοίκησης Επιχειρήσεων Τμήμα Διαχείρισης Πολιτισμικού Περιβάλλοντος και Νέων
Διαβάστε περισσότεραΣΤΑΤΙΣΤΙΚΗ ΕΠΙΧΕΙΡΗΣΕΩΝ
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ Ανώτατο Εκπαιδευτικό Ίδρυμα Πειραιά Τεχνολογικού Τομέα ΣΤΑΤΙΣΤΙΚΗ ΕΠΙΧΕΙΡΗΣΕΩΝ Ενότητα # 7: Θεωρία Πιθανοτήτων (Πείραμα Τύχης) Εβελίνα Κοσσιέρη Τμήμα Λογιστικής και Χρηματοοικονομικής
Διαβάστε περισσότεραΥπολογιστές Ι. Άδειες Χρήσης. Τύποι δεδομένων. Διδάσκοντες: Αν. Καθ. Δ. Παπαγεωργίου, Αν. Καθ. Ε. Λοιδωρίκης
ΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Άδειες Χρήσης Υπολογιστές Ι Τύποι δεδομένων Διδάσκοντες: Αν. Καθ. Δ. Παπαγεωργίου, Αν. Καθ. Ε. Λοιδωρίκης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες
Διαβάστε περισσότεραΠληροφορική. Εργαστηριακή Ενότητα 5 η : Μαθηματικοί Τύποι. Ι. Ψαρομήλιγκος Τμήμα Λογιστικής & Χρηματοοικονομικής
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ Ανώτατο Εκπαιδευτικό Ίδρυμα Πειραιά Τεχνολογικού Τομέα Πληροφορική Εργαστηριακή Ενότητα 5 η : Μαθηματικοί Τύποι Ι. Ψαρομήλιγκος Τμήμα Λογιστικής & Χρηματοοικονομικής Άδειες Χρήσης Το
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) ({ G η G είναι μια ασυμφραστική γραμματική που δεν παράγει καμιά λέξη με μήκος μικρότερο του 2 } (β) { Μ,w
Διαβάστε περισσότεραΆδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ
Διακριτά Μαθηματικά Ι Ενότητα 2: Γεννήτριες Συναρτήσεις Μέρος 2 Διδάσκων: Χ. Μπούρας (bouras@cti.gr) Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό
Διαβάστε περισσότεραΦροντιστήριο 9 Λύσεις
Άσκηση 1 Φροντιστήριο 9 Λύσεις Να κατασκευάσετε μια μηχανή Turing με δύο ταινίες η οποία να αποδέχεται στην πρώτη της ταινία μια οποιαδήποτε λέξη w {a,b} * και να γράφει τη λέξη w R στη δεύτερη της ταινία.
Διαβάστε περισσότεραΘέματα Μεταγλωττιστών
Γιώργος Δημητρίου Ενότητα 1 η : Parsers Συντακτική Ανάλυση για ΓΧΣ Οι τεχνικές συντακτικής ανάλυσης κατηγοριοποιούνται με βάση διάφορα κριτήρια: Κατεύθυνση ανάλυσης μη τερματικών συμβόλων Σειρά επιλογής
Διαβάστε περισσότεραΣειρά Προβλημάτων 3 Λύσεις
Σειρά Προβλημάτων 3 Λύσεις Άσκηση 1 Να δώσετε ασυμφραστικές γραμματικές που να παράγουν τις πιο κάτω γλώσσες: (α) {0 n 1 n n > 0} {0 n 1 2n n > 0} (β) {w {a,b} * η w ξεκινά και τελειώνει με το ίδιο σύμβολο
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing (αυθεντικός ορισμός) η οποία να διαγιγνώσκει τη γλώσσα { ww w {a,b}* }. (β) Να διατυπώσετε την τυπική περιγραφή
Διαβάστε περισσότεραΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ. ΕΝΟΤΗΤΑ: Διανυσματικοί Χώροι (1) ΔΙΔΑΣΚΩΝ: Βλάμος Παναγιώτης ΙΟΝΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΕΝΟΤΗΤΑ: Διανυσματικοί Χώροι (1) ΙΟΝΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΔΙΔΑΣΚΩΝ: Βλάμος Παναγιώτης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons
Διαβάστε περισσότεραΛογική. Δημήτρης Πλεξουσάκης. Ασκήσεις 2ου Φροντιστηρίου: Προτασιακός Λογισμός: Κανονικές Μορφές, Απλός Αλγόριθμος Μετατροπής σε CNF/DNF, Άρνηση
Λογική Δημήτρης Πλεξουσάκης Ασκήσεις 2ου Φροντιστηρίου: Προτασιακός Λογισμός: Κανονικές Μορφές, Απλός Αλγόριθμος Μετατροπής σε CNF/DNF, Άρνηση Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης a. Το παρόν εκπαιδευτικό
Διαβάστε περισσότεραΓραφικά με υπολογιστές. Διδάσκων: Φοίβος Μυλωνάς. Διαλέξεις #11-#12
Ιόνιο Πανεπιστήμιο Τμήμα Πληροφορικής Χειμερινό εξάμηνο Γραφικά με υπολογιστές Διδάσκων: Φοίβος Μυλωνάς fmlonas@ionio.gr Διαλέξεις #-# Σύνθεση Δ Μετασχηματισμών Ομογενείς Συντεταγμένες Παραδείγματα Μετασχηματισμών
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing (αυθεντικός ορισμός) η οποία να διαγιγνώσκει τη γλώσσα { w#z w, z {a,b}* και η z είναι υπολέξη της w}. Συγκεκριμένα,
Διαβάστε περισσότεραΘεωρία Υπολογισμού. Ενότητα 7 : Ντετερμινιστικά Πεπερασμένα Αυτόματα, Κανονικές Πράξεις. Αλέξανδρος Τζάλλας
Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου Θεωρία Υπολογισμού Ενότητα 7 : Ντετερμινιστικά Πεπερασμένα Αυτόματα, Κανονικές Πράξεις Αλέξανδρος Τζάλλας 2 Ανοιχτά Ακαδημαϊκά Τμήμα Μηχανικών
Διαβάστε περισσότεραΔομές Δεδομένων και Αλγόριθμοι
Δομές Δεδομένων και Αλγόριθμοι Χρήστος Γκόγκος ΤΕΙ Ηπείρου Χειμερινό Εξάμηνο 2014-2015 Παρουσίαση 20 Huffman codes 1 / 12 Κωδικοποίηση σταθερού μήκους Αν χρησιμοποιηθεί κωδικοποίηση σταθερού μήκους δηλαδή
Διαβάστε περισσότερα