Zde bude seznam přednášek (audio záznamů a pdf prezentací) posledních několika let přednášek v předmětu bakalářského studia Formální jazyky a překladače (IFJ).
Podklady k přednáškám jsou dostupné ve formátu PDF nebo jako animované HTML stránky (vyžaduje Internet Explorer 5.0 a vyšší) a to jak v jazyce anglickém, tak v jazyce českém.
| Název kapitoly | Soubor pro tisk (EN) | Animace (EN) | Soubor pro tisk (CZ) | Animace (CZ) | Zvukový záznam | Kapitoly v záznamu |
|---|---|---|---|---|---|---|
| 1. Abecedy, řetězce a jazyky | ifj01-en.pdf | ifj01-en.zip | ifj01-cz.pdf | ifj01-cz.zip | ifj01a.mp3 | Ifj01: 01/20-14/20 |
| ifj01b.mp3 | Ifj01: 15/20-20/20 Ifj02: 01/17-03/17 | |||||
| 2. Úvod do překladačů | ifj02-en.pdf | ifj02-en.zip | ifj02-cz.pdf | ifj02-cz.zip | ifj02a.mp3 | Ifj02: 04/17-17/17 Ifj03: 01/39-16/39 |
| 3. Modely regulárních jazyků | ifj03-en.pdf | ifj03-en.zip | ifj03-cz.pdf | ifj03-cz.zip | ifj03a.mp3 | Ifj03: 17/39-39/39 Ifj04: 01/44-35/44 |
| 4. Speciální konečné automaty | ifj04-en.pdf | ifj04-en.zip | ifj04-cz.pdf | ifj04-cz.zip | ifj04a.mp3 | Ifj04: 36/44-44/44 Ifj05: 01/26-26/26 |
| 5. Vlastnosti regulárních jazyků | ifj05-en.pdf | ifj05-en.zip | ifj05-cz.pdf | ifj05-cz.zip | ifj05a.mp3 | Ifj06: 01/35-35/35 Ifj07: 01/50-11/50 |
| 6. Lexikální analýza | ifj06-en.pdf | ifj06-en.zip | ifj06-cz.pdf | ifj06-cz.zip | ifj06a.mp3 | Ifj07: 12/50-50/50 Ifj08: 01/57-07/57 |
| 7. Modely bezkontextových jazyků | ifj07-en.pdf | ifj07-en.zip | ifj07-cz.pdf | ifj07-cz.zip | ifj07a.mp3 | Ifj08: 08/57-41/57 |
| 8. Syntaktická analýza shora dolů | ifj08-en.pdf | ifj08-en.zip | ifj08-cz.pdf | ifj08-cz.zip | ifj08a.mp3 | Ifj08: 41/57-53/57 |
| ifj08b.mp3 | Ifj09: 01/42-12/42 | |||||
| 9. Syntaktická analýza zdola nahoru | ifj09-en.pdf | ifj09-en.zip | ifj09-cz.pdf | ifj09-cz.zip | ifj09a.mp3 | Ifj09: 13/42-42/42 Ifj10: 01/31-25/31 |
| 10. Vlastnosti bezkontextových gramatik | ifj10-en.pdf | ifj10-en.zip | ifj10-cz.pdf | ifj10-cz.zip | ifj10a.mp3 | Ifj10: 25/31-31/31 Ifj11: 01/69-61/69 |
| 11. Syntaxí řízený překlad | ifj11-en.pdf | ifj11-en.zip | ifj11-cz.pdf | ifj11-cz.zip | ifj11a.mp3 | Ifj11: 61/69-69/69 Ifj12: 01/43-43/43 |
| 12. Optimalizace, generování cílového kódu | ifj12-en.pdf | ifj12-en.zip | ifj12-cz.pdf | ifj12-cz.zip | ifj12a.mp3 | Ifj13: 01/45-45/45 |
| 13. Turingovy stroje a Chomského hierarchie | ifj13-en.pdf | ifj13-en.zip | ifj13-cz.pdf | ifj13-cz.zip | N/A | N/A |
| Název kapitoly | Soubor pro tisk |
|---|---|
| 1. Formální jazyky a operace nad nimi | ifj01-cvic.pdf |
| 2. Regulární výrazy a konečné automaty | ifj02-cvic.pdf |
| 3. Pumping lemma a uzávěrové vlastnosti | ifj03-cvic.pdf |
| 4. Bezkontextové gramatiky a zásobníkové automaty | ifj04-cvic.pdf |
| 5. Syntaktická analýza shora dolů | ifj05-cvic.pdf |
| 6. Syntaktická analýza zdola nahoru | ifj06-cvic.pdf |