IB102 Automaty a gramatiky
prof. RNDr. Jan Strejček, Ph.D.
IB102 Automaty a gramatiky
prof. RNDr. Jan Strejček, Ph.D.
IB102 Automaty a gramatiky
Info
Course
Term
Autumn 2009
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:
1
PDF
1
Study text
Teacher recommends to study from 21/9/2009 to 4/10/2009.
3. týden: Konečné automaty. Paralelní kompozice automatů.
Open
Chapter contains:
1
PDF
1
Study text
Teacher recommends to study from 5/10/2009 to 11/10/2009.
4. týden: Věta o vkládání. Myhill-Nerodova věta. Aplikace.
Open
Chapter contains:
1
PDF
1
Study text
Teacher recommends to study from 12/10/2009 to 18/10/2009.
5. týden: Minimalizace konečných automatů. Nedeterministické konečné automaty.
Open
Chapter contains:
1
PDF
1
Study text
Teacher recommends to study from 19/10/2009 to 25/10/2009.
6. týden: Automaty s epsilon-kroky. Uzávěrové vlastnosti regulárních jazyků. Regulární výrazy.
Open
Chapter contains:
1
PDF
1
Study text
Teacher recommends to study from 26/10/2009 to 1/11/2009.
7. týden: Vztah konečných automatů, regulárních výrazů a gramatik. Rozhodnutelné problémy pro regulární jazyky. Aplikace.
Open
Chapter contains:
1
PDF
1
Study text
Teacher recommends to study from 2/11/2009 to 8/11/2009.
8. týden: Bezkontextové jazyky. Derivační stromy. Redukované gramatiky.
Open
Chapter contains:
1
PDF
1
Study text
Teacher recommends to study from 9/11/2009 to 15/11/2009.
9. týden: Jednoduché pravidla a epsilon-pravidla. Chomského normální forma. Věta o vkládání pro bezkontextové jazyky.
Open
Chapter contains:
4
ROPOT
1
PDF
1
Study text
Teacher recommends to study from 16/11/2009 to 22/11/2009.
10. týden: Přímá a nepřímá levá rekurze. Greibachové normální forma. Zásobníkové automaty.
Open
Chapter contains:
1
PDF
1
Study text
Teacher recommends to study from 23/11/2009 to 29/11/2009.
11. týden: Zásobníkové automaty, metody akceptování. Rozšířené zásobníkové automaty.
Open
Chapter contains:
1
PDF
1
Study text
Teacher recommends to study from 30/11/2009 to 6/12/2009.
12. týden: Zásobníkové automaty a bezkontextové gramatiky. Nedeterministická syntaktická analýza. Uzávěrové vlastnosti bezkontextových jazyků.
Open
Chapter contains:
1
PDF
1
Study text
Teacher recommends to study from 7/12/2009 to 13/12/2009.
13. týden: (Ne)rozhodnutelné problémy pro bezkontextové jazyky. Deterministické bezkontextové jazyky a jejich vlastnosti. Turingovy stroje.
Open
Chapter contains:
3
ROPOT
1
PDF
1
Study text
Teacher recommends to study from 14/12/2009 to 20/12/2009.
Previous
Next