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).

Řešení