Organizace demonstračních nebo numerických cvičení
Nevypočitatelnost zájmu studentů IFJ o nepovinná demonstrační cvičení vede na následující organizační opatření.
Cítí-li skupina studentů potřebu cvičení, ať napíší
Z. Křivkovi
s předmětem "IFJ Democviceni" a do emailu uvedou, která látka jim není jasná a o kolik se přibližně jedná studentů.
V případě dostatečného zájmu se pokusíme uspořádat demonstrační cvičení (starší demonstrační cvičení bývají ke stažení i pro aktuálně zapsané; viz níže).
Na demonstračním cvičení je dávána přednost zatím neprocvičené látce v rámci
předchozích demonstračních cvičení.
Mimo demonstrační cvičení a vznesení dotazu na diskusním fóru předmětu IFJ jsou
samozřejmě možné i osobní (nikoli elektronické)
konzultace se členy pedagogického týmů IFJ
Podklady pro demonstrační cvičení
Následující dokumenty obsahují zadání úloh i řešení včetně postupu, takže jsou vodné i pro samostudium.| Název kapitoly | Soubor pro tisk |
|---|---|
| 1. Formální jazyky a operace nad nimi | Ifj01-cvic.pdf |
| 2. Regulární výrazy a konečné automaty | Ifj02-cvic.pdf |
| 3. Pumping lemma a uzávěrové vlastnosti | Ifj03-cvic.pdf |
| 4. Bezkontextové gramatiky a zásobníkové automaty | Ifj04-cvic.pdf |
| 5. Syntaktická analýza shora dolů | Ifj05-cvic.pdf |
| 6. Syntaktická analýza zdola nahoru | Ifj06-cvic.pdf |
Videozáznamy provedených demonstračních cvičení
Některé demonstrační cvičení byly zaznamenány a zpřístupněny všem studentům FIT.- 29. 10. 2013 - Demonstrační cvičení (jazyky, regulární výrazy, konečné automaty), cvičící: Zbyněk Křivka
- Videozáznam včetně vyučujícího
- Kopie textu ze sympodia (nekompletní, JPEG)
- 30. 10. 2014 - Demonstrační cvičení (jazykové operace, regulární výrazy, konečné automaty), cvičící: Zbyněk Křivka
- 19. 11. 2015 - Demonstrační cvičení, 1. část (Prediktivní syntaktická analýza - konstrukce tabulky a ukázka analýzy věty), cvičící: Ondřej Soukup
- 15. 12. 2016 - Demonstrační cvičení (minimalizace KA, bezkontextové gramatiky a jazyky), cvičící: Zbyněk Křivka
- 19. 10. 2017 - Demonstrační cvičení (notace, jazykové operace, konstrukce konečného automatu (KA) pro zadaný jazyk pomocí tabulky, definice KA, intuitivní konstrukce regulárního výrazu pro zadaný jazyk, intuitivní převod regulárního výrazu na KA, odstranění epsilon-přechodů z KA, determinizace KA), cvičící: Zbyněk Křivka
- 13. 12. 2017 - Demonstrační cvičení před zkouškou (FME, konstrukce BKG pro zadaný jazyk, převod na CNF, převod BKG na ZA pro obecnou syntaktickou analýzu shora-dolů, poznámka k definici konfigurace ZA, příklad sekvence přechodů, intuitivní konstrukce LL tabulky, ukázka prediktivní analýzy, konstrukce precedenční tabulky, minimalizace KA), cvičící: Zbyněk Křivka
- 11. 12. 2019 - Demonstrační cvičení (bezkontextové gramatiky, normální formy a zásobníkové automaty), cvičící: Zbyněk Křivka
- 19. 12. 2019 - Demonstrační cvičení (převod BKG na RZA, průnik regulárních jazyků, ukázka syntaktické analýzy věty), cvičící: Zbyněk Křivka
Podklady pro řešení projektu
Materiály přesunuty do sekce Projekt, Obecné informace pro tvorbu interpretu.
