FPF:UINA508 Seminar on Formal Languages I - Informace o předmětu
UINA508 Seminar on Formal Languages I
Filozoficko-přírodovědecká fakulta v Opavězima 2024
- Rozsah
- 0/2/0. 4 kr. Ukončení: z.
- Vyučující
- RNDr. Radka Poláková, Ph.D. (cvičící)
- Garance
- RNDr. Radka Poláková, Ph.D.
Ústav informatiky – Filozoficko-přírodovědecká fakulta v Opavě - Rozvrh seminárních/paralelních skupin
- UINA508/A: Čt 18:05–19:40 B1, R. Poláková
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- Computer Science (program FPF, CompSci-np)
- Cíle předmětu
- This seminar is intended to deepen the knowledge of the lecture "Chapters in Theory of Formal Languages I". It is recommended to complete it at the same time as the lecture.
- Výstupy z učení
- The student will be able to:
- define and describe the different types of Lindenmayer systems;
- create examples of Lindenmayer systems having certain properties. - Osnova
- 1. Lindenmayer systems. Introduction, motivation.
2. 0L systems. Generative power. Closure properties.
3. Deterministic 0L systems. Developmental sequences.
4. Growth function.
5. Adult languages. Their relation to context free languages.
6. Extended 0L systems, closure properties, relation to Chomsky hierarchy of languages.
7. Table 0L systems. Complexity results.
8. Interactive L systems. Influence of the interaction to the development of the system.
9. Regeneratiom in IL systems.
10. Program environments for development on the basis of L systems.
- 1. Lindenmayer systems. Introduction, motivation.
- Literatura
- povinná literatura
- HERMAN, Gabor T, Grzegorz ROZENBERG a Aristid LINDENMAYER. Developmental systems and languages. New York: American Elsevier Pub. Co, 1975. ISBN 978-0-444-10650-6. info
- doporučená literatura
- LINZ, Peter. An introduction to formal languages and automata. Sixth edition. Burlington, MA: Jones, 2017. ISBN 978-1-284-07724-7. info
- HOPCROFT, John E, Rajeev MOTWANI a Jeffrey D. ULLMAN. Introduction to automata theory, languages, and computation. 3. vyd. New international ed. Harlow: Pearson Addison-Wesley, 2014. ISBN 978-1-292-03905-3. info
- MEDUNA, A. Automata and Languages: Theory and Applications. Springer, London, 2000. info
- ROZENBERG, Grzegorz a Arto SALOMAA. The mathematical theory of L systems. New York: AcademicPress, 1980. ISBN 0-12-597140-0. info
- ROZENBERG, Grzegorz a Arto SALOMAA. The mathematical theory of L systems. New York: AcademicPress, 1980. ISBN 0-12-597140-0. info
- Výukové metody
- Interactive lecture
Discussion - Metody hodnocení
- Seminar work. Mandatory participation in the exercises min. 75%.
- Vyučovací jazyk
- Angličtina
- Statistika zápisu (zima 2024, nejnovější)
- Permalink: https://is.slu.cz/predmet/fpf/zima2024/UINA508