«Τεχνογλωσσία VIII» Εξαγωγή πληροφοριών από κείμενα
|
|
|
- Ζακχαῖος Καραμήτσος
- 7 χρόνια πριν
- Προβολές:
Transcript
1 «Τεχνογλωσσία VIII» Εξαγωγή πληροφοριών από κείμενα Σεμινάριο 4: Συντακτική Ανάλυση Ευάγγελος Καρκαλέτσης, Γεώργιος Πετάσης Εργαστήριο Τεχνολογίας Γνώσεων & Λογισμικού, Ινστιτούτο Πληροφορικής & Τηλεπικοινωνιών, Ε.Κ.Ε.Φ.Ε. Δημόκριτος Τηλ.: , Fax: , {vangelis, Ακαδημαϊκό Έτος: Διεπιστημονικό-Διαπανεπιστημιακό ΠΜΣ «Τεχνογλωσσία», VIII κύκλος,
2 «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση < 1 > Οι διαφάνειες αυτού του μαθήματος βασίζονται στα κεφάλαια 12 και 13 του βιβλίου: «Speech and Language Processing» των D. Jurafsky και J.H. Martin, 2η έκδοση, Pearson, 2009 Το βιβλίο δεν απαιτείται για το μάθημα αυτό. Μερικά παραδείγματα βασίζονται σε διαφάνειες του Δρ. Ίων Ανδρουτσόπουλου, ΟΠΑ.
3 Σύνταξη Ο τομέας της γλωσσολογίας που μελετά τη δομή των προτάσεων Δηλαδή ποιές σχέσεις συνδέουν μια ακολουθία Σε καμία φυσική γλώσσα οι προτάσεις δεν αποτελούν τυχαία παράθεση λέξεων ή ομάδων λέξεων Ύπαρξη κανόνων δόμηση πρότασης Συντακτικοί κανόνες: καθολικοί ή όχι π.χ. α) Π ΟΦ + ΡΦ β) γράφω/ εγώ γράφω, ενώ I write/*write «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 2
4 Γλωσσική ικανότητα και πλήρωση (1) Γλωσσική ικανότητα: γενικά η γνώση του φυσικού ομιλητή για τη γλώσσα του, μέρος της οποίας είναι και η γραμματική Ικανότητα γραμματικότητα πρότασης, γνώση δομής συστήματος Γλωσσική πλήρωση: η γλωσσική συμπεριφορά του ομιλητή κατά την επικοινωνία Η Μαρία ξεκίνησε να διαβάζει το βιβλίο. *Κώστας ο βάζο έσπασε το. *Ο σκύλος τραγούδησε τα κίτρινα δάπεδα. *Κοντεύω να φτάσεις. «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 3
5 Γλωσσική ικανότητα και πλήρωση (2) H διάκριση γραμματικών από μη-γραμματικές προτάσεις είναι μέρος της γλωσσικής μας ικανότητας. Αυτό αποτελεί το γλωσσικό μας αίσθημα ή γλωσσική διαίσθηση H γλωσσική πλήρωση, από την άλλη μεριά, επιτρέπει τόσο γραμματικές όσο και μηγραμματικές προτάσεις και δεν κάνει αυτή τη διάκριση «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 4
6 Συντακτική ανάλυση (1) Η μετατροπή μιας πρότασης φυσική γλώσσας σε μια ιεραρχική δομή Η οποία ανταποκρίνεται στην διασύνδεση των δομικών στοιχείων της πρότασης Η ανάλυση μπορεί να επιστρέψει περισσότερες από μία δομές (parses) Η πιο απλή μορφή δομής είναι ένα συντακτικό δέντρο (syntax tree) «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 5
7 Συντακτική ανάλυση (2) Συνήθως τα υπάρχοντα συστήματα έχουν δύο συστατικά: Γραμματική (grammar): ρητή αναπαράσταση των συντακτικών κανόνων της γλώσσας Δηλωτικοί φορμαλισμοί που ορίζουν τις έγκυρες προτάσεις μιας γλώσσας, αλλά δεν καθορίζουν πως θα γίνει η αναγνώριση και η παραγωγή συντακτικών δομών Αναλυτής (parser): αναλύει τις προτάσεις εισόδου, συγκρίνοντάς τες με την γραμματική, και παράγει συντακτικές δομές «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 6
8 Τι χρειαζόμαστε για την ανάλυση; (1) Τι γλωσσική πληροφορία χρειαζόμαστε για την συντακτική ανάλυση; Λέξεις Κατηγορίες: σύνολα λέξεων που συμπεριφέρονται όμοια Μέρη του λόγου: Ουσιαστικά, ρήματα, επίθετα, προθέσεις, κλπ. Συστατικά (constituents): Ομαδοποίηση λέξεων σε μεγαλύτερες ενότητες, οι οποίες συμπεριφέρονται όμοια Και έχουν ένα συγκεκριμένο μέρος του λόγου σαν «κύριο» (head) Φράσεις: Ονοματική φράση με «κύριο» το ουσιαστικό, ρηματική φράση με «κύριο» το ρήμα, κλπ. «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 7
9 Τι χρειαζόμαστε για την ανάλυση; (2) Έχοντας: Μορφολογική ανάλυση: ανάλυση λέξεων σε μορφήματα και προσφύματα Με κανόνες, FSA, FST Αναγνώριση μερών του λόγου Περιμένουμε από την συντακτική ανάλυση: Να προσδιορίσει τα συστατικά, και πως σχετίζονται Να προσδιορίσει αν μια πρόταση είναι γραμματικά σωστή Να παραγάγει συντακτικές δομές «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 8
10 Παράδειγμα: Ανάλυση 1 Πρόταση ΟΦ ΡΦ Εγώ ΡΜ ΟΦ είδα ΑΡΘ ΟΥΣ ΠΦ τον άνδρα ΠΡΘ ΟΦ με ΑΡΘ τα ΟΥΣ κιάλια «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 9
11 Παράδειγμα: Ανάλυση 2 Πρόταση ΟΦ ΡΦ Εγώ ΡΜ ΟΦ είδα ΑΡΘ ΟΥΣ ΠΦ τον άνδρα ΠΡΘ ΟΦ με ΑΡΘ τα ΟΥΣ κιάλια «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 10
12 NP Det Nominal NP ProperNoun Γραμματικές ΦΓ (1) Nominal Noun Nominal Noun Det a Det the Noun flight Διάζευξη Ουσιαστικά δύο κανόνες Λεξικό Στην πράξη πληροφορίες από την μορφολογική ανάλυση Τερματικά σύμβολα, Μη τερματικά σύμβολα Κανόνες α β: ορίζουν τις δυνατές «παραγωγές» Αρχικό σύμβολο: ένα από τα μη τερματικά «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 11
13 Γραμματικές ΦΓ (2) Οι γραμματικές χρησιμοποιούνται: Για την ανάλυση φυσικής γλώσσας Για την παραγωγή φυσικής γλώσσας Γλώσσα της γραμματικής: οι ακολουθίες τερματικών συμβόλων που παράγονται από το αρχικό σύμβολο «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 12
14 Ιεραρχία γραμματικών του Chomsky (1) Τύπος 3: κανονικές γραμματικές (regular grammars) Μορφή κανόνων A x και A xb (δεξιά γραμμικές) A x και A Bx (αριστερά γραμμικές) x: (πιθανώς κενή) ακολουθία τερματικών συμβόλων A, B: μεμονωμένα μη τερματικά σύμβολα «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 13
15 Ιεραρχία γραμματικών του Chomsky (2) Τύπος 2: γραμματικές χωρίς συμφραζόμενα (context free grammars) Μορφή κανόνων A a a: (πιθανός κενή) ακολουθία τερματικών και μη τερματικών συμβόλων Επιτρέπουν κανόνες της μορφής: NP Det Nominal (δεν επιτρέπεται στις κανονικές γραμματικές) Ονομάζονται και Phrase-Structure Grammars (PSG) Ο φορμαλισμός είναι ισοδύναμος με Backus-Naur Form (BNF) «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 14
16 Ιεραρχία γραμματικών του Chomsky (3) Τύπος 1: γραμματικές με συμφραζόμενα (context sensitive grammars) Μορφή κανόνων αaβ aγβ a, β, γ: ακολουθίες τερματικών και μη τερματικών συμβόλων Το γ μη κενό, τα α, β πιθανώς κενά Επιτρέπουν κανόνες της μορφής: ( Date ) ( Day / Month / Year ) Αυτή η μορφή δεν επιτρέπεται στις γραμματικές χωρίς συμφραζόμενα «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 15
17 Ιεραρχία γραμματικών του Chomsky (4) Τύπος 0: αναδρομικά απαριθμήσιμες Μορφή κανόνων α β a, β: ακολουθίες τερματικών και μη τερματικών συμβόλων Το α μη κενό «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 16
18 Παραγωγική ισχύς γραμματικών (1) Γλώσσες (τύπος 3) γλώσσες (τύπος 2) Π.χ.: οι κανονικές γραμματικές δεν μπορούν να ορίσουν γλώσσες της μορφής a n b n (ab, aabb, aaabbb, ) Οι ΓΧΣ μπορούν: S ab, S asb Γλώσσες (τύπος 2) γλώσσες (τύπος 1) Π.χ.: οι κανονικές γραμματικές δεν μπορούν να ορίσουν γλώσσες της μορφής a n b n c n Οι ΓMΣ μπορούν: S abc, S asbc, cb Bc, bb bb Γλώσσες (τύπος 1) γλώσσες (τύπος 0) «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 17
19 Παραγωγική ισχύς γραμματικών (2) Τύπος 0 Τύπος 1 (με συμφραζόμενα) Τύπος 2 (χωρίς συμφραζόμενα) Τύπος 3 (κανονικές) «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 18
20 Μοντέλα υπολογισμού (1) Οι κανονικές γραμματικές αντιστοιχούν σε αυτόματα πεπερασμένων καταστάσεων (FSA) Για κάθε κανονική γραμματική, μπορεί να οριστεί FSA που να ορίζει την ίδια ακριβώς γλώσσα (και το αντίστροφο) «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 19
21 Μοντέλα υπολογισμού (2) Οι γραμματικές χωρίς συμφραζόμενα αντιστοιχούν σε μη αιτιοκρατικά (non deterministic) FSA με στοίβα Μη αιτιοκρατικό: η τρέχουσα κατάσταση και το σύμβολο εισόδου δεν προσδιορίζουν μονοσήμαντα την επόμενη κατάσταση Κάθε μη αιτιοκρατικό FSA μπορεί να μετατραπεί σε αιτιοκρατικό (με περισσότερες καταστάσεις) Δεν ισχύει αυτό για αυτόματα με στοίβα «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 20
22 Μοντέλα υπολογισμού (3) Οι γραμματικές τύπου 0 αντιστοιχούν σε μηχανές Turing «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 21
23 Τι γραμματικές χρειαζόμαστε; (1) Σχεδόν όλα τα συντακτικά φαινόμενα των φυσικών γλωσσών μπορούν να παρασταθούν με κανονικές γραμματικές Άρα μπορούμε να κάνουμε συντακτική ανάλυση με αυτόματα πεπερασμένων καταστάσεων Πολύ αποδοτικοί αλγόριθμοι Συχνά, όμως, χρησιμοποιούμε ΓΧΣ επειδή είναι πιο σύντομες Και επειδή τα συντακτικά δέντρα που παράγουν είναι πιο χρήσιμα στη σημασιολογική ανάλυση «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 22
24 Τι γραμματικές χρειαζόμαστε; (2) Υπάρχουν φαινόμενα για τα οποία φαίνεται να απαιτούνται ΓΧΣ [Jurafsky & Martin 2009]: The cat likes tuna fish. The cat (that) the dog chased likes tuna fish. Αντιστοιχία με γλώσσες a n b n (NP n V n tuna fish) Η τομή (κοινές προτάσεις) των αγγλικών με την κανονική γλώσσα [NP n V m tuna fish] είναι η [NP n V n tuna fish], που είναι μη κανονική Άρα τα αγγλικά είναι μη κανονική γλώσσα, γιατί η τομή κανονικών γλωσσών είναι κανονική Αλλά και οι άνθρωποι δυσκολεύονται για n > 2 Για πεπερασμένες τιμές του n αρκούν κανονικές γραμματικές «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 23
25 Τι γραμματικές χρειαζόμαστε; (3) Υπάρχουν φαινόμενα σε μερικές γλώσσες που φαίνεται να απαιτούν γραμματικές με συμφραζόμενα Ελβετικά γερμανικά: υπάρχουν εκφράσεις τις μορφής wa n b m c n d m y Στις περισσότερες άλλες γλώσσες δεν έχουν βρεθεί τέτοια φαινόμενα «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 24
26 Ανακεφαλαίωση Σύνταξη Συντακτική ανάλυση Συντακτικά δέντρα Γραμματικές Ιεραρχία γραμματικών Chomsky Παραγωγική ισχύ γραμματικών Αντιστοιχία με μοντέλα υπολογισμού Τύποι γραμματικών για την ΕΦΓ «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 25
27 Αλγόριθμοι συντακτικής ανάλυσης Είσοδος: Μια γραμματική του τύπου που υποστηρίζει ο αλγόριθμος (π.χ. γραμματική χωρίς συμφραζόμενα) Μια ακολουθία σ από τερματικά σύμβολα της γραμματικής Αποκρίσεις: Ανήκει η σ στη γλώσσα που ορίζει η γραμματική; Ποιο είναι το συντακτικό δέντρο της σ; Το συντακτικό δέντρο αποτελεί μια απόδειξη ότι η σ είναι σύμφωνη με τη γραμματική Παρέχει πληροφορίες για τη συντακτική δομή της σ «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 26
28 ΓΧΣ για τμήμα της αγγλικής «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 27
29 ΣΑ σαν πρόβλημα αναζήτησης Αναζήτηση σε αυτόματα πεπερασμένων κατ. (FSA) Εύρεση της σωστής διαδρομής εντός του αυτόματου Ο χώρος αναζήτησης ορίζεται από την δομή του αυτόματου Αναζήτηση σε ΓΧΣ Εύρεση του σωστού συντακτικού δέντρου ανάμεσα στα δυνατά συντακτικά δέντρα Ο χώρος αναζήτησης ορίζεται από την γραμματική Περιορισμοί (constraints) που προέρχονται: Από την πρόταση εισόδου Αυτόματο/γραμματική «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 28
30 Στρατηγικές αναζήτησης Δύο στρατηγικές αναζήτησης Top-Down Αναζήτηση για δέντρο ξεκινώντας από το S (αρχικό σύμβολο), μέχρι να καλυφθούν όλες οι λέξεις της εισόδου Bottom-Up Αναζήτηση για δέντρο ξεκινώντας από τις λέξεις, και προσπαθώντας να καλυφθεί το σύμβολο S Οι κανόνες εφαρμόζονται αντίστροφα (ταίριασμα δεξιού μέρους) «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 29
31 Αναλυτής Top-Down Δημιουργεί δέντρα από το αρχικό σύμβολο S, προχωρώντας προς τα φύλλα Υποθέτοντας την κατασκευή όλως των δέντρων παράλληλα: Εύρεση όλων των δέντρων με ρίζα το S Ανάπτυξη όλων των συστατικών (κόμβων) αυτών των δέντρων, μέχρι τα φύλλα Απόρριψη δέντρων που τα φύλλα τους δεν ταιριάζουν με την είσοδο «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 30
32 Χώρος αναζήτησης «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 31
33 Ξεκινά από τις λέξεις Αναλυτής Bottom-Up Κατασκευάζει δέντρα εφαρμόζοντας του κανόνες που το δεξί τους μέρος ταιριάζει Οδηγούνται από την είσοδο Και όχι από την γραμματική, όπως οι αναλυτές Top-Down «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 32
34 Χώρος αναζήτησης «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 33
35 Σύγκριση στρατηγικών αναζήτησης (1) Αναλυτές Top-Down: Δεν λαμβάνουν υπ όψιν άκυρες αναλύσεις (π.χ. δέντρα που δεν περιέχουν το S ) Χάνουν χρόνο σε δέντρα που δεν ταιριάζουν με την είσοδο Αναλυτές Bottom-Up: Δεν λαμβάνουν υπ όψιν αναλύσεις που δεν ταιριάζουν με την είσοδο Χάνουν χρόνο παράγοντας άκυρες αναλύσεις «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 34
36 Σύγκριση στρατηγικών αναζήτησης (2) Κοινό πρόβλημα: Πώς πρέπει να γίνει η αναζήτηση στον χώρο των δέντρων; Θα δημιουργηθούν όλα τα εναλλακτικά δέντρα παράλληλα; Ποιος κόμβος πρέπει να αναλυθεί στο επόμενο στάδιο; Ποιος κανόνας πρέπει να εφαρμοστεί στο επόμενο στάδιο; «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 35
37 Στρατηγική και έλεγχος αναζήτησης (1) Παραλληλία Εξερεύνηση όλων των δέντρων παράλληλα Αναζήτηση σε βάθος (depth first search) Ατζέντα από καταστάσεις: βαθμιαία διαστολή του χώρου αναζήτησης, χρησιμοποιώντας την κατάσταση (δέντρο) που παράχθηκε τελευταία Αν η τρέχουσα κατάσταση είναι ασύμβατη με την είσοδο, οπισθοχώρηση (backtrack) στην πιο πρόσφατη ανεξερεύνητη κατάσταση «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 36
38 Στρατηγική και έλεγχος αναζήτησης (2) Ποιος κόμβος πρέπει να αναλυθεί στο επόμενο στάδιο; Αυτός που βρίσκεται «αριστερά» Ποιος κανόνας πρέπει να εφαρμοστεί στο επόμενο στάδιο; Ανάλογα με την θέση (σειρά) του στην γραμματική «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 37
39 Βασικός αλγόριθμος Top-Down, Depth-First, Left-Right Αρχικοποίηση ατζέντας με την κατάσταση: δέντρο S, δείκτης στην 1 η λέξη (cur) Επανέλαβε μέχρι: άδεια ατζέντα ή επιτυχής ανάλυση Εφαρμογή όλων των εφαρμόσιμων κανόνων στο αριστερό, μη ανεπτυγμένο κόμβο του cur Αν ο κόμβος είναι τερματικό σύμβολο και ταιριάζει με την είσοδο, «πίεσε» (push) το στην ατζέντα Αλλιώς, «πίεσε» τα νέα δέντρα στην ατζέντα Pop νέο cur από την ατζέντα «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 38
40 Τρία κρίσιμα προβλήματα Αριστερή αναδρομή Αμφισημία Επαναληπτική ανάλυση των ίδιων υπο-δέντρων «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 39
41 Αριστερή αναδρομή Η αναζήτηση σε βάθος (depth-first) δεν θα τερματίσει ποτέ, αν η γραμματική περιέχει αριστερή αναδρομή: A ABβ NP NP PP, VP VP PP, S S & S Έμμεση αναδρομή: NP Det Nominal, Det NP Διαρκείς επαναλήψεις χωρίς κατανάλωση λέξεων εισόδου Με ένα δέντρο που μεγαλώνει διαρκώς «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 40
42 Λύσεις για την αριστερή αναδρομή Αλλαγή σειράς κανόνων στην γραμματική NP NP PP, NP Det Nominal NP Det Nominal, NP NP PP Απαλοιφή αναδρομικών κανόνων NP NP PP, NP Det Nominal NP Det Nominal Stuff, Stuff PP Stuff, Stuff Τοποθέτηση (εμπειρικού) ορίου στο βάθος της αναδρομής κατά την ανάλυση Αποφυγή αναζήτησης Top-Down «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 41
43 Αμφισημία (1) Συντακτικά διφορούμενες προτάσεις «Είδαμε τον επιστήμονα με το τηλεσκόπιο.» Είδαμε [NP τον [Nominal επιστήμονα [PP με το τηλεσκόπιο]]] Όπως «την πτήση από τη Θεσσαλονίκη» «Είδαμε τον επιστήμονα με το τηλεσκόπιο.» Είδαμε [NP τον επιστήμονα] [PP με το τηλεσκόπιο]. Θα είχαμε και κανόνα: VP V NP PP. «Είδαμε τον επιστήμονα με το τηλεσκόπιο από το Παρίσι.» Είδαμε [τον επιστήμονα] [με το τηλεσκόπιο] [από το Παρίσι] Είδαμε [τον επιστήμονα με το τηλεσκόπιο] [από το Παρίσι] Είδαμε [τον επιστήμονα] [με το [τηλεσκόπιο από το Παρίσι]] Είδαμε [τον [επιστήμονα με το [τηλεσκόπιο από το Παρίσι]]] «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 42
44 Αμφισημία (2) «Είδαμε τον επιστήμονα με την άσπρη μπλούζα.» Χρειαζόμαστε σημασιολογικούς περιορισμούς που να αποκλείουν την περίπτωση η μπλούζα να είναι το μέσο της παρατήρησης Από καθαρά συντακτική σκοπιά, οι περισσότερες προτάσεις είναι εξαιρετικά διφορούμενες Πολύ μεγάλος αριθμός συντακτικών δένδρων (συχνά εκθετική αύξηση όσο αυξάνει ο αριθμός των φράσεων που συνδυάζονται) Χρονοβόρο να ανακαλύψουμε και να επιστρέψουμε όλα τα συντακτικά δέντρα ξεχωριστά Πρόβλημα για όλους τους απλούς αλγορίθμους συντακτικής ανάλυσης που έχουμε εξετάσει ως τώρα «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 43
45 Κανονική μορφή Chomsky Γραμματικές χωρίς συμφραζόμενα σε κανονική μορφή Chomsky (CNF) Επιτρέπονται μόνο κανόνες της μορφής A BC και A w, όπου A, B, C μη τερματικά και w τερματικό Κάθε ΓΧΣ μπορεί να μετατραπεί σε CNF Χωρίς να σημαίνει ότι τα συντακτικά δέντρα παραμένουν ίδια Γραμματικές σε CNF μπορούν να αναλυθούν με τον αλγόριθμο CKY (Cocke-Younger-Kasami, 1960) Αλγόριθμος δυναμικού προγραμματισμού «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 44
46 Δυναμικός προγραμματισμός Δημιουργία πινάκων με λύσεις σε υποπροβλήματα (π.χ. υπο-δέντρα), καθώς γίνεται η ανάλυση Αναζήτηση έτοιμων λύσεων αντί για την επαναανάλυσή τους Όλα τα δέντρα αποθηκεύονται έμμεσα Είναι διαθέσιμα για αποσαφήνιση σε μετέπειτα στάδιο «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 45
47 Γραμματική σε CNF Ο αλγόριθμος CKY (1) Κάθε κόμβος, έχει το πολύ 2 παιδιά Ένας δισδιάστατος πίνακας μπορεί να αναπαραστήσει ένα δέντρο Για είσοδο ν λέξεων, χρειαζόμαστε ν + 1 (ν + 1) Κάθε κελί [i, j] περιέχει το σύνολο των μη τερματικών συμβόλων που περιέχουν την είσοδο από την λέξη i μέχρι την λέξη j Ξεκινώντας από το 0, σημαδεύουμε τα κενά μεταξύ των λέξεων «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 46
48 Ο αλγόριθμος CKY (2) «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 47
49 Ο αλγόριθμος CKY (3) «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 48
50 Μια απλή γραμματική S V NP V θέλω, V επιθυμώ NP Det Nominal Nominal Adj Nominal Det μια Adj πρωινή, Adj απογευματινή N πτήση Nominal πτήση «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 49
51 Ο αλγόριθμος CKY θέλω μια πρωινή πτήση 0 V (0,1) Det (1,2) 2 Adj (2,3) 3 Nominal N (3,4) «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 50
52 Ο αλγόριθμος CKY θέλω μια πρωινή πτήση 0 V (0,1) Det (1,2) Χ (0,2) 2 Adj (2,3) Δεν υπάρχει κανόνας που να συνδυάζει V με Det 3 Nominal N (3,4) «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 51
53 Ο αλγόριθμος CKY θέλω μια πρωινή πτήση V (0,1) (0,2) Δεν υπάρχει κανόνας που να συνδυάζει Det με Adj 1 Det (1,2) Χ (1,3) 2 Adj (2,3) 3 Nominal N (3,4) «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 52
54 Ο αλγόριθμος CKY θέλω μια πρωινή πτήση V (0,1) (0,2) 1 Det (1,2) (1,3) 2 Adj (2,3) X (0,3) Το (1,3) είναι κενό 3 Nominal N (3,4) «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 53
55 Ο αλγόριθμος CKY θέλω μια πρωινή πτήση V (0,1) (0,2) 1 Det (1,2) (1,3) 2 Adj (2,3) X (0,3) Το (0,2) είναι κενό 3 Nominal N (3,4) «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 54
56 Ο αλγόριθμος CKY θέλω μια πρωινή πτήση V (0,1) (0,2) (0,3) 1 Det (1,2) (1,3) 2 Adj (2,3) Nominal (2,4) 3 Nominal N (3,4) «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 55
57 Ο αλγόριθμος CKY θέλω μια πρωινή πτήση V (0,1) (0,2) (0,3) 1 Det (1,2) (1,3) 2 Adj (2,3) NP, X (1,4) Nominal (2,4) 3 Nominal N (3,4) «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 56
58 Ο αλγόριθμος CKY θέλω μια πρωινή πτήση V (0,1) (0,2) (0,3) 1 Det (1,2) (1,3) 2 Adj (2,3) S, X, X (0,4) NP (1,4) Nominal (2,4) 3 Nominal N (3,4) «Τεχνογλωσσία» VIII, Σεμινάριο 4, Συντακτική Ανάλυση 57
ΓΛΩΣΣΙΚΗ ΤΕΧΝΟΛΟΓΙΑ. Μάθημα 4 ο : Συντακτική ανάλυση. Γεώργιος Πετάσης. Ακαδημαϊκό Έτος:
ΓΛΩΣΣΙΚΗ ΤΕΧΝΟΛΟΓΙΑ Μάθημα 4 ο : Συντακτική ανάλυση Γεώργιος Πετάσης Ακαδημαϊκό Έτος: 2012 2013 ΤMHMA MHXANIKΩΝ Η/Υ & ΠΛΗΡΟΦΟΡΙΚΗΣ, Πανεπιστήμιο Πατρών, 2012 2013 Γλωσσική Τεχνολογία, Μάθημα 4 ο, Συντακτική
Τεχνητή Νοημοσύνη. 21η διάλεξη ( ) Ίων Ανδρουτσόπουλος.
Τεχνητή Νοημοσύνη 21η διάλεξη (2016-17) Ίων Ανδρουτσόπουλος http://www.aueb.gr/users/ion/ 1 Οι διαφάνειες αυτής της διάλεξης βασίζονται στα βιβλία: «Artificial Intelligence A Modern Approach» των. Russel
Επικοινωνία Ανθρώπου Υπολογιστή. Β3. Κατανόηση φυσικής γλώσσας
Επικοινωνία Ανθρώπου Υπολογιστή Β3. Κατανόηση φυσικής γλώσσας (2016-17) Ίων Ανδρουτσόπουλος http://www.aueb.gr/users/ion/ Οι διαφάνειες αυτής της διάλεξης βασίζονται εν μέρει σε ύλη του βιβλίου «Speech
Μοντέλα γλωσσικής επεξεργασίας: σύνταξη
Μοντέλα γλωσσικής επεξεργασίας: σύνταξη Μάθημα: Εισαγωγή στις επιστήμες λόγου και ακοής Ιωάννα Τάλλη, Ph.D. Σύνταξη Είναι ο τομέας της γλώσσας που μελετά τη δομή των προτάσεων, δηλαδή ποια είναι η σειρά
ΓΛΩΣΣΙΚΗ ΤΕΧΝΟΛΟΓΙΑ ΣΥΝΤΑΞΗ: ΟΡΘΟΛΟΓΙΚΗ ΠΡΟΣΕΓΓΙΣΗ (FORMAL SYNTAX)
ΓΛΩΣΣΙΚΗ ΤΕΧΝΟΛΟΓΙΑ ΣΥΝΤΑΞΗ: ΟΡΘΟΛΟΓΙΚΗ ΠΡΟΣΕΓΓΙΣΗ (FORMAL SYNTAX) Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια του εκπαιδευτικού έργου του διδάσκοντα. Το έργο «Ανοικτά Ακαδημαϊκά
Θέματα Μεταγλωττιστών
Γιώργος Δημητρίου Ενότητα 1 η : Parsers Συντακτική Ανάλυση για ΓΧΣ Οι τεχνικές συντακτικής ανάλυσης κατηγοριοποιούνται με βάση διάφορα κριτήρια: Κατεύθυνση ανάλυσης μη τερματικών συμβόλων Σειρά επιλογής
Ασκήσεις μελέτης της ενότητας «Συντακτική Ανάλυση»
Οικονομικό Πανεπιστήμιο Αθηνών, Τμήμα Πληροφορικής Διδάσκων: Ι. Ανδρουτσόπουλος Ασκήσεις μελέτης της ενότητας «Συντακτική Ανάλυση» Παραδώστε μια αναφορά (το πολύ 5 σελίδων) για την άσκηση 9 και επιδείξτε
Θέματα Μεταγλωττιστών
Θέματα Μεταγλωττιστών Γιώργος Δημητρίου Ενότητα 1 η : Parsers Πανεπιστήμιο Θεσσαλίας - Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών Συντακτική Ανάλυση για ΓΧΣ Οι τεχνικές συντακτικής ανάλυσης κατηγοριοποιούνται
Ασκήσεις μελέτης της ενότητας «Συντακτική Ανάλυση»
Οικονομικό Πανεπιστήμιο Αθηνών, Τμήμα Πληροφορικής Διδάσκων: Ι. Ανδρουτσόπουλος, 2016-17 Ασκήσεις μελέτης της ενότητας «Συντακτική Ανάλυση» Παραδώστε μια αναφορά (το πολύ 5 σελίδων) για την άσκηση 9 και
Γλωσσική Τεχνολογία. 5 η Ενότητα: Συντακτική ανάλυση. Ίων Ανδρουτσόπουλος.
Γλωσσική Τεχνολογία 5 η Ενότητα: Συντακτική ανάλυση 2015 16 Ίων Ανδρουτσόπουλος http://www.aueb.gr/users/ion/ 1 Οι διαφάνειες αυτής της διάλεξης βασίζονται εν μέρει σε ύλη του βιβλίου «Speech and Language
Κεφάλαιο 2: Τυπικές γλώσσες
Κεφάλαιο 2: Τυπικές γλώσσες (μέρος 2ο) Νίκος Παπασπύρου, Κωστής Σαγώνας Μεταγλωττιστές Μάρτιος 2017 47 / 216 Γλώσσες χωρίς συμφραζόμενα (i) Γραμματικές χωρίς συμφραζόμενα: Σε κάθε παραγωγή ένα μη τερματικό
Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (1)
Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (1) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Ασυμφραστικές Γραμματικές (2.1) Τυπικός Ορισμός Σχεδιασμός Ασυμφραστικών Γραμματικών
Αυτόματα. Παράδειγμα: πωλητής καφέ (iii) Παράδειγμα: πωλητής καφέ (iv) Εισαγωγή στην Επιστήμη των Υπολογιστών 6
Εισαγωγή στην Επιστήμη των Υπολογιστών 3η ενότητα: Αυτόματα και Τυπικές Γραμματικές http://www.corelab.ece.ntua.gr/courses/ Αυτόματα Τρόπος κωδικοποίησης αλγορίθμων. Τρόπος περιγραφής συστημάτων πεπερασμένων
Σχεδίαση Γλωσσών Προγραμματισμού Συντακτική Ανάλυση Ι. Εαρινό Εξάμηνο Lec /03/2019 Διδάσκων: Γεώργιος Χρ. Μακρής
Σχεδίαση Γλωσσών Προγραμματισμού Συντακτική Ανάλυση Ι Εαρινό Εξάμηνο 2018-2019 Lec 09 18 /03/2019 Διδάσκων: Γεώργιος Χρ. Μακρής Φάσεις μεταγλώττισης Αρχικό Πρόγραμμα Λεκτική Ανάλυση λεκτικές μονάδες Πίνακας
Εισαγωγή στην Επιστήμη των Υπολογιστών
Εισαγωγή στην Επιστήμη των Υπολογιστών 3η ενότητα: Αυτόματα και Τυπικές Γραμματικές http://www.corelab.ece.ntua.gr/courses/ Αυτόματα Τρόπος κωδικοποίησης αλγορίθμων. Τρόπος περιγραφής συστημάτων πεπερασμένων
Μεταγλωττιστές. Γιώργος Δημητρίου. Μάθημα 2 ο. Πανεπιστήμιο Θεσσαλίας - Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών
Γιώργος Δημητρίου Μάθημα 2 ο Αλφάβητα και Γλώσσες Αλφάβητο: Ένα μη κενό και πεπερασμένο σύνολο συμβόλων Γλώσσα: Ένα οποιοδήποτε υποσύνολο των συμβολοσειρών ενός αλφαβήτου (οι προτάσεις της γλώσσας, πχ.
Μοντελοποίηση Υπολογισμού. Γραμματικές Πεπερασμένα Αυτόματα Κανονικές Εκφράσεις
Μοντελοποίηση Υπολογισμού Γραμματικές Πεπερασμένα Αυτόματα Κανονικές Εκφράσεις Προβλήματα - Υπολογιστές Δεδομένου ενός προβλήματος υπάρχουν 2 σημαντικά ερωτήματα: Μπορεί να επιλυθεί με χρήση υπολογιστή;
Συντακτική Ανάλυση. Ίων Ανδρουτσόπουλος.
Συντακτική Ανάλυση 2016 17 Ίων Ανδρουτσόπουλος http://www.aueb.gr/users/ion/ 1 Οι διαφάνειες αυτής της διάλεξης βασίζονται εν μέρει σε ύλη του βιβλίου «Speech and Language Processing» των D. Jurafsky and
«Τεχνογλωσσία VIII» Εξαγωγή πληροφοριών από κείμενα
«Τεχνογλωσσία VIII» Εξαγωγή πληροφοριών από κείμενα Σεμινάριο 8: Χρήση Μηχανικής Μάθησης στην Εξαγωγή Πληροφορίας Ευάγγελος Καρκαλέτσης, Γεώργιος Πετάσης Εργαστήριο Τεχνολογίας Γνώσεων & Λογισμικού, Ινστιτούτο
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 7: Ασυμφραστικές Γλώσσες (Γλώσσες Ελεύθερες Συμφραζομένων)
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 7: Ασυμφραστικές Γλώσσες (Γλώσσες Ελεύθερες Συμφραζομένων) Τι θα κάνουμε σήμερα Εισαγωγικά Ασυμφραστικές Γραμματικές (2.1) Τυπικός Ορισμός Της Ασυμφραστικής
Γλώσσες Χωρίς Συμφραζόμενα
Γλώσσα χωρίς Συμφραζόμενα Γλώσσες Χωρίς Συμφραζόμενα Διδάσκοντες: Φ. Αφράτη, Δ. Φωτάκης Επιμέλεια διαφανειών: Δ. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο
Αυτόματα. Παράδειγμα: πωλητής καφέ (iii) Παράδειγμα: πωλητής καφέ (iv) Εισαγωγή στην Επιστήμη των Υπολογιστών. Προδιαγραφές
Εισαγωγή στην Επιστήμη των Υπολογιστών 4ο εξάμηνοσ.h.m.μ.y. & Σ.Ε.Μ.Φ.Ε. http://www.corelab.ece.ntua.gr/courses/ 3η ενότητα: Αυτόματα και Τυπικές Γραμματικές Στάθης Ζάχος Συνεργασία: Κωστής Σαγώνας Επιμέλεια:
ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΕΠΙΣΤΗΜΗ ΤΩΝ ΥΠΟΛΟΓΙΣΤΩΝ. Λογισμικό Συστήματος. Κλειώ Σγουροπούλου
Λογισμικό Συστήματος Κλειώ Σγουροπούλου Λογισμικό συστήματος Λειτουργικό σύστημα Μεταφραστές γλώσσας (translators) Διερμηνείς (interpreters) Μεταγλωττιστές (compilers) Εκδότες (editors) Φορτωτές (loaders)
Σχεδίαση Γλωσσών Προγραμματισμού Λεξική Ανάλυση Ι. Εαρινό Εξάμηνο Lec 05 & & 26 /02/2019 Διδάσκων: Γεώργιος Χρ.
Σχεδίαση Γλωσσών Προγραμματισμού Λεξική Ανάλυση Ι Εαρινό Εξάμηνο 2018-2019 Lec 05 & 06 25 & 26 /02/2019 Διδάσκων: Γεώργιος Χρ. Μακρής Φάσεις μεταγλώττισης Αρχικό Πρόγραμμα Λεκτική Ανάλυση λεκτικές μονάδες
Γενικές Παρατηρήσεις. Μη Κανονικές Γλώσσες - Χωρίς Συµφραζόµενα (1) Το Λήµµα της Αντλησης. Χρήση του Λήµµατος Αντλησης.
Γενικές Παρατηρήσεις Μη Κανονικές Γλώσσες - Χωρίς Συµφραζόµενα () Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Υπάρχουν µη κανονικές γλώσσες, π.χ., B = { n n n }. Αυτό
Σχεδίαση Γλωσσών Προγραμματισμού Συντακτική Ανάλυση ΙII. Εαρινό Εξάμηνο Lec 11 26/03/2019 Διδάσκων: Γεώργιος Χρ. Μακρής
Σχεδίαση Γλωσσών Προγραμματισμού Συντακτική Ανάλυση ΙII Εαρινό Εξάμηνο 2018-2019 Lec 11 26/03/2019 Διδάσκων: Γεώργιος Χρ. Μακρής Γραμματικές Μία γραμματική ονομάζεται αναδρομική εφόσον επιτρέπει παραγωγές
ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ
ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ Ενότητα 5: Μη κανονικές γλώσσες Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες,
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Δημήτρης Πλεξουσάκης
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Δημήτρης Πλεξουσάκης 2ο μέρος σημειώσεων: Συστήματα Αποδείξεων για τον ΠΛ, Μορφολογική Παραγωγή, Κατασκευή Μοντέλων Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης
Στοιχεία Θεωρίας Υπολογισµού (1): Τυπικές Γλώσσες, Γραµµατικές
Στοιχεία Θεωρίας Υπολογισµού (1): Τυπικές Γλώσσες, Γραµµατικές Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 1 /
Ποιές οι θεµελιώδεις δυνατότητες και ποιοί οι εγγενείς περιορισµοί των υπολογιστών ; Τί µπορούµε και τί δε µπορούµε να υπολογίσουµε (και γιατί);
Μοντελοποίηση του Υπολογισµού Στοιχεία Θεωρίας Υπολογισµού (): Τυπικές Γλώσσες, Γραµµατικές Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ποιές οι θεµελιώδεις δυνατότητες
Έστω συμβολοσειρά Το σύνολο FIRST περιέχει τα τερματικά σύμβολα από τα οποία αρχίζουν οι συμβολοσειρές που παράγονται από την
Βοηθητικές έννοιες (i) Σύνολα FIRST Έστω συμβολοσειρά Το σύνολο FIRST περιέχει τα τερματικά σύμβολα από τα οποία αρχίζουν οι συμβολοσειρές που παράγονται από την Αν a τότε a FIRST Αν τότε FIRST Νίκος Παπασπύρου,
Θέματα υπολογισμού στον πολιτισμό
Θέματα υπολογισμού στον πολιτισμό Ενότητα 4: Μοντελοποίηση υπολογισμού: Γραμματικές Εύη Παπαϊωάννου Σχολή Οργάνωσης και Διοίκησης Επιχειρήσεων Τμήμα Διαχείρισης Πολιτισμικού Περιβάλλοντος και Νέων Τεχνολογιών
Μεταγλωττιστές. Γιώργος Δημητρίου. Μάθημα 4 ο. Πανεπιστήμιο Θεσσαλίας - Τμήμα Πληροφορικής
Γιώργος Δημητρίου Μάθημα 4 ο Συντακτική Ανάλυση Επαλήθευση της σύνταξης του προγράμματος Κατασκευή συντακτικού δέντρου Η κεντρική φάση της Μετάφρασης Οδηγούμενης από τη Σύνταξη Από εδώ ξεκινά η παραγωγή
Κεφάλαιο 2: Τυπικές γλώσσες. Νίκος Παπασπύρου, Κωστής Σαγώνας Μεταγλωττιστές Μάρτιος / 216
Κεφάλαιο 2: Τυπικές γλώσσες Νίκος Παπασπύρου, Κωστής Σαγώνας Μεταγλωττιστές Μάρτιος 2017 13 / 216 Τυπικές γλώσσες (i) Βασικές έννοιες Αλφάβητο Σύμβολο Συμβολοσειρά Μήκος συμβολοσειράς Σύνολο συμβολοσειρών
Μεταγλωττιστές. Ενότητα 7: Συντακτική ανάλυση (Μέρος 1 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ
Μεταγλωττιστές Ενότητα 7: Συντακτική ανάλυση (Μέρος 1 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό
ΓΛΩΣΣΙΚΗ ΤΕΧΝΟΛΟΓΙΑ ΣΗΜΑΣΙΟΛΟΓΙΑ - SEMANTICS
ΓΛΩΣΣΙΚΗ ΤΕΧΝΟΛΟΓΙΑ ΣΗΜΑΣΙΟΛΟΓΙΑ - SEMANTICS Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια του εκπαιδευτικού έργου του διδάσκοντα. Το έργο «Ανοικτά Ακαδημαϊκά Μαθήματα στο Ιόνιο
771 Η - Θεωρία Υπολογισμών και Αλγορίθμων
771 Η - Θεωρία Υπολογισμών και Αλγορίθμων Σημειώσεις Μέρος 3 ο Διδάσκων: Το παρόν αποτελεί σημειώσεις που αντιστοιχούν σε μέρος των διαλέξεων για το μάθημα 771 Η - Θεωρία Υπολογισμών και Αλγορίθμων του
Μεταγλωττιστές. Ενότητα 2: Τυπικές γλώσσες (Μέρος 1 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ
Μεταγλωττιστές Ενότητα 2: Τυπικές γλώσσες (Μέρος 1 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό
Περιεχόμενα Τι περιγράφει ένα ΣΔ ΣΔ και παραγωγές Θεωρία Υπολογισμού Ενότητα 15: Συντακτικά Δέντρα Επ. Καθ. Π. Κατσαρός Τμήμα Πληροφορικής Επ. Καθ. Π.
Θεωρία Υπολογισμού νότητα 15: Συντακτικά Δέντρα Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται
Σύνοψη Προηγούµενου. Γλώσσες χωρίς Συµφραζόµενα (2): Αυτόµατα Στοίβας. Παραδείγµατα Σχεδιασµού CFG. Παράδειγµα 1.
Σύνοψη Προηγούµενου Γλώσσες χωρίς Συµφραζόµενα 2): Αυτόµατα Στοίβας Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Μη Κανονικές Γλώσσες Το Λήµµα της Αντλησης για τις
Εισαγωγή στο Bison. Μεταγλωττιστές, Χειμερινό εξάμηνο
Εισαγωγή στο Bison Μεταγλωττιστές, Χειμερινό εξάμηνο 2016-2017 Συντακτική Ανάλυση Αποτελεί την δεύτερη φάση της μετάφρασης. Εύρεση της σχέσης που υπάρχει των λεκτικών μονάδων ενός προγράμματος. Παράδειγμα
Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ
Θεωρία Υπολογισμού Ενότητα 14: Γραμματικές Χωρίς Συμφραζόμενα Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες,
ΑΣΚΗΣΗ 11: ΕΠΕΞΕΡΓΑΣΙΑ ΦΥΣΙΚΗΣ ΓΛΩΣΣΑΣ - ΣΥΝΤΑΚΤΙΚΗ ΑΝΑΛΥΣΗ (PARSING)
ΑΤΕΙ ΘΕΣΣΑΛΟΝΙΚΗΣ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΜΑΘΗΜΑ: ΕΡΓΑΣΤΗΡΙΟ ΤΕΧΝΗΤΗΣ ΝΟΗΜΟΣΥΝΗΣ (Prolog) ΕΞΑΜΗΝΟ: Δ - Εαρινό 2013-14 ΚΑΘΗΓΗΤΕΣ: Δ.ΣΤΑΜΑΤΗΣ, Κ.ΔΙΑΜΑΝΤΑΡΑΣ ΑΣΚΗΣΗ 11: ΕΠΕΞΕΡΓΑΣΙΑ ΦΥΣΙΚΗΣ ΓΛΩΣΣΑΣ -
Γραµµατικοί κανόνες Κανόνες µεταγραφής συµβόλων
Πανεπιστήµιο Αθηνών, Τµήµα Ε.Μ.Μ.Ε. Εαρινό εξάµηνο 2005 Σ. A. Μοσχονάς, Γενική Γλωσσολογία 25 & 26 Μαΐου 2005 Γραµµατικοί κανόνες - Κανόνες µεταγραφής Ιεραρχία γραµµατικών: Γραµµατικές Πεπερασµένων Καταστάσεων,
Εισαγωγή στη Γλωσσολογία Ι
ΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Εισαγωγή στη Γλωσσολογία Ι Σύνταξη Διδάσκοντες: Επίκ. Καθ. Μαρία Λεκάκου, Λέκτορας Μαρία Μαστροπαύλου Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται
ΓΛΩΣΣΙΚΗ ΤΕΧΝΟΛΟΓΙΑ. Μάθημα 1 ο : Εισαγωγή στην γλωσσική τεχνολογία. Γεώργιος Πετάσης. Ακαδημαϊκό Έτος: 2012 2013
ΓΛΩΣΣΙΚΗ ΤΕΧΝΟΛΟΓΙΑ Μάθημα 1 ο : Εισαγωγή στην γλωσσική τεχνολογία Γεώργιος Πετάσης Ακαδημαϊκό Έτος: 2012 2013 ΤMHMA MHXANIKΩΝ Η/Υ & ΠΛΗΡΟΦΟΡΙΚΗΣ, Πανεπιστήμιο Πατρών, 2012 2013 Τι είναι η γλωσσική τεχνολογία;
Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 8: Υπολογισιμότητα & Γλώσσες
Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Διακριτά Μαθηματικά Ενότητα 8: Υπολογισιμότητα & Γλώσσες Αν. Καθηγητής Κ. Στεργίου e-mail: kstergiou@uowm.gr Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών
Μεταγλωττιστές. Γιώργος Δημητρίου. Μάθημα 5 ο. Πανεπιστήμιο Θεσσαλίας - Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών
Γιώργος Δημητρίου Μάθημα 5 ο ΣΑ από Κάτω προς τα Πάνω Ξεκίνημα με την πρώτη λεκτική μονάδα Διάβασε διαδοχικές λεκτικές μονάδες αντικαθιστώντας το δεξί μέλος κάποιου κανόνα που έχει σχηματιστεί με το αριστερό
Θεωρία Υπολογισμού και Πολυπλοκότητα
Θεωρία Υπολογισμού και Πολυπλοκότητα Κεφάλαιο 7. Κατηγορηματικές Γραμματικές 27,2 Φεβρουαρίου, 9 Μαρτίου 2007 Δρ. Παπαδοπούλου Βίκη 1 Κατηγορηματικές Γραμματικές Ή Γραμματικές Χωρίς Συμφραζόμενα Παράδειγμα.
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Επανάληψη Μαθήματος
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Επανάληψη Μαθήματος Το Μάθημα σε μια Διαφάνεια Υπολογιστικά μοντέλα Κανονικές Γλώσσες Ντετερμινιστικά Αυτόματα Μη Ντετερμινιστικά Αυτόματα Κανονικές Εκφράσεις
Γραµµατικοί κανόνες Κανόνες µεταγραφής συµβόλων
Πανεπιστήµιο Αθηνών, Τµήµα Ε.Μ.Μ.Ε. Εαρινό εξάµηνο 2004 Σ. A. Μοσχονάς, Γενική Γλωσσολογία 25 Μαΐου 2004 Γραµµατικοί κανόνες - Κανόνες µεταγραφής Ιεραρχία γραµµατικών: Γραµµατικές Πεπερασµένων Καταστάσεων,
Ασκήσεις μελέτης της 8 ης διάλεξης
Οικονομικό Πανεπιστήμιο Αθηνών, Τμήμα Πληροφορικής Μάθημα: Τεχνητή Νοημοσύνη, 2017 18 Διδάσκων: Ι. Ανδρουτσόπουλος Ασκήσεις μελέτης της 8 ης διάλεξης 8.1. (i) Έστω ότι α και β είναι δύο τύποι της προτασιακής
Γλωσσική Τεχνολογία. Εισαγωγή. Ίων Ανδρουτσόπουλος.
Γλωσσική Τεχνολογία Εισαγωγή 2015 16 Ίων Ανδρουτσόπουλος http://www.aueb.gr/users/in/ Τι θα ακούσετε Εισαγωγή στη γλωσσική τεχνολογία. Ύλη και οργάνωση του μαθήματος. Προαπαιτούμενες γνώσεις και άλλα προτεινόμενα
ΤΕΧΝΟΓΛΩΣΣΙΑ VIII ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΔΙΔΑΣΚΟΝΤΕΣ: ΜΑΪΣΤΡΟΣ ΓΙΑΝΗΣ, ΠΑΠΑΚΙΤΣΟΣ ΕΥΑΓΓΕΛΟΣ ΑΣΚΗΣΗ: ΔΙΟΡΘΩΣΗ ΕΚΦΡΑΣΕΩΝ (Β )
ΤΕΧΝΟΓΛΩΣΣΙΑ VIII ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΔΙΔΑΣΚΟΝΤΕΣ: ΜΑΪΣΤΡΟΣ ΓΙΑΝΗΣ, ΠΑΠΑΚΙΤΣΟΣ ΕΥΑΓΓΕΛΟΣ ΑΣΚΗΣΗ: ΔΙΟΡΘΩΣΗ ΕΚΦΡΑΣΕΩΝ (Β ) ΣΚΟΠΟΣ Σκοπός της άσκησης είναι ο σχεδιασμός και η υλοποίηση συστήματος διόρθωσης
Εισαγωγή στη Γλωσσολογία Ι
ΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Εισαγωγή στη Γλωσσολογία Ι Σύνταξη Διδάσκοντες: Επίκ. Καθ. Μαρία Λεκάκου, Λέκτορας Μαρία Μαστροπαύλου Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται
CSC 314: Switching Theory
CSC 314: Switching Theory Course Summary 9 th January 2009 1 1 Θέματα Μαθήματος Ερωτήσεις Τι είναι αλγόριθμος? Τι μπορεί να υπολογιστεί? Απαντήσεις Μοντέλα Υπολογισμού Δυνατότητες και μη-δυνατότητες 2
Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (3)
Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (3) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Μη Ασυμφραστικές Γλώσσες (2.3) Λήμμα Άντλησης για Ασυμφραστικές Γλώσσες Παραδείγματα
Τεχνητή Νοημοσύνη ( )
Εβδομάδα Διάλεξη Ενδεικτικά θέματα διαλέξεων Ενδεικτικά θέματα εργαστηρίων/φροντιστηρίων 1 1 1 2 2 3 2 4 3 5 3 6 4 7 4 8 5 9 Τεχνητή Νοημοσύνη (2017-18) Γενικές πληροφορίες για το μάθημα. Εισαγωγή στην
Κατηγορικές Γραµµατικές
Κατηγορικές Γραµµατικές Γραµµατικές Χωρίς περιορισµούς Με συµφραζόµενα Χωρίς συµφραζόµενα Κανονικές Πεπερασµένων επιλογών Κατηγορικές Ενεργοποίησης Γραµµατικές G = { T, N, P, S } Τ: αλφάβητο τερµατικών
Ενότητες Α και Β (Α' Μέρος). Από τη γραμμικότητα στη συστατικότητα. Δομή και συστατικότητα. Δομικοί κανόνες.
Ενότητες Α και Β (Α' Μέρος). Από τη γραμμικότητα στη συστατικότητα. Δομή και συστατικότητα. Δομικοί κανόνες. 1. Δομή/λειτουργία. Όπως όλα τα αντικείμενα που κατασκευάζονται για ένα σκοπό (κομπιούτερς,
Τεχνητή Νοημοσύνη. 8η διάλεξη ( ) Ίων Ανδρουτσόπουλος.
Τεχνητή Νοημοσύνη 8η διάλεξη (2016-17) Ίων Ανδρουτσόπουλος http://www.aueb.gr/users/ion/ 1 Οι διαφάνειες αυτής της διάλεξης βασίζονται στο βιβλίο Artificial Intelligence A Modern Approach των S. Russel
Διάλεξη 22: Δυαδικά Δέντρα. Διδάσκων: Παναγιώτης Ανδρέου
Διάλεξη 22: Δυαδικά Δέντρα Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: - Δυαδικά Δένδρα - Δυαδικά Δένδρα Αναζήτησης - Πράξεις Εισαγωγής, Εύρεσης Στοιχείου, Διαγραφής Μικρότερου Στοιχείου
Περιεχόμενα. Εισαγωγή του επιμελητή, Γιάννης Σταματίου 15 Πρόλογος 17 Εισαγωγή 23. Μέρος I. ΕΠΑΝΑΛΗΠΤΙΚΟΙ ΑΛΓΟΡΙΘΜΟΙ ΚΑΙ ΑΝΑΛΛΟΙΩΤΕΣ ΣΥΝΘΗΚΕΣ
Περιεχόμενα Εισαγωγή του επιμελητή, Γιάννης Σταματίου 15 Πρόλογος 17 Εισαγωγή 23 Μέρος I. ΕΠΑΝΑΛΗΠΤΙΚΟΙ ΑΛΓΟΡΙΘΜΟΙ ΚΑΙ ΑΝΑΛΛΟΙΩΤΕΣ ΣΥΝΘΗΚΕΣ 1. Επαναληπτικοί αλγόριθμοι: Μέτρα προόδου και αναλλοίωτες συνθήκες.....................................................29
Τεχνητή Νοημοσύνη (ΥΠ23) 6 ο εξάμηνο Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ουρανία Χατζή
Τεχνητή Νοημοσύνη (ΥΠ23) 6 ο εξάμηνο Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ουρανία Χατζή raniah@hua.gr 1 Αναπαράσταση Γνώσης Η περιγραφή ενός προβλήματος σε συνδυασμό με τους τελετές
Διάλεξη 17: Δυαδικά Δέντρα. Διδάσκων: Κωνσταντίνος Κώστα Διαφάνειες: Δημήτρης Ζεϊναλιπούρ
Διάλεξη 7: Δυαδικά Δέντρα Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Δυαδικά Δένδρα Δυαδικά Δένδρα Αναζήτησης Πράξεις Εισαγωγής, Εύρεσης Στοιχείου, Διαγραφής Μικρότερου Στοιχείου Διδάσκων:
Λογική Δημήτρης Πλεξουσάκης Φροντιστήριο 6: Προτασιακός Λογισμός: Μέθοδος Επίλυσης Τμήμα Επιστήμης Υπολογιστών
Λογική Δημήτρης Πλεξουσάκης Φροντιστήριο 6: Προτασιακός Λογισμός: Μέθοδος Επίλυσης Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται στην άδεια χρήσης Creative Commons και
ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ
ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ Ενότητα 8: Ιδιότητες Γραμματικών χωρίς Συμφραζόμενα Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό
Υπολογίσιμες Συναρτήσεις
Υπολογίσιμες Συναρτήσεις Σ Π Υ Ρ Ι Δ Ω Ν Τ Ζ Ι Μ Α Σ Δ Τ Ο Μ Ε Α Σ Τ Μ Η Μ Α Μ Α Θ Η Μ Α Τ Ι Κ Ω Ν Σ Χ Ο Λ Η Θ Ε Τ Ι Κ Ω Ν Ε Π Ι Σ Τ Η Μ Ω Ν Π Α Ν Ε Π Ι Σ Τ Η Μ Ι Ο Ι Ω Α Ν Ν Ι Ν Ω Ν Υπολογίσιμες Συναρτήσεις
Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ
Θεωρία Υπολογισμού Ενότητα 18: Λήμμα Άντλησης για ΓΧΣ Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που
Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ
Θεωρία Υπολογισμού Ενότητα 17: Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύπου
Πληρότητα της μεθόδου επίλυσης
Πληρότητα της μεθόδου επίλυσης Λήμμα: Αν κάθε μέλος ενός συνόλου όρων περιέχει ένα αρνητικό γράμμα, τότε το σύνολο είναι ικανοποιήσιμο. Άρα για να είναι μη-ικανοποιήσιμο, θα πρέπει να περιέχει τουλάχιστον
Στοιχεία Θεωρίας Γλωσσών. (συνέχεια) (συνέχεια) Πέμπτη 27 Οκτωβρίου 2016 Θεόδωρος Τζουραμάνης Επίκουρος Καθηγητής
https://www.icsd.aegean.gr/t.tzouramanis/courses/dm1 ttzouram@aegean.gr Πέμπτη 7 Οκτωβρίου 016 Δ Κατά τον Καθηγητή Avram Noam Chomsky οι γραμματικές ταξινομούνται σύμφωνα με τα είδη παραγωγών που επιτρέπονται,
Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ
Θεωρία Υπολογισμού Ενότητα 7: Πεπερασμένη αναπαράσταση γλωσσών Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες,
«Τεχνογλωσσία VIII» Εξαγωγή πληροφοριών από κείμενα
«Τεχνογλωσσία VIII» Εξαγωγή πληροφοριών από κείμενα Σεμινάριο 5: Σημασιολογική Ανάλυση Ευάγγελος Καρκαλέτσης, Γεώργιος Πετάσης Εργαστήριο Τεχνολογίας Γνώσεων & Λογισμικού, Ινστιτούτο Πληροφορικής & Τηλεπικοινωνιών,
Μεταγλωττιστές. Δημήτρης Μιχαήλ. Ακ. Έτος 2011-2012. Ανοδικές Μέθοδοι Συντακτικής Ανάλυσης. Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο
Μεταγλωττιστές Ανοδικές Μέθοδοι Συντακτικής Ανάλυσης Δημήτρης Μιχαήλ Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ακ. Έτος 2011-2012 Ανοδική Κατασκευή Συντακτικού Δέντρου κατασκευή δέντρου
Εισαγωγή στην Επιστήμη των Υπολογιστών
Εισαγωγή στην Επιστήμη των Υπολογιστών 4ο εξάμηνοσhmμy 6η ενότητα: Αυτόματα, τυπικές γλώσσες, γραμματικές Επιμέλεια διαφανειών: Στάθης Ζάχος, Άρης Παγουρτζής http://www.corelab.ece.ntua.gr/courses/introcs
Η ΘΕΩΡΙΑ ΤΟΥ Χ --Η ΔΟΜΗ ΤΗΣ ΡΦ, ΠΡΦ, ΕΦ, ΟΦ
Η ΘΕΩΡΙΑ ΤΟΥ Χ --Η ΔΟΜΗ ΤΗΣ ΡΦ, ΠΡΦ, ΕΦ, ΟΦ Ι. Η ανεπάρκεια των επίπεδων δομών. Η δομή της ΟΦ. Συμπληρώματα vs. Προσδιορισμοί ήτροποποιητές ΙΙ. Η δομή της ΡΦ, ΕΦ, ΠρΦ ΙΙΙ. Οι Αρχές της Θεωρίας του Χ' Ι.
Οργάνωση Βάσεων Βιοϊατρικών Δεδομένων Εξόρυξη Γνώσης Βιοϊατρικών Δεδομένων. Σεμινάριο 6: Δομές ευρετηρίων για αρχεία
Οργάνωση Βάσεων Βιοϊατρικών Δεδομένων Εξόρυξη Γνώσης Βιοϊατρικών Δεδομένων Σεμινάριο 6: Δομές ευρετηρίων για αρχεία Ευάγγελος Καρκαλέτσης, Αναστασία Κριθαρά, Γεώργιος Πετάσης Εργαστήριο Τεχνολογίας Γνώσεων
HY Λογική Διδάσκων: Δ. Πλεξουσάκης
HY-180 - Λογική Διδάσκων: Δ. Πλεξουσάκης Πληρότητα της μεθόδου επίλυσης Λήμμα: Αν κάθε μέλος ενός συνόλου όρων περιέχει ένα αρνητικό γράμμα, τότε το σύνολο είναι ικανοποιήσιμο. Άρα για να είναι μη-ικανοποιήσιμο,
Σειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing (αυθεντικός ορισμός) η οποία να διαγιγνώσκει τη γλώσσα { w#z w, z {a,b}* και η z είναι υπολέξη της w}. Συγκεκριμένα,
Οι βασικές λειτουργίες (ή πράξεις) που γίνονται σε μια δομή δεδομένων είναι:
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ Μια δομή δεδομένων στην πληροφορική, συχνά αναπαριστά οντότητες του φυσικού κόσμου στον υπολογιστή. Για την αναπαράσταση αυτή, δημιουργούμε πρώτα ένα αφηρημένο μοντέλο στο οποίο προσδιορίζονται
Συστήματα Γνώσης. Θεωρητικό Κομμάτι Μαθήματος Ενότητα 2: Βασικές Αρχές Αναπαράστασης Γνώσης και Συλλογιστικής
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΙΚΑ ΜΑΘΗΜΑΤΑ Θεωρητικό Κομμάτι Μαθήματος Ενότητα 2: Βασικές Αρχές Αναπαράστασης Γνώσης και Συλλογιστικής Νίκος Βασιλειάδης, Αναπλ. Καθηγητής Άδειες
HY Λογική Διδάσκων: Δ. Πλεξουσάκης Εαρινό Εξάμηνο. Φροντιστήριο 6
HY-180 - Λογική Διδάσκων: Δ. Πλεξουσάκης Εαρινό Εξάμηνο 2015-2016 Φροντιστήριο 6 Α) ΘΕΩΡΙΑ Μέθοδος Επίλυσης (Resolution) Στη μέθοδο της επίλυσης αποδεικνύουμε την ικανοποιησιμότητα ενός συνόλου προτάσεων,
ΚΕΦΑΛΑΙΟ 6: Γλώσσες. 6.1 Ιστορική εξέλιξη 6.4 Υλοποίηση γλώσσας. Κεφάλαιο 6: «Γλώσσες Προγραµµατισµού»
ΚΕΦΑΛΑΙΟ 6: Γλώσσες Προγραµµατισµού 6.1 Ιστορική εξέλιξη 6.4 Υλοποίηση γλώσσας 1 6.1 Γενιές γλωσσών προγραµµατισµού 2 Δεύτερη γενιά: γλώσσα assembly Ένα µνηµονικό σύστηµα για την αναπαράσταση προγραµµάτων
ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ
ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ Ενότητα 1: Εισαγωγή Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται
Αλγόριθμοι και Δομές Δεδομένων (Ι) (εισαγωγικές έννοιες)
Ιόνιο Πανεπιστήμιο Τμήμα Πληροφορικής Εισαγωγή στην Επιστήμη των Υπολογιστών 2015-16 Αλγόριθμοι και Δομές Δεδομένων (Ι) (εισαγωγικές έννοιες) http://di.ionio.gr/~mistral/tp/csintro/ Μ.Στεφανιδάκης Τι είναι
Δομές Δεδομένων & Αλγόριθμοι
Θέματα Απόδοσης Αλγορίθμων 1 Η Ανάγκη για Δομές Δεδομένων Οι δομές δεδομένων οργανώνουν τα δεδομένα πιο αποδοτικά προγράμματα Πιο ισχυροί υπολογιστές πιο σύνθετες εφαρμογές Οι πιο σύνθετες εφαρμογές απαιτούν
ΗΥ180: Λογική Διδάσκων: Δημήτρης Πλεξουσάκης. Φροντιστήριο 8 Επίλυση για Horn Clauses Λογικός Προγραμματισμός Τετάρτη 9 Μαΐου 2012
ΗΥ180: Λογική Διδάσκων: Δημήτρης Πλεξουσάκης Φροντιστήριο 8 Επίλυση για Horn Clauses Λογικός Προγραμματισμός Τετάρτη 9 Μαΐου 2012 Πληρότητα της μεθόδου επίλυσης Λήμμα: Αν κάθε μέλος ενός συνόλου όρων περιέχει
Τεχνητή Νοημοσύνη. 23η διάλεξη ( ) Ίων Ανδρουτσόπουλος.
Τεχνητή Νοημοσύνη 23η διάλεξη (2016-17) Ίων Ανδρουτσόπουλος http://www.aueb.gr/users/ion/ 1 Τι θα ακούσετε σήμερα Σημασιολογική ανάλυση φυσικής γλώσσας με γραμματικές DCG. Παραγωγή κειμένων φυσικής γλώσσας.
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Δημήτρης Πλεξουσάκης 3ο μέρος σημειώσεων: Μέθοδος της Επίλυσης Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται στην άδεια
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 15: Διαγνωσιμότητα (Επιλυσιμότητα) ΙΙ
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 15: Διαγνωσιμότητα (Επιλυσιμότητα) ΙΙ Τι θα κάνουμε σήμερα Επιλύσιμα Προβλήματα σχετικά με Ασυμφραστικές Γλώσσες (4.1.2) Το Πρόβλημα του Τερματισμού
Τεχνητή Νοημοσύνη (ΥΠ23) 6 ο εξάμηνο Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ουρανία Χατζή
Τεχνητή Νοημοσύνη (ΥΠ23) 6 ο εξάμηνο Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ουρανία Χατζή raniah@hua.gr 1 Αλγόριθμοι Τυφλής Αναζήτησης Οι αλγόριθμοι τυφλής αναζήτησης εφαρμόζονται σε
ΚΕΦΑΛΑΙΟ 8: Αφαίρεση δεδοµένων
ΚΕΦΑΛΑΙΟ 8: Αφαίρεση δεδοµένων 8.1 Βασικές έννοιες δοµών δεδοµένων 8.2 Σχετικές έννοιες 8.3 Υλοποίηση δοµών δεδοµένων 8.4 Μια σύντοµη µελέτη περίπτωσης 8.5 Προσαρµοσµένοι τύποι δεδοµένων 1 Βασικές δοµές
Τι είναι αλγόριθμος; Υποπρογράμματα (υποαλγόριθμοι) Βασικές αλγοριθμικές δομές
Ιόνιο Πανεπιστήμιο Τμήμα Πληροφορικής Εισαγωγή στην Επιστήμη των Υπολογιστών 2015-16 Αλγόριθμοι και Δομές Δεδομένων (Ι) (εισαγωγικές έννοιες) http://di.ionio.gr/~mistral/tp/csintro/ Μ.Στεφανιδάκης Τι είναι
Τυπικές Γραμματικές και Άλλα Αυτόματα
Κεφάλαιο 8 Τυπικές Γραμματικές και Άλλα Αυτόματα 8.1 Εισαγωγή Στο κεφάλαιο αυτό θα ασχοληθούμε με μη κανονικές γλώσσες και γραμματικές, καθώς και τα αντίστοιχα αυτόματα που τις αναγνωρίζουν. Πιο συγκεκριμένα
Περιεχόμενα Ορισμός και λειτουργία των μηχανών Turing Θεωρία Υπολογισμού Ενότητα 20: Μηχανές Turing: Σύνθεση και Υπολογισμοί Επ. Καθ. Π. Κατσαρός Τμήμ
Θεωρία Υπολογισμού Ενότητα 20: Μηχανές Turing: Σύνθεση και Υπολογισμοί Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό,
Διδάσκων: Κωνσταντίνος Κώστα
Διάλεξη Ε4: Επανάληψη Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Εισαγωγή σε δενδρικές δομές δεδομένων, Δυαδικά Δένδρα Αναζήτησης Ισοζυγισμένα Δένδρα & 2-3 Δένδρα Διδάσκων: Κωνσταντίνος
Περιεχόμενα. 1 Υπολογισιμότητα. Ιστορία - Εισαγωγή. Μαθηματικό Υπόβαθρο. LOOP: Μια απλή γλώσσα προγραμματισμού
Αυτόματα και Τυπικές Γλώσσες Περιεχόμενα 1 Υπολογισιμότητα Ιστορία - Εισαγωγή Μαθηματικό Υπόβαθρο LOOP: Μια απλή γλώσσα προγραμματισμού LOOP-υπολογίσιμες και πρωταρχικές αναδρομικές συναρτήσεις Σταθερά
Σύνοψη Προηγούµενου. Γλώσσες χωρίς Συµφραζόµενα (2) Ισοδυναµία CFG και PDA. Σε αυτό το µάθηµα. Αυτόµατα Στοίβας Pushdown Automata
Σύνοψη Προηγούµενου Γλώσσες χωρίς Συµφραζόµενα (2) Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Αυτόµατα Στοίβας Pushdown utomata Ισοδυναµία µε τις Γλώσσες χωρίς Συµφραζόµενα:
Επανάληψη. ΗΥ-180 Spring 2019
Επανάληψη Έχουμε δει μέχρι τώρα 3 μεθόδους αποδείξεων του Προτασιακού Λογισμού: Μέσω πίνακα αληθείας για τις υποθέσεις και το συμπέρασμα, όπου ελέγχουμε αν υπάρχουν ερμηνείες που ικανοποιούν τις υποθέσεις