UIINFNP009 Seminář z formálních jazyků 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í)
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 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
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 2023.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.slu.cz/predmet/fpf/zima2024/UIINFNP009