====== IFJ: Formální jazyky a překladače ======

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 [[http://www.fit.vutbr.cz/study/courses/IFJ|Formální jazyky a překladače (IFJ)]].

  * [[.project_howto|Poznámky pro studenty k vypracovávání projektu.]]

  * [[.ic17int|Interní poznámky k interpretu cílového jazyka IFJcode17]]
  * [[.ic18int|Interní poznámky k interpretu cílového jazyka IFJcode18]]
  * [[.ic19int|Interní poznámky k interpretu cílového jazyka IFJcode19]]
===== 2005 - 2006 (Zimní semestr 2005) =====

=== Přednášky ===
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|{{.2005-2006:prednesy:Ifj01-en.pdf}}|{{.2005-2006:prednesy:Ifj01-en.zip}}|{{.2005-2006:prednesy:Ifj01-cz.pdf}}|{{.2005-2006:prednesy:Ifj01-cz.zip}}|{{.2005-2006:prednesy:Ifj01a.mp3}}|Ifj01: 01/20-14/20|
| | | | | |{{.2005-2006:prednesy:Ifj01b.mp3}}|Ifj01: 15/20-20/20 Ifj02: 01/17-03/17|
|2. Úvod do překladačů|{{.2005-2006:prednesy:Ifj02-en.pdf}}|{{.2005-2006:prednesy:Ifj02-en.zip}}|{{.2005-2006:prednesy:Ifj02-cz.pdf}}|{{.2005-2006:prednesy:Ifj02-cz.zip}}|{{.2005-2006:prednesy:Ifj02a.mp3}}|Ifj02: 04/17-17/17 Ifj03: 01/39-16/39|
|3. Modely regulárních jazyků|{{.2005-2006:prednesy:Ifj03-en.pdf}}|{{.2005-2006:prednesy:Ifj03-en.zip}}|{{.2005-2006:prednesy:Ifj03-cz.pdf}}|{{.2005-2006:prednesy:Ifj03-cz.zip}}|{{.2005-2006:prednesy:Ifj03a.mp3}}|Ifj03: 17/39-39/39 Ifj04: 01/44-35/44|
|4. Speciální konečné automaty|{{.2005-2006:prednesy:Ifj04-en.pdf}}|{{.2005-2006:prednesy:Ifj04-en.zip}}|{{.2005-2006:prednesy:Ifj04-cz.pdf}}|{{.2005-2006:prednesy:Ifj04-cz.zip}}|{{.2005-2006:prednesy:Ifj04a.mp3}}|Ifj04: 36/44-44/44 Ifj05: 01/26-26/26|
|5. Vlastnosti regulárních jazyků|{{.2005-2006:prednesy:Ifj05-en.pdf}}|{{.2005-2006:prednesy:Ifj05-en.zip}}|{{.2005-2006:prednesy:Ifj05-cz.pdf}}|{{.2005-2006:prednesy:Ifj05-cz.zip}}|{{.2005-2006:prednesy:Ifj05a.mp3}}|Ifj06: 01/35-35/35 Ifj07: 01/50-11/50|
|6. Lexikální analýza|{{.2005-2006:prednesy:Ifj06-en.pdf}}|{{.2005-2006:prednesy:Ifj06-en.zip}}|{{.2005-2006:prednesy:Ifj06-cz.pdf}}|{{.2005-2006:prednesy:Ifj06-cz.zip}}|{{.2005-2006:prednesy:Ifj06a.mp3}}|Ifj07: 12/50-50/50 Ifj08: 01/57-07/57|
|7. Modely bezkontextových jazyků|{{.2005-2006:prednesy:Ifj07-en.pdf}}|{{.2005-2006:prednesy:Ifj07-en.zip}}|{{.2005-2006:prednesy:Ifj07-cz.pdf}}|{{.2005-2006:prednesy:Ifj07-cz.zip}}|{{.2005-2006:prednesy:Ifj07a.mp3}}|Ifj08: 08/57-41/57|
|8. Syntaktická analýza shora dolů|{{.2005-2006:prednesy:Ifj08-en.pdf}}|{{.2005-2006:prednesy:Ifj08-en.zip}}|{{.2005-2006:prednesy:Ifj08-cz.pdf}}|{{.2005-2006:prednesy:Ifj08-cz.zip}}|{{.2005-2006:prednesy:Ifj08a.mp3}}|Ifj08: 41/57-53/57|
| | | | | |{{.2005-2006:prednesy:Ifj08b.mp3}}|Ifj09: 01/42-12/42|
|9. Syntaktická analýza zdola nahoru|{{.2005-2006:prednesy:Ifj09-en.pdf}}|{{.2005-2006:prednesy:Ifj09-en.zip}}|{{.2005-2006:prednesy:Ifj09-cz.pdf}}|{{.2005-2006:prednesy:Ifj09-cz.zip}}|{{.2005-2006:prednesy:Ifj09a.mp3}}|Ifj09: 13/42-42/42 Ifj10: 01/31-25/31|
|10. Vlastnosti bezkontextových gramatik|{{.2005-2006:prednesy:Ifj10-en.pdf}}|{{.2005-2006:prednesy:Ifj10-en.zip}}|{{.2005-2006:prednesy:Ifj10-cz.pdf}}|{{.2005-2006:prednesy:Ifj10-cz.zip}}|{{.2005-2006:prednesy:Ifj10a.mp3}}|Ifj10: 25/31-31/31 Ifj11: 01/69-61/69|
|11. Syntaxí řízený překlad|{{.2005-2006:prednesy:Ifj11-en.pdf}}|{{.2005-2006:prednesy:Ifj11-en.zip}}|{{.2005-2006:prednesy:Ifj11-cz.pdf}}|{{.2005-2006:prednesy:Ifj11-cz.zip}}|{{.2005-2006:prednesy:Ifj11a.mp3}}|Ifj11: 61/69-69/69 Ifj12: 01/43-43/43|
|12. Optimalizace, generování cílového kódu|{{.2005-2006:prednesy:Ifj12-en.pdf}}|{{.2005-2006:prednesy:Ifj12-en.zip}}|{{.2005-2006:prednesy:Ifj12-cz.pdf}}|{{.2005-2006:prednesy:Ifj12-cz.zip}}|{{.2005-2006:prednesy:Ifj12a.mp3}}|Ifj13: 01/45-45/45|
|13. Turingovy stroje a Chomského hierarchie|{{.2005-2006:prednesy:Ifj13-en.pdf}}|{{.2005-2006:prednesy:Ifj13-en.zip}}|{{.2005-2006:prednesy:Ifj13-cz.pdf}}|{{.2005-2006:prednesy:Ifj13-cz.zip}}| N/A | N/A |

=== Podklady pro demonstrační cvičení ===
^Název kapitoly ^Soubor pro tisk ^
|1. Formální jazyky a operace nad nimi| {{.2005-2006:cviceni:ifj01-cvic.pdf}} |
|2. Regulární výrazy a konečné automaty| {{.2005-2006:cviceni:ifj02-cvic.pdf}} |
|3. Pumping lemma a uzávěrové vlastnosti| {{.2005-2006:cviceni:ifj03-cvic.pdf}} |
|4. Bezkontextové gramatiky a zásobníkové automaty| {{.2005-2006:cviceni:ifj04-cvic.pdf}} |
|5. Syntaktická analýza shora dolů| {{.2005-2006:cviceni:ifj05-cvic.pdf}} |
|6. Syntaktická analýza zdola nahoru| {{.2005-2006:cviceni:ifj06-cvic.pdf}} |