UINA508 Seminar on Formal Languages I

Filozoficko-přírodovědecká fakulta v Opavě
zima 2022
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 14:45–16:20 B2, 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
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.
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
Další komentáře
Studijní materiály
Předmět je zařazen také v obdobích zima 2021, zima 2023, zima 2024.