Naučit studenta základní definice a vlastnosti teorie formálních jazyků se zaměřením na využití v překladačích apod.
1. Konečný automat a jazyky rozpoznatelné KA, Deterministické a nedeterministické KA, Zobecněné nedeterministické KA a třída jazyků rozpoznatelných KA, Uzávěrové vlastnosti třídy jazyků rozpoznatelných KA
2. Regulární jazyky, regulární výrazy, jejich vztah k jazykům rozpoznatelným konečnými automaty, redukce konečných automatů
3. Bezkontextové gramatiky a jazyky, regulární gramatiky a jazyky, Nevypouštějící a redukované gramatiky, kanonická odvození, jednoznačné gramatiky, lemma o vkládání (pumping lemma)
4. Zásobníkové automaty, vztah k bezkontextovým jazykům, Uzávěrové vlastnosti třídy bezkontextových jazyků
5. Obecné přepisovací systémy, Chomského hierarchie, Turingovy stroje
6. Deterministické zásobníkové automaty a jazyky, Základy syntaktické analýzy shora dolů a zdola nahoru
7. Jednoduché LL(1) gramatiky, q-gramatiky, rozkladové tabulky a algoritmy analýzy
8. Silné LL(1) a LL(k) gramatiky
9. Slabé LL(k) gramatiky
10. Syntaktická analýza zdola nahoru, LR gramatiky
11. LL a LR jazyky
12. Obecné algoritmy pro bezkontextové jazyky,
13. Algoritmy syntaktické analýzy a jejich implemetace,rekurzivní sestup, Backus-Naurova forma
- Učitel: Hashim Habiballa