UIINFNP009 Seminář z formálních jazyků I

Filozoficko-přírodovědecká fakulta v Opavě
zima 2023
Rozsah
0/2/0. 4 kr. Ukončení: z.
Vyučující
RNDr. Radka Poláková, Ph.D. (cvičící)
RNDr. Šárka Vavreč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
UIINFNP009/A: Čt 17:15–18:50 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
Cíle předmětu
Seminář je určen na doplnění a prohloubení poznatků k přednášce "Kapitoly z teorie formálních jazyků a automatů I". Doporučuje se jeho absolvování současně s uvedenou přednáškou.
Výstupy z učení
Student bude po absolvování předmětu schopen:
- definovat a popsat jednotlivé typy Lindenmayerových systémů;
- vytvořit příklady Lindenmayerových systémů mající určité vlastnosti.
Osnova
  • 1. Lindenmayerovy systémy. Úvod, motivace.
    2. 0L systémy. Generativní síla. Uzávěrové vlastnosti.
    3. Deterministické 0L systémy.
    4. Růstová funkce.
    5. Dospělé jazyky. Vztah k bezkontextovým jazykům.
    6. Extended 0L systémy. Uzávěrové vlastnosti, vztah k jazykům Chomského hierarchie.
    7. Tabulkové 0L systémy.
    8. Interaktivní 0L systémy. Vztah interakce k vývoji systému.
    9. Regenerace v IL systémech.
    10. Programová prostředí založená na L systémech.
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
Přednáška s aktivizací
Diskuze
Metody hodnocení
Seminární práce. Povinná účast na cvičeních min. 75 %.
Předmět je zařazen také v obdobích zima 2021, zima 2022, zima 2024.