IB102 úkol 4, příklad 2 Odevzdání: 15. 10. 2018
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.
2. [2 body] Mějme abecedu Σ = {a, b}. Rozhodněte, zda je jazyk
L = {w ∈ {a, b}∗
| vzdálenosti mezi každými dvěma po sobě bezprostředně následujícími b ve
slově w jsou všechny vzájemně různé}
regulární a své tvrzení dokažte. Tedy pokud se podle vás jedná o regulární jazyk, uveďte příslušnou
regulární gramatiku nebo konečný automat včetně všech formálních náležitostí. Pokud se podle vás
naopak o regulární jazyk nejedná, dokažte tuto skutečnost pomocí Myhillovy-Nerodovy věty.
Oblast strojově snímaných informací, nezasahujte. Druhá strana se neskenuje. Zde jsou losi.