ΑΥΤΟΜΑΤΑ ΣΕ ΗΜΙΔΑΚΤΥΛΙΟΥΣ
| Τίτλος | ΑΥΤΟΜΑΤΑ ΣΕ ΗΜΙΔΑΚΤΥΛΙΟΥΣ / Automata in Semi-rings |
| Κωδικός | 0865 |
| Σχολή | Θετικών Επιστημών |
| Τμήμα | Μαθηματικών |
| Κύκλος / Επίπεδο | 1ος / Προπτυχιακό, 2ος / Μεταπτυχιακό |
| Περίοδος Διδασκαλίας | Χειμερινή |
| Υπεύθυνος/η | Γεώργιος Ραχώνης |
| Κοινό | Ναι |
| Κατάσταση | Ενεργό |
| Course ID | 600000888 |
Πρόγραμμα Σπουδών: ΠΜΣ Τμήματος Μαθηματικών (2018-σήμερα)
Εγγεγραμμένοι φοιτητές: 5
| Κατεύθυνση | Τύπος Παρακολούθησης | Εξάμηνο | Έτος | ECTS |
|---|---|---|---|---|
| ΘΕΩΡΗΤΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ ΚΑΙ ΘΕΩΡΙΑ ΣΥΣΤΗΜΑΤΩΝ KAI ΕΛΕΓΧΟΥ | Α | 1 | 1 | 10 |
| Τίτλος | ΑΥΤΟΜΑΤΑ ΣΕ ΗΜΙΔΑΚΤΥΛΙΟΥΣ |
| Ακαδημαϊκό Έτος | 2023 – 2024 |
| Περίοδος Τάξης | Χειμερινή |
| Διδάσκοντες μέλη ΔΕΠ | |
| Ώρες Εβδομαδιαία | 3 |
| Ώρες Συνολικά | 39 |
| Class ID | 600233361
|
Τύπος Μαθήματος 2011-2015
Εμβάθυνσης / Εμπέδωσης Γνώσεων
Ηλεκτρονική Διάθεση Μαθήματος
- e-Οδηγός Σπουδών https://qa.auth.gr/el/class/1/600233361
- Άλλη: http://users.auth.gr/grahonis/AOS.html
Γλώσσα Διδασκαλίας
- Ελληνικά (Διδασκαλία, Εξέταση)
- Αγγλικά (Διδασκαλία, Εξέταση)
Μαθησιακά Αποτελέσματα
Οι φοιτητές με την περάτωση του μαθήματος γνωρίζουν την έννοια του αυτομάτου με βάρη από αντιμεταθετικό ημιδακτύλιο Κ, της συμπεριφοράς του, και τις ιδιότητες της κλάσης των συμπεριφορών των αυτομάτων με βάρη από τον Κ. Θα κατανοήσουν τη διαφορά και την αυξημένη δυσκολία στις αποδεικτικές μεθόδους που χρησιμοποιούνται στα αυτόματα με βάρη σε σχέση με τις αντίστοιχες μεθόδους στα πεπερασμένα αυτόματα. Θα κατανοήσουν ακόμη τις διαφορές ανάμεσα στα πεπερασμένα αυτόματα και σε αυτά με βάρη σε σχέση με την ισοδυναμία προσδιοριστών και μη-προσδιοριστών μοντέλων, και τις ιδιότητες αποφασισιμότητας.
Γενικές Ικανότητες
- Εφαρμογή της γνώσης στην πράξη
- Λήψη αποφάσεων
- Εργασία σε διεθνές περιβάλλον
- Εργασία σε διεπιστημονικό περιβάλλον
- Παραγωγή νέων ερευνητικών ιδεών
Περιεχόμενο Μαθήματος
Ημιδακτύλιοι. Αυτόματα με βάρη σε ημιδακτύλιους. Αναγνωρίσιμες σειρές. Ιδιότητες αναγνωρίσιμων σειρών. Το πρόβλημα της προσδιοστότητας των αυτομάτων με βάρη. Προβλήματα αποφασισιμότητας. Εφαρμογές: Ασαφείς γλώσσες. Ψηφιακή συμπίεση εικόνας.
Λέξεις Κλειδιά
Ημιδακτύλιοι, αυτόματα σε ημιδακτύλιους, σειρές
Τύποι Εκπαιδευτικού Υλικού
- Σημειώσεις
Οργάνωση Μαθήματος
| Δραστηριότητες | Φόρτος Εργασίας | ECTS | Ατομικά | Ομαδικά | Erasmus |
|---|---|---|---|---|---|
| Διαλέξεις | 300 | 10 | ✓ | ||
| Σύνολο | 300 | 10 |
Αξιολόγηση Φοιτητών
Περιγραφή
Γραπτές εξετάσεις
Μέθοδοι Αξιολόγησης Φοιτητών
- Γραπτή Εξέταση με Ερωτήσεις Σύντομης Απάντησης (Συμπερασματική)
- Γραπτή Εξέταση με Ερωτήσεις Εκτεταμένης Απάντησης (Διαμορφωτική)
- Γραπτή Εξέταση με Επίλυση Προβλημάτων (Διαμορφωτική)
Βιβλιογραφία
Επιπρόσθετη βιβλιογραφία για μελέτη
- M. Droste, W. Kuich, and H. Vogler, eds., Handbook of Weighted Automata, EATCS Monographs in Theoretical
Computer Science, Springer, 2009.
- Z. Ésik, W. Kuich, Modern Automata Theory, http://www.dmg.tuwien.ac.at/kuich/mat.ps
- W. Kuich, Semirings and formal power series: Their relevance to formal languages and automata theory, in:
Handbook of of Formal Languages, volume 1, Chapter 9, Springer, Berlin, pages 609-667.
- W. Kuich A. Salomaa, Semirings, Automata, Languages, EATCS Monographs in Theoretical Computer Science,
Springer, 1986.
- J. Sakarovitch, Elements of Automata Theory, Cambridge, 2009.
- A. Salomaa, M. Soittola, Automata-Theoretic Aspects of Formal Power Series, Springer, Berlin, 1978.
- J. Berstel, Ch. Reutenauer, Rational Series and Their Languages, EATCS Monographs in Theoretical Computer
Science, Springer, 1988.
Τελευταία Επικαιροποίηση
07-02-2020
