Formální jazyky a automaty

9. týden: Chomského normální forma, pumping lemma

  • Odstranění epsilon-pravidel, jednoduchých pravidel
  • Chomského normální forma
  • Pumping lemma (zatím bez důkazu)

Slidy 9.pdf (pp. 1-16)

Skripta pp. 64-68

Domácí úkoly

Zadání

Úkol 09, příklad 1
Svá řešení odevzdávejte prosím na skenovatelném formuláři do 22. 4. 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 09, příklad 2
Svá řešení odevzdávejte prosím na skenovatelném formuláři do 22. 4. 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 09, příklad 2 – LaTeX
Svá řešení odevzdávejte prosím na skenovatelném formuláři do 22. 4. 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).

Diskusní fóra

Odevzdávání

Pokyny k přihlášení do AutomataTutor najdete v kapitole Softwarové nástroje.

Odevzdávárna DÚ: úkol 09, příklad 2
Prosím odevzdávejte jen úkol 9, 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).

Řešení