# Automata in Semi-rings

 Title ΑΥΤΟΜΑΤΑ ΣΕ ΗΜΙΔΑΚΤΥΛΙΟΥΣ / Automata in Semi-rings Code 0865 Faculty Sciences School Mathematics Cycle / Level 2nd / Postgraduate Teaching Period Spring Coordinator Georgios Rachonis Common No Status Active Course ID 600000888

### Programme of Study: PMS Tmīmatos Mathīmatikṓn (2018-sīmera)

Registered students: 14
OrientationAttendance TypeSemesterYearECTS
THEŌRĪTIKĪ PLĪROFORIKĪ KAI THEŌRIA SYSTĪMATŌN KAI ELEGCΗOUCore Courses2110
STATISTIKĪ KAI MONTELOPOIĪSĪCompulsory Course2110

 Academic Year 2019 – 2020 Class Period Spring Faculty Instructors Georgios Rachonis 3hrs Weekly Hours 3 Class ID 600148308
Course Category
Knowledge Deepening / Consolidation
Language of Instruction
• Greek (Instruction, Examination)
• English (Instruction, Examination)
Learning Outcomes
The course focuses on the study of weighted automata over a commutative semiring K, its behavior as well as the properties of the class of the behaviors of all such weighted automata over K. Students will understand the main differences on proof techniques among finite automata and weighted automata over K. Furthermore, students will understand the differences among finite and weighted automata with reference to determinization and decidability properties.
General Competences
• Apply knowledge in practice
• Make decisions
• Work in an international context
• Work in an interdisciplinary team
• Generate new research ideas
Course Content (Syllabus)
Semirings. Weighted automata over semirings. Recognizable series. Properties of recognizable series. The determinization problem for weighted automata over semirings. Decidability problems. Applications: Fuzzy languages. Digital image compression.
Keywords
Seimirings, weighted automata, series
Educational Material Types
• Notes
Course Organization
Lectures30010
Total30010
Student Assessment
Description
Written exams
Student Assessment methods
• Written Exam with Short Answer Questions (Summative)
• Written Exam with Extended Answer Questions (Formative)
• Written Exam with Problem Solving (Formative)
Bibliography