Marcin Szczuka: Modele ObliczeÅ. WykÅad 3. Maszyny RAM i ...
Marcin Szczuka: Modele ObliczeÅ. WykÅad 3. Maszyny RAM i ...
Marcin Szczuka: Modele ObliczeÅ. WykÅad 3. Maszyny RAM i ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Zbiory rekurencyjneZbiory pierwotnie rekurencyjnePowiemy, że zbiór A ⊂ N jest pierwotnie rekurencyjny jeśli jego funkcjacharakterystyczna χ A jest w PREK.Zbiory rekurencyjnePowiemy, że zbiór A ⊂ N jest pierwotnie rekurencyjny jeśli jego funkcjacharakterystyczna χ A jest rekurencyjna. Zbiory rekurencyjne mają ścisłyzwiązek z obliczalnością i rozstrzygalnością.Rodzina zbiorów pierwotnie rekurencyjnych (rekurencyjnych) jest zamkniętaze względu na ∩, ∪, \.∅, N są pierwotnie rekurencyjne z funkcjami charakterystycznymirównymi (odpowiednio) stale 0 i 1.Dowolny skończony podzbiór A = {n 1 , . . . , n k }, n i , k ∈ N jestpierwotnie rekurencyjny z funkcją charakterystycznąχ A (x) = sg(|(x − n 1 ) · . . . · (x − n k )|).<strong>Marcin</strong> <strong>Szczuka</strong> (MIMUW) <strong>Modele</strong> Obliczeń 2008/2009 39 / 42