Formálne jazyky
Organizácia cvičení a podmienky udelenia zápočtu
Cvičenia
1
Úvod do formálnych jazykov. Regulárne výrazy.
2
Deterministické konečnostavové automaty.
3
Nedeterministické konečnostavové akceptory.
4
Konečnostavové akceptory – determinizácia. Pumpovacia lema.
5
Zápočtová písoma.
6
Úvod do formálnych gramatík.
7
Konštrukcia jazykových procesorov – Lexikálna analýza.
8
Konštrukcia jazykových procesorov – Syntaktická analýza.
9
Tranformácie bezkontextových gramatík.
10
Zásobníkové automaty a LL(1) parsovanie.
11
Kontextové a frázové jazyky. Turingové stroje.
12
Obhajoba zadania.
13
Konzultácia zadaní. Opakovanie učiva.
Zadania
7
Zadanie: Generátor konečnostavových automatov
Prednášky
Moodle
Prehľad predmetu
Týždeň
Cvičenia
Zadania
Prednášky
1.
Úvod do formálnych jazykov. Regulárne výrazy.
-
-
2.
Deterministické konečnostavové automaty.
-
-
3.
Nedeterministické konečnostavové akceptory.
-
-
4.
Konečnostavové akceptory – determinizácia. Pumpovacia lema.
-
-
5.
Zápočtová písoma.
-
-
6.
Úvod do formálnych gramatík.
-
-
7.
Konštrukcia jazykových procesorov – Lexikálna analýza.
Zadanie: Generátor konečnostavových automatov
-
8.
Konštrukcia jazykových procesorov – Syntaktická analýza.
-
-
9.
Tranformácie bezkontextových gramatík.
-
-
10.
Zásobníkové automaty a LL(1) parsovanie.
-
-
11.
Kontextové a frázové jazyky. Turingové stroje.
-
-
12.
Obhajoba zadania.
-
-
13.
Konzultácia zadaní. Opakovanie učiva.
-
-