Staršie materiály k formálnym jazykom a automatom

Poznámky k cvičeniam pre zimný semester

• Cvičenie č. 1. Formálne jazyky a operácie na nich.
• Cvičenie č. 2. Homomorfizmy a inverzné homomorfizmy.
• Cvičenie č. 3. Bezkontextové gramatiky (1. časť).
• Cvičenie č. 4. Bezkontextové gramatiky (2. časť).
• Cvičenie č. 5. Konečné automaty.
• Cvičenie č. 6. Regulárne jazyky.
• Cvičenie č. 8. Zásobníkové automaty.
• Cvičenie č. 9. Bezkontextové jazyky.
• Cvičenie č. 10. Turingove stroje.
• Kódovanie Turingových strojov a univerzálny Turingov stroj.
• Cvičenie č. 11. Rozhodnuteľnosť.
• Cvičenie č. 12. Základy výpočtovej zložitosti.

Poznámky k cvičeniam pre letný semester

• Myhillova-Nerodova veta
• A-prekladače
• Substitúcie
• Greibachovej normálny tvar
• Ogdenova lema
• Postov korešpondenčný problém
• Redukcie
• Algoritmus CYK
• Riceove vety
• Preklad
• Deterministické zásobníkové automaty
• Syntaktická analýza zdola nahor (1. časť)
• Syntaktická analýza zdola nahor (2. časť)

Ostatné

• Prezentácia k prednáške o deterministických zásobníkových automatoch

Peter Kostolányi | Posledná úprava: 7.5.2024