IB107 úkol 2, příklad 1 Odevzdání: 8. 11. 2022 23:59
Jméno: Chrobák Truhlík UČO: 1234567
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. [3 body] Uvažme množinu B ⊆ N definovanou vztahem
B = {i | dom(ϕi) {0, 1} = ∅ a ∀y ∈ N . ϕi(y) = ϕi(y2
) = . . . = ϕi(yy
)}.
(a) Rozhodněte a dokažte, zda je množina B rekurzivní.
(b) Rozhodněte a dokažte, zda je množina B rekurzivně spočetná.
Oblast strojově snímaných informací, nezasahujte. Zde jsou losi.