Automaty a formálne jazyky

Organizácia predmetu

Prednáška a cvičenie:

• Prednáška: Pondelok 9:00 – 10:40. V prípade prezenčnej výuky sa bude prednáška konať v miestnosti AB-150.
• Cvičenie: Pondelok 11:00 – 12:40. V prípade prezenčnej výuky sa bude cvičenie konať v miestnosti AB-150.

Dištančná forma výuky:

Počas dištančnej formy výuky budú prednášky a cvičenia prebiehať vo vyššie uvedených časoch formou videokonferenčných hovorov na platforme MS Teams. Je preto potrebné, aby ste mali vytvorené študentské kontá. Informácie o vytvorení konta nájdete na príslušnej stránke univerzity.

Po vytvorení konta je možné sa prihlásiť do tímu „Automaty a formálne jazyky LS 2021/2022“ na platforme MS Teams dvomi spôsobmi:

• Cez tento link
• Alebo pomocou kódu 2thgkvq pričom návod pre tento spôsob nájdete tu.

Videozáznam z každej prednášky / cvičenia bude zverejnený na YouTubovom kanáli prednášajúceho. Upozorňujem teda, že každá prednáška/cvičenie bude zaznamená. Ak s tým niekto nesúhlasí, prosím napíšte mi.

Konzultácie:

Konzultačné hodiny po dohode mailom

Podmienky absolvovania

Z dôvodu dištančnej výuky je priebežné hodnotenie študentov počas semestra nasledovné. Študenti absolvujú:

• 2 testy. Každý test je za 20 bodov, t.j. súhrnne za 2 testy je možné získať 40 bodov.

To znamená, že počas semestra môžu študenti získať súhrnne 40 bodov. Na pustenie ku skúške (po starom „získanie zápočtu“) je potrebné z týchto 40 bodov získať minimálne 20 bodov.

Študenti, ktorí budú pripustení ku skúške (t.j. získajú z testov súhrnne minimálne 20 bodov) následne absolvujú skúšku z predmetu, ktorá je ohodnotená 60 bodmi. 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.

Upozorňujem, že v zmysle platného študijného poriadku FEI STU je účasť na všetkých formách výuky na FEI STU povinná. Preto môže byť z dôvodu sledovania účasti na prednáškach/cvičeniach robená „prezenčka“.

Taktiež upozorňujem na platný študijný poriadok STU, konkrétne, čl. 13, odsek (3):

(3) 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 a pod.) má za následok hodnotenie klasifikačným stupňom FX – nedostatočne (čl. 16 tohto študijného poriadku). Takéto konanie je porušenie zásad študijnej morálky a môže byť predmetom disciplinárneho konania.

Cieľ predmetu

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.

Plán semestra

1. Jazyky a ich reprezentácia, Gramatiky.
2. Konečné automaty a regulárne gramatiky. NKA, DKA, ich ekvivalencia.
3. Bezkontextové gramatiky.Úpravy bezkontextových gramatík. CHNF.  Zásobníkové automaty.
4. Štruktúra kompilátora, Lexikálna analýza, FLEX.
5. Syntaktická analýza. CYK algoritmus.
6. Syntaktická analýza zhora-nadol, LL(1) analyzátor.
7. Syntaktická analýza zdola-nahor, LR(0) analyzátor, SLR(1) analyzátor, LR(1) analyzátor, LALR(1) analyzátor.
8. Riešenie konfliktov pri syntaktickej analýze, GLR syntaktický analyzátor.
9. Sémantická analýza, sémantické podprogramy.