UIN3028 Kapitoly z teorie formálních jazyků I

Filozoficko-přírodovědecká fakulta v Opavě
zima 2023
Rozsah
2/0/0. 4 kr. Ukončení: zk.
Vyučující
doc. RNDr. Lucie Ciencialová, Ph.D. (přednášející)
RNDr. Radka Poláková, Ph.D. (přednášející)
Garance
doc. RNDr. Lucie Ciencialová, Ph.D.
Ústav informatiky – Filozoficko-přírodovědecká fakulta v Opavě
Rozvrh
Čt 15:35–17:10 B2
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
Obsahem předmětu je teorie Lindenmayerových systémů.
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
  • 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í
Písemná zkouška – teorie včetně důkazů probíraných teorémů, příklady.
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
Studijní materiály
Předmět je dovoleno ukončit i mimo zkouškové období.
Předmět je zařazen také v obdobích zima 1993, zima 1994, zima 1995, zima 1996, zima 1997, zima 1998, zima 1999, zima 2000, zima 2001, zima 2002, zima 2003, zima 2004, zima 2005, zima 2006, zima 2007, zima 2008, zima 2009, zima 2010, zima 2011, zima 2012, zima 2013, zima 2014, zima 2015, zima 2016, zima 2017, zima 2018, zima 2019, zima 2020, zima 2021, zima 2022, zima 2024.