Formal Language Theory

Informazioni sull’Insegnamento
TitoloΘΕΩΡΙΑ ΤΥΠΙΚΩΝ ΓΛΩΣΣΩΝ / Formal Language Theory
Codice0838
Ciclo / Livello di Studi1. Corso di Laurea, 2. Post Laurea
Semestre di InsegnamentoWinter
CoordinatorGeorgios Rachonis
Common
StatoAttivo
Course ID40000060

Programma di Studio: PMS Tmīmatos Mathīmatikṓn (2018-sīmera)

Registered students: 9
IndirizzoTipo di FrequenzaSemestreAnnoECTS
THEŌRĪTIKĪ PLĪROFORIKĪ KAI THEŌRIA SYSTĪMATŌN KAI ELEGCΗOUA1110
STATISTIKĪ KAI MONTELOPOIĪSĪObbligatorio1110

Informazioni sull’Insegnamento
Anno Accademico2018 – 2019
SemestreWinter
Faculty Instructors
Weekly Hours3
Class ID
600125741
Course Type 2016-2020
  • Introduttivo
  • Area Scientifica
  • Sviluppo di Competenze
Organizzazione della Didattica
  • In presenza
Language of Instruction
  • Greco (Insegnamento, Esame)
  • Inglese (Insegnamento)
Abilita’ Generali
  • Applicazione pratica delle conoscenze acquisite
  • Ricerca, analisi e raccolta dati e informazioni, con l’utilizzo di tecnologie adeguate
  • Adattamento a nuove situazioni
  • Presa di decisione
  • Lavoro autonomo
  • Lavoro in gruppo
  • Lavoro in contesto internazionale
  • Lavoro in equipe interdisciplinari
  • Produzione di nuove idee di ricerca
  • Progettazione e gestione di progetti
  • Fare riflessioni critiche e autocritiche
  • Promuovere il pensiero indipendente, creativo e intuitivo
Tipologia di Materiale Didattico
  • Libro
Organizzazione dell’Insegnamento
ActivitiesCarico di LavoroECTSIndividualeGruppoErasmus
Conferenze391.3
Studio e analisi bibliografica1173.9
Total1565.2
Student Assessment
Student Assessment methods
  • Prova scritta con soluzione di problemi (Formativa, Sommativa)
  • Presentazione Pubblica (Formativa)
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