Interactive Syllabus

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

Open

Chapter contains:

1

Study text

Literatura a jiné informační zdroje

Open

Chapter contains:

1

Folder

1

Study text

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

Open

Chapter contains:

2

Homework Vault

5

PDF

3

Study Materials

1

Study text

Teacher recommends to study from 21/9/2015 to 4/10/2015.

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

Open

Chapter contains:

1

Homework Vault

2

ROPOT

2

PDF

3

Study Materials

1

Study text

Teacher recommends to study from 5/10/2015 to 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ů.

Open

Chapter contains:

1

Homework Vault

1

ROPOT

3

PDF

1

Study Materials

1

Study text

Teacher recommends to study from 12/10/2015 to 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.

Open

Chapter contains:

1

Homework Vault

3

ROPOT

3

PDF

1

Study Materials

1

Study text

Teacher recommends to study from 19/10/2015 to 25/10/2015.

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

Open

Chapter contains:

1

Homework Vault

3

ROPOT

2

PDF

1

Study Materials

1

Study text

Teacher recommends to study from 26/10/2015 to 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.

Open

Chapter contains:

13

ROPOT

1

PDF

1

Study text

Teacher recommends to study from 2/11/2015 to 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ů.

Open

Chapter contains:

3

Homework Vault

7

PDF

3

Study Materials

1

Study text

Teacher recommends to study from 9/11/2015 to 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ů.

Open

Chapter contains:

2

Homework Vault

5

PDF

2

Study Materials

1

Study text

Teacher recommends to study from 16/11/2015 to 22/11/2015.

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

Open

Chapter contains:

3

Homework Vault

7

PDF

3

Study Materials

1

Study text

Teacher recommends to study from 23/11/2015 to 29/11/2015.

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

Open

Chapter contains:

2

Homework Vault

5

PDF

2

Study Materials

1

Study text

Teacher recommends to study from 30/11/2015 to 6/12/2015.

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

Open

Chapter contains:

2

Homework Vault

5

PDF

2

Study Materials

1

Study text

Teacher recommends to study from 7/12/2015 to 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.

Open

Chapter contains:

2

Homework Vault

3

ROPOT

3

PDF

2

Study Materials

1

Study text

Teacher recommends to study from 14/12/2015 to 20/12/2015.

Bonus: Myhill-Nerodova věta

Open

Chapter contains:

1

Image

1

PDF

1

Study text

Interactive Syllabus

Operations