Interaktivní osnova

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

Přejít

Kapitola obsahuje:

1

Studijní text

Literatura a jiné informační zdroje

Přejít

Kapitola obsahuje:

1

Složka

1

Studijní text

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

Přejít

Kapitola obsahuje:

2

Odevzdávárna

5

PDF

3

Studijní materiály

1

Studijní text

Učitel doporučuje studovat od 21. 9. 2015 do 4. 10. 2015.

3. 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

3

Studijní materiály

1

Studijní text

Učitel doporučuje studovat od 5. 10. 2015 do 11. 10. 2015.

4. 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 12. 10. 2015 do 18. 10. 2015.

5. 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 19. 10. 2015 do 25. 10. 2015.

6. 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

2

PDF

1

Studijní materiály

1

Studijní text

Učitel doporučuje studovat od 26. 10. 2015 do 1. 11. 2015.

7. 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:

13

Odpovědník

1

PDF

1

Studijní text

Učitel doporučuje studovat od 2. 11. 2015 do 8. 11. 2015.

8. 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:

3

Odevzdávárna

7

PDF

3

Studijní materiály

1

Studijní text

Učitel doporučuje studovat od 9. 11. 2015 do 15. 11. 2015.

9. 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 16. 11. 2015 do 22. 11. 2015.

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

Přejít

Kapitola obsahuje:

3

Odevzdávárna

7

PDF

3

Studijní materiály

1

Studijní text

Učitel doporučuje studovat od 23. 11. 2015 do 29. 11. 2015.

11. 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 30. 11. 2015 do 6. 12. 2015.

12. 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 7. 12. 2015 do 13. 12. 2015.

13. 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

3

PDF

2

Studijní materiály

1

Studijní text

Učitel doporučuje studovat od 14. 12. 2015 do 20. 12. 2015.

Bonus: Myhill-Nerodova věta

Přejít

Kapitola obsahuje:

1

Obrázek

1

PDF

1

Studijní text

Interaktivní osnova

Operace