Zoznam všetkých cieľov
Cvičenia
- Oboznámiť sa s organizáciou cvičení predmetu Formálne jazyky.
- Zopakovať a prehĺbiť poznatky o regulárnych výrazoch.
- Prakticky precvičiť zostavenie vybraných regulárnych výrazov.
- Zopakovať si teóriu odvodenia konečno-stavových automatov z regulárnych výrazov.
- Precvičiť si odvodenie DKA na základe zadaného regulárneho výrazu.
- Porozumieť implementácii DKA pre daný regulárny výraz.
- Zopakovať si definíciu gramatiky a porozumieť odvodeniu gramatiky zo špecifikácie jazyka.
- Naučiť sa definovať gramatiku jazyka pomocou BNF.
- Diskusia a priebežná kontrola.
- Zopakovať si definíciu a vlastnosti gramatiky a formu zápisu pomocou BNF.
- Porozumieť konštrukcii gramatiky.
- Naučiť sa definovať syntax operátorov rôznych priorít a asociatívnosti pomocou gramatiky.
- Naučiť sa zostrojiť gramatiku podľa špecifikácie.
- Zápočtový test č. 1.
- Opakovanie a prehĺbenie učiva. Riešenie úlohy so zameraním na konštrukciu gramatiky podľa danej špecifikácie.
- Pochopenie konštrukcie syntaktického analyzátora.
- Prvé zadanie.
- Precvičiť základné vlastnosti gramatík.
- Precvičiť určovanie množín
FIRST a FOLLOW
- Precvičiť typy odvodení a odvodzovacie stromy.
- Vlastnosti bezkontextových gramatík.
- Kontrola úloh z predošlého cvičenia.
- Zopakovať si vlastnosti zásobníkových automatov a naučiť sa ich skonštruovať.
- Zopakovať si vlastnosti bezkontextových gramatík a prehĺbiť poznatky o LL(1) parsovaní.
- Doménovo-špecifický jazyk pre definíciu stavového automatu a implementácia jeho prekladača.
- Opakovanie a prehĺbenie učiva - gramatiky LL(1).
- Konzultácie k zadaniu č. 2.
- Realizácia Testu B.
- Odovzdanie zadania č. 2.
Zadania