Od každého študenta sa požaduje, aby zadanie vypracoval sám a aby všetky odovzdané zdrojové kódy boli jeho vlastný výtvor. V prípade zistenia opisovania / kopírovania od iných študentov a taktiež v prípade kopírovania zdrojových kódov z internetu je študent hodnotený známkou FX v zmysle Študijného poriadku STU v Bratislave, kde sa v článku 13 „Kontrola a hodnotenie študijných výsledkov v rámci predmetu“ píše: Preukázaná nečestnosť študenta pri hodnotení študijných výsledkov (zistenie opisovania, použitie nedovolených pomôcok a iných praktík, plagiátorstvo apod.) má za následok hodnotenie klasifikačným stupňom FX – nedostatočne. Takéto konanie je porušenie zásad študijnej morálky a môže byť predmetom disciplinárneho konania.
Predmet je členený do nasledujúcich aktivít:
Konzultačné hodiny po dohode mailom
Zadania: 40 bodov (4 x 10 bodov)
Písomná skúška: 60 bodov
Na získanie zápočtu je potrebné získať minimálne 20 bodov v priebehu semestra.
Cieľom predmetu AFJ je, aby študenti získali 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 študenti boli schopní samostatne študovať práce využívajúce základné poznatky z teoretickej informatiky, aby rozumeli lexikálnej, syntaktickej a sémantickej analýze programu v počítači.
Videoprezentácie pre 12. a 13. týždeň
Videoprezentácie pre 11. týždeň
Videoprezentácie pre 10. týždeň
Videoprezentácie pre 8. týždeň (a 9.-ty, keďže v 9.-tom týždni je Veľká noc)
Videoprezentácie pre 7. týždeň
Videoprezentácie pre 6. týždeň
Videoprezentácie pre 4. a 5. týždeň
Prezentácie z prednášok:
Prednáška č. 1 – Úvod do formálnych jazykov, formálna gramatika, rôzne typy gramatík.
Prednáška č. 5 – Množina FIRST, FOLLOW, Zásobníkové automaty.
Prednáška č. 6 – Štruktúra kompilátora, Lexikálna analýza, FLEX.
Prednáška č. 6 – Zip dokumentov k jazyku Jukapo v2 použitých vo videoprednáške.
Prednáška č. 7 – Syntaktická analýza, CYK, Topdown, LL(1)
Prednáška č. 8 – Syntaktická analýza zdola-nahor (Bottom-up/LR), LR(0)-analyzátor
Prednáška č. 9 – SLR(1) analyzátor
Prednáška č. 11 – Sémantická analýza
Príklady na počítanie:
Cvičenie č. 1 – Formálne gramatiky
Cvičenie č. 5 – Množina FIRST, FOLLOW, Zásobníkové automaty
Cvičenie č. 6 – CYK algoritmus, LL(1) parsing
Cvičenie č. 7 – LL(1) test, LL(1) úpravy
Cvičenie č. 8 – LR(0),SLR(1) analyzátory
Cvičenie č. 9 – LR(1), LALR(1), GLR analyzátory
Zadanie číslo 1 – Jukapo Interpreter Deadline zadania je 8.3.2020, 23:59.
Zadanie číslo 2 – Konverzia regulárnej gramatiky na DKA Deadline zadania je 5.4.2020, 23:59.
Zadanie číslo 3 – Lexikálny analyzátor Deadline zadania je 3.5.2020, 23:59.
Zadanie číslo 4- Jukapo RELOADED Deadline zadania je 20.5.2020, 23:59.
Pre zadania posielané po deadline kliknite sem.
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í…
Pri samoštúdiu a príprave na predmet AFJ odporúčam pracovať s programom JFLAP ktorý je možné stiahnuť z tejto stránky: http://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/
Vážení študenti! Pre skrátenie dlhých chvíľ medzi prednáškami – hra aj s prvkami konečných automatov: http://pleasingfungus.com/Manufactoria/
Ďakujem Ing. Jakubovi Kovářovi za link!
