Druhý test z AFJ

Druhý test z AFJ sa uskutoční 23. apríla 2026 v čase prednášky, t.j. od 10:00 v miestnosti AB-300. Test sa píše v troch behoch, každý beh trvá pol hodiny, s 10 minutovými prestávkami na pozbieranie a prestriedanie. Časy behov sú: 10:00 – 10:30, 10:40 – 11:10, 11:20 – 11:50. Rozdelenie do behov a miesta na sedenie sú identické s tými, ako sa sedelo na prvom teste.

Zasadací poriadok pre test nájdete tu.

Náplňou testu bude učivo dovtedy prebrané v rámci prednášok a cvičení. Odporúčam zamerať sa najmä na množiny FIRST/FOLLOW, CYK algoritmus a konštrukciu/činnosť LL(1) parsera.

Prvý test z AFJ

Prvý test z AFJ sa uskutoční 2. apríla 2026 v čase prednášky, t.j. od 10:00 v miestnosti AB-300. Test sa píše v troch behoch, každý beh trvá pol hodiny, s 10 minutovými prestávkami na pozbieranie a prestriedanie. Časy behov sú: 10:00 – 10:30, 10:40 – 11:10, 11:20 – 11:50. Rozdelenie do behov je abecedné, pridelenie konkrétneho miesta prebehlo náhodne pomocou generátora v programe Excel.

Zasadací poriadok pre test nájdete tu.

Náplňou testu bude učivo dovtedy prebrané v rámci prednášok a cvičení.

Organizácia predmetu

Prednáška a cvičenie:

• Prednáška: Štvrtok 10:00 – 11:40, AB-300.
• Cvičenie: Piatok 13:00 – 14:40, AB-150.

Konzultácie:

Konzultačné hodiny po dohode mailom.

Podmienky absolvovania

Počas výučbovej časti semestra budú 2 testy, každý za 20 bodov. Dokopy je teda počas semestra možné získať 40 bodov, pričom podmienkou pre účasť na skúške je súhrnný zisk aspoň 20 bodov.

Počas skúškového obdobia bude písomná skúška za 60 bodov.

Dokopy je teda možné získať 100 bodov. Výsledná známka bude určená na základe študijného poriadku STU.

Pri akomkoľvek podvádzaní a nečestnosti bude postupované v zmysle študijného poriadku STU.

Cieľ predmetu

Cieľom predmetu AFJ je, aby študentstvo získalo rozšírené znalosti ohľadom formálnych jazykov, konečných automatov, zásobníkových automatov a ich využitia pri spracovaní formálnych jazykov, napr. pri preklade programovacích jazykov. Rozšíriť ich znalosti z oblasti teoretickej informatiky. Dosiahnuť, aby študentstvo bolo schopné samostatne študovať práce využívajúce základné poznatky z teoretickej informatiky, aby rozumelo lexikálnej, syntaktickej  a sémantickej analýze vykonávanej počas spracovania formálneho jazyka.

Plán semestra

1. Formálne jazyky, formálne gramatiky, Chomského hierarchia.
2. Deterministické a nedeterministické konečné automaty.
3. Regulárne výrazy, Thompsonova konštrukcia.
4. Bezkontextové gramatiky. Derivačné stromy. Zásobníkové automaty.
5. Úpravy bezkontextových gramatík, Chomského normálny tvar.
6. Množina FIRST, množina FOLLOW.
7. Štruktúra kompilátora, Lexikálna analýza, FLEX.
8. Syntaktická analýza. CYK algoritmus. Syntaktická analýza zhora-nadol, LL(1) analyzátor.
9. Syntaktická analýza zdola-nahor, LR(0) analyzátor.
10. SLR(1), LR(1), LALR(1) analyzátor.
11. Riešenie konfliktov pri syntaktickej analýze, GLR syntaktický analyzátor.
12. Sémantická analýza, sémantické podprogramy.