Formal Language Theory
| Titel | ΘΕΩΡΙΑ ΤΥΠΙΚΩΝ ΓΛΩΣΣΩΝ / Formal Language Theory |
| Code | 0838 |
| Cycle / Level | 1. Grund- und Hauptstudiengang, 2. Magisterstudiengang |
| Semester | Winter |
| Coordinator | Georgios Rachonis |
| Common | Nein |
| Status | Aktiv |
| Course ID | 40000060 |
Studienplan: PMS Tmīmatos Mathīmatikṓn (2018-sīmera)
Registered students: 9
| Fachrichtung | Form des Kursbesuchs | Semester | Jahr | ECTS |
|---|---|---|---|---|
| THEŌRĪTIKĪ PLĪROFORIKĪ KAI THEŌRIA SYSTĪMATŌN KAI ELEGCΗOU | A | 1 | 1 | 10 |
| Akademisches Jahr | 2018 – 2019 |
| Kurslehrdauer | Winter |
| Faculty Instructors |
|
| Weekly Hours | 3 |
| Class ID | 600125741
|
Course Type 2016-2020
- Grundlagenkenntnisse
- Wissenschaftlicher Fachbereich
- Entwicklung von Fertigkeiten
Veranstaltungstyp
- Persönliche Anwesenheit
Elektronischer Zugang zu Unterrichtsmaterialien
- e-Study Guide https://qa.auth.gr/de/class/1/600125741
- Sonstiges: http://users.auth.gr/grahonis/TFL.html
Sprache
- Griechisch (Lehre, Prüfung)
- Englisch (Lehre)
Allgemeine Kompetenzen
- Anwendung des Wissens in der Praxis
- Recherche, Analyse und Verarbeitung von Daten und Informationen mittels der Verwendung technologischer Medien
- Anpassung an neue Situationen
- Entscheidungsfähigkeit
- Autonomes Arbeiten
- Gruppenarbeit
- Arbeit in einem internationalen Umfeld
- Arbeit in einem multidisziplinären Umfeld
- Produktion von neuen Forschungsideen
- Planung und Projektmanagement
- Kritik und Selbstkritik
- Förderung des freien, kreativen und induktiven Denkens
Lehrmaterialien
- Buch
Unterrichtsorganisation
| Activities | Arbeitsbelastung | ECTS | Einzelarbeit | Gruppenarbeit | Erasmus |
|---|---|---|---|---|---|
| Vorlesungen | 39 | 1.3 | ✓ | ||
| Rezeption/ Analyse von Texten | 117 | 3.9 | ✓ | ||
| Total | 156 | 5.2 |
Bewertung der Studierenden
Beschreibung des Verfahrens
- Schriftliche Prüfung mit Problemlösung (Entwicklung, Endnote)
- Öffentliche Präsentation (Entwicklung)
Empfohlene Bibliographie
Weitere Bibliographie
- 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
