UINA328 Chapters in Theory of Formal Languages I

Filozoficko-přírodovědecká fakulta v Opavě
zima 2021
Rozsah
2/0/0. 4 kr. Ukončení: zk.
Vyučující
doc. RNDr. Lucie Ciencialová, Ph.D. (přednášející)
Garance
doc. RNDr. Lucie Ciencialová, Ph.D.
Ústav informatiky – Filozoficko-přírodovědecká fakulta v Opavě
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
The content of the course is the theory of Lindenmayer systems.
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-128-4077-247.
  • ROZENBERG, Grzegorz a Arto SALOMAA. The mathematical theory of L systems. New York: AcademicPress, 1980. ISBN 0-12-597140-0. info
Výukové metody
nteractive lecture
Discussion
Metody hodnocení
Seminar work
Vyučovací jazyk
Angličtina
Informace učitele
Teoretické a praktické zvládnutí témat předmětu, podmínky budou upřesněny na začátku výuky.
Další komentáře
Předmět je dovoleno ukončit i mimo zkouškové období.
Předmět je zařazen také v obdobích zima 2017, zima 2018, zima 2019, zima 2020, zima 2022, zima 2023, zima 2024.