Předmět je základní jednotka výuky, jejímž prostřednictvím si student osvojí ucelenou část souboru znalostí a dovedností, potřebnou pro zvládnutí studijního oboru/specializace. Za věcný obsah předmětu zodpovídá garant předmětu. Časovou náročnost předmětu zhruba vyjadřuje atribut předmětu rozsah kontaktní výuky. Například rozsah = 2+2 značí, že předmět bude mít týdně dvě hodiny přednášek a dvě hodiny cvičení týdně. Na závěr semestru musí vyučující provést vyhodnocení, nakolik si ten který student osvojil poznatky a dovednosti, kterých měl během výuky nabýt. Jakým způsobem toto hodnocení vyučující provedou určuje atribut způsob zakončení. U předmětu lze definovat, že předmět je zakončen pouze zápočtem(Z), klasifikovaným zápočtem(KZ), pouze zkouškou(ZK), nebo zápočtem a zkouškou(Z,ZK). Náročnost úspěšného absolvování předmětu je vyjádřena ECTS kreditními body. Výuka předmětu probíhá během semestru. Opakovaně se předmět vyučuje vždy v zimním(Z), nebo v letním(L) semestru každého akademického roku. Výjimečně může předmět být nabízen studentům v obou semestrech(Z,L). Za organizační zajištění výuky zodpovídá přiřazená katedra, která zejména vytvoří časový rozvrh předmětu a zajistí pro předmět vyučující. Někteří přednáší a zkouší, jiní vedou cvičení a udělují zápočty.
Obsahová náplň a další organizační informace, týkající se předmětu je popsána pomocí různých popisných textů(anotace, týdenní osnova, literatura, apod.)
$DODATEK_POPIS
NI-SYP | Syntaktická analýza a překladače | Rozsah kontaktní výuky: | 2P+1C | ||
---|---|---|---|---|---|
Vyučující: | Janoušek J. | Způsob zakončení: | Z,ZK | ||
Zodpovědná katedra: | 18101 | ECTS Kredity: | 5 | Semestr: | Z |
Anotace:
Předmět rozšiřuje znalosti základů teorie automatů, jazyků a formálních překladů. Studenti získají znalosti LR analýzy v jejích různých variantách a aplikacích, seznámí se se speciálními aplikacemi syntaktických analyzátorů, jako např. inkrementální a paralelní analýzou.
Osnovy přednášek:
1. | Rekapitulace základních pojmů, LL analýza a její varianty. | |
2. | Klasifikace LR analyzátorů. | |
3. | Silná LR(k) analýza. | |
4. | Slabá LR(0) a SLR(1) analýza. | |
5. | Slabá LALR(k) analýza a LR(k) analýza. | |
6. | Překlad řízený LR analyzátorem. | |
7. | Výpočet atributů při LR analýze. | |
8. | LR atributový překlad. | |
9. | Vnitřní forma. | |
10. | Inkrementální LL analýza. | |
11. | Inkrementální LR analýza. | |
12. | Paralelní LL analýza. | |
13. | Paralelní LR analýza. |
Osnovy cvičení:
1. | Opakování - konstrukce slabých a silných LL analyzátorů. | |
2. | Opakování - LL analyzátor jako překladač. | |
3. | Silná LR(k) analýza. | |
4. | Slabá LR(0) analýza. | |
5. | SLR(1) analýza. | |
6. | LALR(k) analýza. | |
7. | LR(k) analýza. | |
8. | Překlad řízený LR analyzátorem. | |
9. | Výpočet atributů při LR analýze, LR atributový překlad. | |
10. | Inkrementální LL analýza. | |
11. | Inkrementální LR analýza. | |
12. | Paralelní LL analýza. | |
13. | Paralelní LR analýza. |
Literatura:
Melichar, B. ''Jazyky a překlady''. Praha: ČVUT, 1996. ISBN 80-01-01511-4.
Melichar, B. ''Konstrukce překladačů''. Praha: ČVUT, 1999. ISBN 80-01-02028-2.
Melichar, B., Holub, J., Mužátko, P. ''Languages and Translations''. Praha: Publishing House of CTU, 1997. ISBN 80-01-01692-7.
Aho, A. V., Lam, M. S., Sethi, R., Ullman, J. D. ''Compilers: Principles, Techniques, and Tools (2nd Edition)''. Addison Wesley, 2006. ISBN 0321486811.
Grune, D., Jacobs, C. J. H. ''Parsing Techniques. A Practical Guide (2nd Edition)''. Springer, 2008. ISBN 038720248X.
Požadavky:
Znalost základů teorie formálních jazyků a překladů. Znalosti konečných a zásobníkových automatů, konstrukce LL analyzátoru a překladače řízeného LL analyzátorem.
|
Předmět je zahrnut do těchto studijních plánů:
Stránka vytvořena 28. 3. 2024, semestry: Z/2022-3, L/2020-1, L/2019-20, L/2023-4, L/2022-3, Z/2023-4, Z/2019-20, Z/2021-2, Z/2020-1, L/2021-2, připomínky k informační náplni zasílejte správci studijních plánů | Návrh a realizace: J. Novák, I. Halaška |