IB102 úkol 9, příklad 1 Odevzdání: 25. 11. 2019
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. [2 body] Rozhodněte, zda je následující jazyk nad abecedou Σ = {a, b, c} bezkontextový, a své
tvrzení dokažte.
L = {ad
be
cf
| d · e = f ∧ d, e, f ≥ 0}
Tedy je-li vaše odpověď kladná, tj. rozhodnete-li, že se jedná o bezkontextový jazyk, uveďte příslušnou
bezkontextovou gramatiku nebo zásobníkový automat včetně všech formálních náležitostí.
Pokud se podle vás naopak o bezkontextový jazyk nejedná, dokažte tuto skutečnost pomocí Lemmatu
o vkládání pro bezkontextové jazyky (Pumping lemma pro CFL).
Oblast strojově snímaných informací, nezasahujte. Druhá strana se neskenuje. Zde jsou losi.