FPF:UIINFNP010 Seminar on Formal Languages II - Course Information
UIINFNP010 Seminar on Formal Languages II
Faculty of Philosophy and Science in OpavaSummer 2024
- Extent and Intensity
- 0/2/0. 4 credit(s). Type of Completion: z (credit).
- Teacher(s)
- doc. RNDr. Lucie Ciencialová, Ph.D. (seminar tutor)
- Guaranteed by
- RNDr. Radka Poláková, Ph.D.
Institute of Computer Science – Faculty of Philosophy and Science in Opava - Timetable of Seminar Groups
- UIINFNP010/A: Thu 18:05–19:40 B2, L. Ciencialová
- 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
- Informatics (programme FPF, INFOR-nav)
- Course objectives
- The seminar is designed to complement and deepen the knowledge of the lecture "Chapters from the theory of formal languages and automata II". It is recommended to take it at the same time as the lecture.
- Learning outcomes
- The student will be able to:
- define Matrix grammars, Programmed grammars, Random content grammars and cooperating grammars;
- describe the relationship of controlled derivation grammars to L systems and Chomsky hierarchy grammars;
- analyze and create examples of grammars; - Syllabus
- 1. Matrix grammars. 2. Programmed grammars. 3. Random content grammars. 4. The relation of controlled derivation grammars to L systems and Chomsky hierarchy grammars. 5. Cooperating grammars.
- Literature
- required literature
- MEDUNA, Alexander and Petr ZEMEK. Regulated grammars and automata. New York: Springer, 2014. ISBN 978-1-4939-0368-9. info
- recommended literature
- PAUN, Gh., A. SALOMAA (eds). Grammatical Models of Multi-Agents Systems. Gordon and Breach, Amsterdam, 1999
- ROZENBERG, G., T. BÄCK, J.N. KOK. Handbook of Natural Computing. Springer, New York, 2012.
- Bel-ENGUIX, G. Natural Language processing and biological methods. In Encyclopedia of Artificial Intelligence (3 Volumes) RABUNAL, J.R., DORADO, J., PAZOS, A. (eds). IGI Global, London, 2009
- DASSOW, Jürgen a Gheorghe PAUN. Regulated rewriting in formal language theory. Berlin: Springer, 1989.
- HOPCROFT, John E, Rajeev MOTWANI and Jeffrey D. ULLMAN. Introduction to automata theory, languages, and computation. 3rd ed. New international ed. Harlow: Pearson Addison-Wesley, 2014. ISBN 978-1-292-03905-3. info
- Teaching methods
- Interactive lecture
Discussion - Assessment methods
- Seminar work
- Language of instruction
- Czech
- Enrolment Statistics (recent)
- Permalink: https://is.slu.cz/course/fpf/summer2024/UIINFNP010