Interaktivní osnova

Informace o předmětu (sylabus, systém hodnocení,...)

Přejít

Kapitola obsahuje:

1

Diskusní fórum

1

PDF

1

Studijní materiály

1

Studijní text

Literatura a jiné informační zdroje

Přejít

Kapitola obsahuje:

1

Složka

1

Studijní text

1. týden: Formální jazyky. Gramatiky. Chomského hierarchie.

Přejít

Kapitola obsahuje:

2

Odevzdávárna

5

PDF

2

Studijní materiály

1

Studijní text

Učitel doporučuje studovat od 19. 9. 2016 do 25. 9. 2016.

2. týden: Konečné automaty. Paralelní kompozice automatů. Věta o vkládání.

Přejít

Kapitola obsahuje:

1

Odevzdávárna

2

Odpovědník

2

PDF

1

Studijní materiály

1

Studijní text

Učitel doporučuje studovat od 26. 9. 2016 do 2. 10. 2016.

3. týden: Minimalizace konečných automatů. Nedeterministické konečné automaty. Automaty s epsilon-kroky. Uzávěrové vlastnosti regulárních jazyků.

Přejít

Kapitola obsahuje:

1

Odevzdávárna

1

Odpovědník

3

PDF

1

Studijní materiály

1

Studijní text

Učitel doporučuje studovat od 3. 10. 2016 do 9. 10. 2016.

4. týden: Regulární výrazy. Vztah konečných automatů, regulárních výrazů a gramatik. Rozhodnutelné problémy pro regulární jazyky. Aplikace.

Přejít

Kapitola obsahuje:

1

Odevzdávárna

3

Odpovědník

3

PDF

1

Studijní materiály

1

Studijní text

Učitel doporučuje studovat od 10. 10. 2016 do 16. 10. 2016.

5. týden: Bezkontextové gramatiky. Derivační stromy. Redukované gramatiky. Jednoduchá pravidla a epsilon-pravidla.

Přejít

Kapitola obsahuje:

1

Odevzdávárna

3

Odpovědník

3

PDF

1

Studijní materiály

1

Studijní text

Učitel doporučuje studovat od 17. 10. 2016 do 23. 10. 2016.

6. týden: Chomského normální forma. Věta o vkládání pro bezkontextové jazyky. Přímá a nepřímá levá rekurze. Greibachové normální forma. Zásobníkové automaty.

Přejít

Kapitola obsahuje:

4

Odpovědník

1

PDF

1

Studijní text

Učitel doporučuje studovat od 24. 10. 2016 do 30. 10. 2016.

7. týden: Rozšířené zásobníkové automaty. Zásobníkové automaty a bezkontextové gramatiky. Nedeterministická syntaktická analýza shora dolů.

Přejít

Kapitola obsahuje:

2

Odevzdávárna

5

PDF

2

Studijní materiály

1

Studijní text

Učitel doporučuje studovat od 31. 10. 2016 do 6. 11. 2016.

8. týden: Nedeterministická syntaktická analýza zdola nahoru. Uzávěrové vlastnosti a (ne)rozhodnutelné problémy pro bezkontextové jazyky. Deterministické bezkontextové jazyky a jejich vlastnosti. Aplikace bezkontextových jazyků.

Přejít

Kapitola obsahuje:

2

Odevzdávárna

5

PDF

2

Studijní materiály

1

Studijní text

Učitel doporučuje studovat od 7. 11. 2016 do 13. 11. 2016.

9. týden: Turingovy stroje. Rekursivní a rekursivně spočetné jazyky, jejich uzávěrové vlastnosti.

Přejít

Kapitola obsahuje:

2

Odevzdávárna

5

PDF

2

Studijní materiály

1

Studijní text

Učitel doporučuje studovat od 14. 11. 2016 do 20. 11. 2016.

10. týden: Rozhodnutelnost problémů. Problém zastavení. Redukce

Přejít

Kapitola obsahuje:

2

Odevzdávárna

5

PDF

2

Studijní materiály

1

Studijní text

Učitel doporučuje studovat od 21. 11. 2016 do 27. 11. 2016.

11. týden: Časová složitost algoritmů a problémů. Třídy P a NP.

Přejít

Kapitola obsahuje:

2

Odevzdávárna

5

PDF

2

Studijní materiály

1

Studijní text

Učitel doporučuje studovat od 28. 11. 2016 do 4. 12. 2016.

12. týden: NP-úplné problémy. Prostorová složitost algoritmů a problémů. Třída PSPACE. Vztahy složitostních tříd.

Přejít

Kapitola obsahuje:

2

Odevzdávárna

3

Odpovědník

5

PDF

2

Studijní materiály

1

Studijní text

Učitel doporučuje studovat od 5. 12. 2016 do 11. 12. 2016.

13. týden: Bonusová přednáška: Myhillova-Nerodova věta

Přejít

Kapitola obsahuje:

2

Odevzdávárna

3

PDF

2

Studijní materiály

1

Studijní text

Interaktivní osnova

Operace