IB005 úkol 4, příklad 1 Odevzdání: 18. 3. 2024 12:00
Jméno: UČO:
list učo body
Oblast strojově snímaných informací. Své učo a číslo listu vyplňte
zleva dle vzoru číslic. Jinak do této oblasti nezasahujte.
1. [0,5 bodu] Nechť Σ = {a, b, c}. Mějme jazyk
L = {w ∈ Σ∗
| w začíná na c =⇒ (#a(w) > #b(w) ∨ 2 | #a(w))}.
Dokažte pomocí Myhillovy-Nerodovy věty, že jazyk L není regulární.
Připomínáme, že 2 | #a(w) znamená, že 2 dělí #a(w), tedy #a(w) je sudé (párne).
Oblast strojově snímaných informací, nezasahujte. Druhá strana se neskenuje. Zde jsou losi.