Formálne jazyky
Organizácia cvičení a podmienky udelenia zápočtu
Cvičenia
1
Úvod do formálnych jazykov. Operácie nad jazykmi a ich abecedami. Úvod do regulárnych výrazov.
2
Konečnostavové akceptory. DKA
3
Konečnostavové akceptory. NKA, DKA a vzťah medzi nimi.
4
Konečnostavové akceptory – determinizácia. Pumpovacia lema.
5
Zápočtová písoma A. Úvod do formálnych gramatík.
6
Úvod do kompilácie a interpretácie. Rekurzívna syntaktická analýza zhora nadol.
7
Tranformácie bezkontextových gramatík.
8
Zásobníkové automaty a LL(1) parsovanie. Nerekurzívna syntaktická analýza zhora nadol.
9
Konzultácia zadaní. Opakovanie učiva.
10
Zápočtová písomka B.
11
Turingové stroje.
12
Odovzdanie zadania.
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. Operácie nad jazykmi a ich abecedami. Úvod do regulárnych výrazov.
-
-
2.
Konečnostavové akceptory. DKA
-
-
3.
Konečnostavové akceptory. NKA, DKA a vzťah medzi nimi.
-
-
4.
Konečnostavové akceptory – determinizácia. Pumpovacia lema.
-
-
5.
Zápočtová písoma A. Úvod do formálnych gramatík.
-
-
6.
Úvod do kompilácie a interpretácie. Rekurzívna syntaktická analýza zhora nadol.
-
-
7.
Tranformácie bezkontextových gramatík.
Zadanie: Generátor konečnostavových automatov
-
8.
Zásobníkové automaty a LL(1) parsovanie. Nerekurzívna syntaktická analýza zhora nadol.
-
-
9.
Konzultácia zadaní. Opakovanie učiva.
-
-
10.
Zápočtová písomka B.
-
-
11.
Turingové stroje.
-
-
12.
Odovzdanie zadania.
-
-
13.
-
-
-