Formální jazyky a automaty
4. týden: Minimální DFA
- Důkaz Myhill-Nerodovy věty
- Minimální DFA
- Algoritmus pro minimalizaci
Slidy 3.pdf (pp. 14-18)
Slidy 4.pdf
Skripta pp. 25-31
Domácí úkoly
Zadání
Úkol 04, příklad 1
Svá řešení odevzdávejte prosím na skenovatelném formuláři do 18. 3. 2024 12:00 do příslušné odevzdávárny, a to ve formátech vypsaných v interaktivní osnově. Soubor musí mít vyplněnou hlavičku kvůli automatickému rozpoznávání. Pro tvorbu řešení můžete přímo upravit .tex se zadáním. K němu též potřebujete styl fja.cls a můžete použít přiložený návod na sazbu (cheatsheet.pdf).
Úkol 04, příklad 1 – LaTeX
Svá řešení odevzdávejte prosím na skenovatelném formuláři do 18. 3. 2024 12:00 do příslušné odevzdávárny, a to ve formátech vypsaných v interaktivní osnově. Soubor musí mít vyplněnou hlavičku kvůli automatickému rozpoznávání. Pro tvorbu řešení můžete přímo upravit .tex se zadáním. K němu též potřebujete styl fja.cls a můžete použít přiložený návod na sazbu (cheatsheet.pdf).
Úkol 04, příklad 2
Svá řešení odevzdávejte prosím na skenovatelném formuláři do 18. 3. 2024 12:00 do příslušné odevzdávárny, a to ve formátech vypsaných v interaktivní osnově. Soubor musí mít vyplněnou hlavičku kvůli automatickému rozpoznávání. Pro tvorbu řešení můžete přímo upravit .tex se zadáním. K němu též potřebujete styl fja.cls a můžete použít přiložený návod na sazbu (cheatsheet.pdf).
Úkol 04, příklad 2 – LaTeX
Svá řešení odevzdávejte prosím na skenovatelném formuláři do 18. 3. 2024 12:00 do příslušné odevzdávárny, a to ve formátech vypsaných v interaktivní osnově. Soubor musí mít vyplněnou hlavičku kvůli automatickému rozpoznávání. Pro tvorbu řešení můžete přímo upravit .tex se zadáním. K němu též potřebujete styl fja.cls a můžete použít přiložený návod na sazbu (cheatsheet.pdf).
Úkol 04, příklad 3
Svá řešení odevzdávejte prosím na skenovatelném formuláři do 18. 3. 2024 12:00 do příslušné odevzdávárny, a to ve formátech vypsaných v interaktivní osnově. Soubor musí mít vyplněnou hlavičku kvůli automatickému rozpoznávání. Pro tvorbu řešení můžete přímo upravit .tex se zadáním. K němu též potřebujete styl fja.cls a můžete použít přiložený návod na sazbu (cheatsheet.pdf).
Úkol 04, příklad 3 – LaTeX
Svá řešení odevzdávejte prosím na skenovatelném formuláři do 18. 3. 2024 12:00 do příslušné odevzdávárny, a to ve formátech vypsaných v interaktivní osnově. Soubor musí mít vyplněnou hlavičku kvůli automatickému rozpoznávání. Pro tvorbu řešení můžete přímo upravit .tex se zadáním. K němu též potřebujete styl fja.cls a můžete použít přiložený návod na sazbu (cheatsheet.pdf).
Diskuzní fóra
Odevzdávárny
Odevzdávárna DÚ: úkol 04, příklad 1
Prosím odevzdávejte jen úkol 4, příklad 1. Odevzdávejte ve formátech a kvalitě specifikované v interaktivní osnově, odevzdání musí být podepsané (tedy se jménem uvnitř dokumentu).
Odevzdávárna DÚ: úkol 04, příklad 2
Prosím odevzdávejte jen úkol 4, příklad 2. Odevzdávejte ve formátech a kvalitě specifikované v interaktivní osnově, odevzdání musí být podepsané (tedy se jménem uvnitř dokumentu).
Odevzdávárna DÚ: úkol 04, příklad 3
Prosím odevzdávejte jen úkol 4, příklad 3. Odevzdávejte ve formátech a kvalitě specifikované v interaktivní osnově, odevzdání musí být podepsané (tedy se jménem uvnitř dokumentu).