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
Course
Term
Spring 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ů
Open
Chapter contains:
2
PDF
1
Study Materials
1
Study text
Teacher recommends to study from 19/2/2020.

Týden 1: Jazyky, slova a operace nad nimi
Open
Chapter contains:
2
Homework Vault
6
PDF
3
Study Materials
1
Study text
Teacher recommends to study from 19/2/2020 to 25/2/2020.
Týden 2: regulární gramatiky a konečné automaty
Open
Chapter contains:
2
ROPOT
1
Study text
Teacher recommends to study from 26/2/2020 to 3/3/2020.
Týden 3: Lemma o vkládání
Open
Chapter contains:
2
Homework Vault
5
PDF
3
Study Materials
1
Study text
Teacher recommends to study from 4/3/2020 to 10/3/2020.
Týden 4: Myhillova-Nerodova věta, pravá kongruence
Open
Chapter contains:
1
Discussion Forum
2
Homework Vault
6
PDF
3
Study Materials
1
Video
1
Study text
Teacher recommends to study from 11/3/2020 to 17/3/2020.
Týden 5: prefixová ekvivalence, minimalizace, NFA
Open
Chapter contains:
2
Discussion Forum
1
Homework Vault
4
ROPOT
2
PDF
1
Study Materials
1
Video
1
Study text
Teacher recommends to study from 18/3/2020 to 24/3/2020.
Týden 6: uzávěrové vlastnosti regulárních jazyků
Open
Chapter contains:
1
Discussion Forum
2
Homework Vault
4
PDF
3
Study Materials
1
Video
1
Study text
Teacher recommends to study from 25/3/2020 to 31/3/2020.
Týden 7: regulární výrazy a ekvivalence formalismů popisujících regulární jazyky
Open
Chapter contains:
2
Discussion Forum
3
ROPOT
1
Video
1
Study text
Teacher recommends to study from 1/4/2020 to 7/4/2020.
Týden 8: bezkontextové gramatiky (CFG), derivační stromy, jednoznačnost, redukované gramatiky
Open
Chapter contains:
1
Homework Vault
1
ROPOT
5
PDF
1
Study Materials
3
Video
1
Study text
Teacher recommends to study from 8/4/2020 to 14/4/2020.
Týden 9: transformace bezkontextových gramatik, Chomského normální forma (CNF), Greibachové normalní forma (GNF)
Open
Chapter contains:
2
Homework Vault
5
PDF
2
Study Materials
5
Video
1
Study text
Teacher recommends to study from 15/4/2020 to 21/4/2020.
Týden 10: Lemma o vkládání pro bezkontextové jazyky, zásobníkové automaty (PDA), nedeterministická syntaktická analýza
Open
Chapter contains:
2
Homework Vault
5
PDF
2
Study Materials
7
Video
1
Study text
Teacher recommends to study from 22/4/2020 to 28/4/2020.
Týden 11: uzávěrové vlastnosti bezkontextových jazyků, deterministické zásobníkové automaty (DPDA), Turingovy stroje (TM)
Open
Chapter contains:
2
Homework Vault
5
PDF
2
Study Materials
6
Video
1
Study text
Teacher recommends to study from 29/4/2020 to 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
Open
Chapter contains:
2
Homework Vault
5
PDF
2
Study Materials
3
Video
1
Study text
Teacher recommends to study from 6/5/2020 to 12/5/2020.
Týden 13: Nerozhodnutelnost
Open
Chapter contains:
2
Homework Vault
5
PDF
2
Study Materials
4
Video
1
Study text
Teacher recommends to study from 13/5/2020 to 19/5/2020.
Previous
Next