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ísomka A.
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
Konzultačné cvičenie.
13
Zápočtová písomka B.
Zadania
Prednášky
Moodle
Konzultačné cvičenie.