Riadny termín skúšky z predmetu Automaty a formálne jazyky sa uskutoční dňa 19.5. (pondelok) v treťom behu. t.j. o 14:00, v miestnostiach AB-300 a BC-300. Dĺžka skúšky bude 90 minút. Zasadací poriadok.
Dátum náhľadu do skúšky bude oznámený mailom.
Druhý test z predmetu Automaty a formálne jazyky sa uskutoční dňa 12.5. (pondelok) v čase prednášky, t.j. 15:00 – 16:40 v miestnosti AB-150. Náplňou testu bude primárne látka odprednášaná do dňa konania testu, t.j. z prvých 12 týždňov semestra.
Test sa píše v troch behoch, každý beh má 30 minút. Rozdelenie do behov.
Náhľad do testov je možný dňa 14.5.2025 v čase 12:00 – 12:50 v respíriu na 4. poschodí bloku A.
Prvý test z predmetu Automaty a formálne jazyky sa uskutoční dňa 7.4. (pondelok) v čase prednášky, t.j. 15:00 – 16:40 v miestnosti AB-150. Náplňou testu bude látka odprednášaná do dňa konania testu, t.j. z prvých siedmich týždňov semestra.
Test sa píše v troch behoch, každý beh má 30 minút. Rozdelenie do behov.
Náhľad do testov je možný dňa 22.4.2025 v čase 12:00 – 12:50 v respíriu na 4. poschodí bloku A.
Konzultačné hodiny po dohode mailom.
Študentstvo absolvuje:
Výsledná známka z predmetu je tvorená na základe súčtu bodov získaných na skúške a zo spomínaných testov. Jej výsledná hodnota je určená podľa platnej klasifikačnej stupnice STU.
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 tvorbe kompilátorov a prekladu programu do strojového jazyka. 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 programu v počítači.
Prednášky
1. 17.2.2025, Formálne jazyky, gramatiky.
2. + 3., 24.2.2025 + 3.3.2025 Konečné automaty deterministické a nedeterministické, konverzia NKA -> DKA.
4. 10.3.2025, prednáška odpadla.
5. 17.3.2025, Regulárne výrazy, vlastnosti regulárnych jazykov.
6. 24.3.2025, Bezkontextové gramatiky, derivačné stromy, jednoznačnosť, transformácie gramatík.
7. 31.3.2025, Zásobníkové automaty.
8. 7.4.2025, Prvý test.
9. 14.4.2025, Chomského normálny tvar, CYK algoritmus, FIRST a FOLLOW množiny.
10. 22. 4. 2025, Lexikálna analýza.
11. 28. 4. 2025, Syntaktická analýza top-down, LL(1).
12. 5.5.2025, pokračovanie v počítaní príkladov na LL(1) z predošlého týždňa.
13. 12.5.2025, Druhý test.
Cvičenia
1. 18.2.2025, Formálne jazyky, gramatiky.
Ďalšie príklady na danú tému môžete nájsť tu.
2. + 3., 25.2.2025 + 4.3.2025 Konečné automaty deterministické a nedeterministické, konverzia NKA -> DKA.
Ďalšie príklady na danú tému môžete nájsť tu.
4. 11.3.2025, cvičenie odpadlo.
5. 18.3.2025, Regulárne výrazy, vlastnosti regulárnych jazykov.
Ďalšie príklady na danú tému môžete nájsť tu.
6. 25.3.2025, Transformácie gramatík, derivačné stromy.
Ďalšie príklady na danú tému môžete nájsť tu.
7. 1.4.2025, Zásobníkové automaty.
Ďalšie príklady na danú tému môžete nájsť tu.
8. 8.4.2025, cvičenie nebolo z dôvodu študijného voľna (ŠVOČ).
9. 15.4.2025, Chomského normálny tvar, CYK algoritmus; Množiny FIRST a FOLLOW.
Ďalšie príklady na danú tému môžete nájsť tu.
10. 22.4.2025, cvičenie k téme lexikálnej analýzy nebýva.
11. 29. 4. 2025, LL(1)-analyzátor.
Ďalšie príklady na danú tému môžete nájsť tu.
12. 6.5. Pokračovanie v počítaní príkladov na LL(1).
13. 13.5. Malo byť cvičenie, kde sa prerieši minuloročná skúška. Keďže cvičenie odpadlo, tu je vyriešená minuloročná skúška.
Na stránke Laboratória programovacích jazykov Katedry počitačových vied Univerzity v Calgary sa nachádza výborný softvérový nástroj pre syntaktickú analýzu gramatík. http://smlweb.cpsc.ucalgary.ca/start.html
Na stránke si viete dať zostrojiť príslušné LL/LR analyzátory pre ľubovoľné gramatiky.
Odporúčam taktiež podstránku http://smlweb.cpsc.ucalgary.ca/example-grammars/ kde sú ukážky rôznych gramatík, aj vzhľadom na ich príslušnosť/nepríslušnosť do LL(1)/LR(0)/SLR(1)/LALR(1)/LR(1)/LL(2)/LR(2) kombinácií…
Iným nástrojom je Grammophone, https://mdaines.github.io/grammophone/#/
Alternatívne je k dispozícii napríklad nasledovná softvérová pomôcka, ktorá tiež dokáže konštruovať LL(1), SLR(1), LALR(1), LR(1) parsery. http://www.supereasyfree.com/software/simulators/compilers/principles-techniques-and-tools/parsing-simulator/parsing-simulator.zip
Pri samoštúdiu a príprave na predmet AFJ odporúčam pracovať s programom JFLAP vo verzii 7.1 ktorý je možné stiahnuť z tejto stránky: https://www.jflap.org/jflaptmp/
Autori programu zároveň zverejnili zdarma doplnkovú knihu k programu, ktorá sa dá zároveň použiť aj ako študijný materiál k predmetu AFJ: https://www2.cs.duke.edu/csed/jflap/jflapbook/