1. | | Základní pojmy teorie jazyků, definice a klasifikace gramatik |
2. | | Regulární jazyky, regulární gramatiky, regulární výrazy |
3. | | Konečné automaty deterministické a nedeterministické |
4. | | Bezkontextové (CF) gramatiky, syntaktická analýza CF jazyků |
5. | | Zásobníkové automaty, vztah CF gramatik a zásobníkových automatů |
6. | | LL gramatiky, rozkladové tabulky, algoritmus syntaktické analýzy |
7. | | Transformace bezkontextových gramatik na LL gramatiky |
8. | | LR gramatiky, základní pojmy |
9. | | LR gramatiky, syntaktická analýza |
10. | | LR gramatiky, konstrukce tabulek |
11. | | Formální překlady, základní pojmy, překladové gramatiky |
12. | | Překladové automaty a překladové gramatiky |
13. | | Formální překlad řízený LL analyzátorem |
14. | | Formální překlad řízený LR analyzátorem |
1. | | Konstrukce gramatik pro jednoduché jazyky |
2. | | Konečné automaty pro jednoduché jazyky |
3. | | Vztah mezi regulárními gramatikami a konečnými automaty |
4. | | Vztah mezi regulárními výrazy a konečnými automaty |
5. | | Vztah mezi regulárními výrazy a regulárními gramatikami |
6. | | Bezkontextové gramatiky, základní transformace |
7. | | Zásobníkové automaty |
8. | | LL gramatiky, konstrukce rozkladové tabulky, syntaktická analýza |
9. | | Transformace bezkontextových gramatik na LL gramatiky |
10. | | LR gramatiky - konstrukce tabulek |
11. | | LR gramatiky - syntaktická analýza |
12. | | Překladové gramatiky a překladové automaty |
13. | | Formální překlad při LL analýze |
14. | | Formální překlad při LR analýze |