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
BI-PJP | Programovací jazyky a překladače | Rozsah kontaktní výuky: | 2P+1C | ||
---|---|---|---|---|---|
Vyučující: | Způsob zakončení: | Z,ZK | |||
Zodpovědná katedra: | 18101 | ECTS Kredity: | 5 | Semestr: | L |
Anotace:
Studenti budou umět základní metody implementace běžných programovacích jazyků. Získají zkušenost s návrhem a implementací překladu jednotlivých konstruktů programovacích jazyků (datové typy, podprogramy, apod). Naučí se formálně specifikovat překlad textu, který vyhovuje určité syntaxi, do cílové formy a na základě této specifikace napsat překladač. Překladačem se zde rozumí nejen překladač programovacího jazyka, ale jakýkoliv jiný program analyzující a zpracovávající text zapsaný v jazyku, který je dán LL(1) gramatikou.
Osnovy přednášek:
1. | Struktura překladače, lexikální analyzátor. | |
2. | Deterministická syntaktická analýza shora-dolů: LL syntaktická analýza. | |
3. | [2] Implementace LL analýzy. Vlastnosti LL gramatik. | |
5. | Transformace na LL(1) gramatiky, zotavení se z chyb při LL analýze. | |
6. | Formalismy pro popis syntaxí řízeného překladu a sémantiky: překladové a atributové gramatiky. | |
7. | Jednoprůchodový atributovaný překlad řízený LL analýzou, L-atributové gramatiky, příklady jednoduchých překladů. | |
8. | Vnitřní datové struktury překladače, vnitřní reprezentace. | |
9. | Abstraktní syntaktický strom, tříadresový kód - vnitřní reprezentace překladače GNU. | |
10. | Vnitřní reprezentace překladače LLVM. | |
11. | Příklady jednoduchého překladače. | |
12. | Lokální optimalizace kódu. | |
13. | Další varianty LL syntaktické analýzy. |
Osnovy cvičení:
1. | Návrh a realizace lexikálního analyzátoru. | |
2. | Realizace syntaktické analýzy rekurzívním sestupem. | |
3. | Atributové překladové gramatiky. | |
4. | Překlad do jazyka zásobníkového počítače. | |
5. | Překlad do syntaktického stromu. | |
6. | [2] Konzultace k domácí práci. |
Literatura:
1. | Trávníček, J. - Janoušek, J. (25%) - Melichar, B. - Cleophas, L.: On modifcation of Boyer-Moore-Horspool's algorithm for tree pattern matching in linearised trees. Theoretical Computer Science, 830: 60{90, 2020. | |
2. | Plachý, Š. - Janoušek, J. (50%): On Synchronizing Tree Automata and Their Work-Optimal Parallel Run, Usable for Parallel Tree Pattern Matching. In SOFSEM 2020: Theory and Practice of Computer Science, Springer, pp. 576{586, 2020. ISBN 978-3-030-38918-5. | |
3. | Šestáková, E. - Janoušek, J. (50%): Automata Approach to XML Data Indexing. Information, 9(1): 12{12, 2018. | |
4. | Šestáková, E. - Melichar, B. - Janoušek, J. (33%): Constrained Approximate Subtree Matching by Finite Automata. In Proceedings of the Prague Stringology Conference 2018, CVUT v Praze, 2018, pp. 79{90. ISBN 978-80-01-06484-9. | |
5. | Polách, R. - Trávníček, J. - Janoušek, J. (25%) - Melichar, B.: Ecient Determinisation of Visibly and Height-Deterministic Pushdown Automata. Computer Languages, Systems and Structures, 46: 91{105, 2016. |
Požadavky:
|
Předmět je zahrnut do těchto studijních plánů:
Stránka vytvořena 17. 4. 2024, semestry: Z/2020-1, L/2023-4, Z,L/2022-3, L/2019-20, Z/2021-2, Z/2024-5, Z/2023-4, Z/2019-20, L/2021-2, L/2020-1, 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 |