Formal Language Theory
| Titre | ΘΕΩΡΙΑ ΤΥΠΙΚΩΝ ΓΛΩΣΣΩΝ / Formal Language Theory |
| Code | 0838 |
| Cycle / Niveau | 1er cycle / Licence , 2e cycle / Master |
| Semestre de l’année | Winter |
| Coordinator | Georgios Rachonis |
| Common | Non |
| Statut | Actif |
| Course ID | 40000060 |
Programme d' Études: PMS Tmīmatos Mathīmatikṓn (2018-sīmera)
Registered students: 9
| Orientation | Attendance Type | Semester | Année | ECTS |
|---|---|---|---|---|
| THEŌRĪTIKĪ PLĪROFORIKĪ KAI THEŌRIA SYSTĪMATŌN KAI ELEGCΗOU | A | 1 | 1 | 10 |
| Année Académique | 2018 – 2019 |
| Semestre de l’Année | Winter |
| Faculty Instructors |
|
| Weekly Hours | 3 |
| Class ID | 600125741
|
Course Type 2016-2020
- Cours Fondamental
- Domaine Scientifique
- Développement de Compétences
Mode d’Enseignement
- En présentiel
Accès en Ligne
- e-Study Guide https://qa.auth.gr/fr/class/1/600125741
- Autre: http://users.auth.gr/grahonis/TFL.html
Language of Instruction
- Grec (Enseignement, Examens)
- Anglais (Enseignement)
Aptitudes Générales
- Application des connaissances à la pratique
- Recherche, analyse et synthèse de données et d’informations, avec utilisation des technologies adéquates
- Adaptation à des situations nouvelles
- Prise de décision
- Travail en autonomie
- Travail d’équipe
- Travail en environnement international
- Travail en environnement pluridisciplinaire
- Production de nouvelles idées de recherche
- Conception et gestion de projets
- Critique et autocritique
- Promotion de la pensée libre, créatrice et inductive
Type de Matériels Éducatifs
- Notes de cours
Organisation du Cours
| Activités | Charge de travail | ECTS | Individuel | En groupe | Erasmus |
|---|---|---|---|---|---|
| Conferences | 39 | 1.3 | ✓ | ||
| Etude & analyse bibliographiques | 117 | 3.9 | ✓ | ||
| Total | 156 | 5.2 |
Student Assessment
Student Assessment methods
- Examen écrit : résolution de problèmes (Formative, Sommative)
- Présentation publique (Formative)
Bibliography
Additional bibliography for study
- C. Baier, J.-P. Katoen, Principles in model checking, MIT Press, 2008.
B. Khoussainov, A. Nerode, Automata Theory and its Applications, Birkhäuser
Boston, 2001.
- W. Thomas, Automata on infinite objects, in: Handbook of Theoretical Computer
Science, vol. B (J. v. Leeuwen, ed.), Elsevier Science Publishers, Amsterdam
1990, pp. 135-191.
- W. Thomas, Languages, automata and logic, in: Handbook of Formal Languages, vol.
3 (G. Rozenberg, A. Salomaa, eds.), Springer, 1997, pp. 389-485.
- M-H. Tsai, S. Fogarty, M.Y. Vardi, Y-K. Tsay, State of Büchi complementation,
Full version of CIAA 2010 paper,
http://www.cs.rice.edu/~vardi/papers/ciaa10rj.pdf
- Q. Yan, Lower bounds for complementation of omega-automata via the full automata
technique, Logical Methods in Computer Science 4(2005), 1-20.
Last Update
25-09-2018
