Formální jazyky a automaty – pokyny k samostudiu, domácí úkoly a online cvičení
RNDr. Vladimír Štill, Ph.D.
Formální jazyky a automaty – pokyny k samostudiu, domácí úkoly a online cvičení
RNDr. Vladimír Štill, Ph.D.
Formální jazyky a automaty – pokyny k samostudiu, domácí úkoly a online cvičení
Info
Předmět
Období
jaro 2020
V této interaktivní osnově naleznete informace a zadání k domácím úkolům v předmětu Formální jazyky a automaty a odkazy na nahrávky online cvičení a příslušná diskusní fóra. Od 8. týdne zde navíc budou zveřejňovány i pokyny k samostudiu. Další podklady k předmětu naleznete buď na webové stránce předmětu nebo ve studijních materiálech.
Systém, pravidla a hodnocení domácích úkolů
Přejít
Kapitola obsahuje:
2
PDF
1
Studijní materiály
1
Studijní text
Učitel doporučuje studovat od 19. 2. 2020.

Týden 1: Jazyky, slova a operace nad nimi
Přejít
Kapitola obsahuje:
2
Odevzdávárna
6
PDF
3
Studijní materiály
1
Studijní text
Učitel doporučuje studovat od 19. 2. 2020 do 25. 2. 2020.
Týden 2: regulární gramatiky a konečné automaty
Přejít
Kapitola obsahuje:
2
Odpovědník
1
Studijní text
Učitel doporučuje studovat od 26. 2. 2020 do 3. 3. 2020.
Týden 3: Lemma o vkládání
Přejít
Kapitola obsahuje:
2
Odevzdávárna
5
PDF
3
Studijní materiály
1
Studijní text
Učitel doporučuje studovat od 4. 3. 2020 do 10. 3. 2020.
Týden 4: Myhillova-Nerodova věta, pravá kongruence
Přejít
Kapitola obsahuje:
1
Diskusní fórum
2
Odevzdávárna
6
PDF
3
Studijní materiály
1
Video
1
Studijní text
Učitel doporučuje studovat od 11. 3. 2020 do 17. 3. 2020.
Týden 5: prefixová ekvivalence, minimalizace, NFA
Přejít
Kapitola obsahuje:
2
Diskusní fórum
1
Odevzdávárna
4
Odpovědník
2
PDF
1
Studijní materiály
1
Video
1
Studijní text
Učitel doporučuje studovat od 18. 3. 2020 do 24. 3. 2020.
Týden 6: uzávěrové vlastnosti regulárních jazyků
Přejít
Kapitola obsahuje:
1
Diskusní fórum
2
Odevzdávárna
4
PDF
3
Studijní materiály
1
Video
1
Studijní text
Učitel doporučuje studovat od 25. 3. 2020 do 31. 3. 2020.
Týden 7: regulární výrazy a ekvivalence formalismů popisujících regulární jazyky
Přejít
Kapitola obsahuje:
2
Diskusní fórum
3
Odpovědník
1
Video
1
Studijní text
Učitel doporučuje studovat od 1. 4. 2020 do 7. 4. 2020.
Týden 8: bezkontextové gramatiky (CFG), derivační stromy, jednoznačnost, redukované gramatiky
Přejít
Kapitola obsahuje:
1
Odevzdávárna
1
Odpovědník
5
PDF
1
Studijní materiály
3
Video
1
Studijní text
Učitel doporučuje studovat od 8. 4. 2020 do 14. 4. 2020.
Týden 9: transformace bezkontextových gramatik, Chomského normální forma (CNF), Greibachové normalní forma (GNF)
Přejít
Kapitola obsahuje:
2
Odevzdávárna
5
PDF
2
Studijní materiály
5
Video
1
Studijní text
Učitel doporučuje studovat od 15. 4. 2020 do 21. 4. 2020.
Týden 10: Lemma o vkládání pro bezkontextové jazyky, zásobníkové automaty (PDA), nedeterministická syntaktická analýza
Přejít
Kapitola obsahuje:
2
Odevzdávárna
5
PDF
2
Studijní materiály
7
Video
1
Studijní text
Učitel doporučuje studovat od 22. 4. 2020 do 28. 4. 2020.
Týden 11: uzávěrové vlastnosti bezkontextových jazyků, deterministické zásobníkové automaty (DPDA), Turingovy stroje (TM)
Přejít
Kapitola obsahuje:
2
Odevzdávárna
5
PDF
2
Studijní materiály
6
Video
1
Studijní text
Učitel doporučuje studovat od 29. 4. 2020 do 5. 5. 2020.
Týden 12: rekursivní a rekursivně spočetné (r.e.) jazyky, vztah TM a jazyků typu 0, lineárně ohraničené automaty (LBA), vztah LBA a jazyků typu 1
Přejít
Kapitola obsahuje:
2
Odevzdávárna
5
PDF
2
Studijní materiály
3
Video
1
Studijní text
Učitel doporučuje studovat od 6. 5. 2020 do 12. 5. 2020.
Týden 13: Nerozhodnutelnost
Přejít
Kapitola obsahuje:
2
Odevzdávárna
5
PDF
2
Studijní materiály
4
Video
1
Studijní text
Učitel doporučuje studovat od 13. 5. 2020 do 19. 5. 2020.
Předchozí
Následující