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

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:

Informace o předmětu a výukové materiály naleznete na https://courses.fit.cvut.cz/BI-PJP/

Předmět je zahrnut do těchto studijních plánů:

Plán Obor Role Dop. semestr BI-PI.2015 Počítačové inženýrství V 4 BI-ISM.2015 Informační systémy a management V 4 BI-SPOL.2015 Nespecifikovaný/á obor/specializace studia - Unspecified Branch/Specialisation of Study VO 4 BI-WSI-WI.2015 Webové a softwarové inženýrství V 4 BI-BIT.2015 Bezpečnost a informační technologie V 4 BI-ZI.2018 Znalostní inženýrství V 4 BI-TI.2015 Teoretická informatika PO 4 BI-WSI-PG.2015 Webové a softwarové inženýrství V 4 BI-WSI-SI.2015 Webové a softwarové inženýrství V 4