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
Konzultácia zadaní.
12
Obhajoba zadania.
13
Turingove stroje.
Zadania
7
Zadanie: Generátor konečnostavových automatov
Prednášky
Moodle
Turingove stroje.