FPF:UIDI003 Formal Lang., Generat. Sys. an - Course Information
UIDI003 Formal Languages, Generative Systems and Automata
Faculty of Philosophy and Science in OpavaWinter 2009
- Extent and Intensity
- 0/0. 0 credit(s). Type of Completion: dzk.
- Guaranteed by
- prof. RNDr. Alice Kelemenová, CSc.
Institute of Computer Science – Faculty of Philosophy and Science in Opava - Course Enrolment Limitations
- The course is also offered to the students of the fields other than those the course is directly associated with.
- fields of study / plans the course is directly associated with
- Autonomous Systems (programme FPF, P1801 Inf)
- Course objectives (in Czech)
- Předmět je zaměřen na problematiku teorie formálních jazyků, generativních prostředků této teorie, jako jsou gramatiky a gramatické systémy a akceptačních prostředků ve formě automatů. Předpokládá se zvládnutí klasické teorie formálních jazyků, která vychází z reprezentace jazyka jediným prostředkem (gramatikou, automatem) včetně paralelních a řízených přístupů. Důraz bude kladen na současné trendy zaměřené na formální modely multiagentových systémů zejména gramatické systémy a na netradiční výpočetní architektury, které na základě gramatických systémů vznikly. Odborná literatura: 1. Csuhaj-Varjú. E., Dassow, J., Kelemen, J., Paun, Gh.: Grammar Systems. Gordon and Breach, Yverdon, 1994 2. Gruska, J.: Foundations of Computing. Intern. Thomson Computer Press, London, 1997 3. Meduna, A.: Automata and Formal Languages - Theory and Applications. Springer, London, 2000 4. Paun, Gh., Salomaa, A. (eds.): Grammatical Models of Multi-Agents Systems. Gordon and Breach, Amsterdam, 1999 5. Rozenberg, G., Salomaa, A., eds.: Handbook of Formal Languages. Spriger Verlag, Berlin, 1997
- Language of instruction
- Czech
- Further Comments
- The course can also be completed outside the examination period.
- Enrolment Statistics (Winter 2009, recent)
- Permalink: https://is.slu.cz/course/fpf/winter2009/UIDI003