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 ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Pożytki ze zbiorów reDzięki zbiorom rekurencyjnie przeliczalnym można pokazać kilka istotnychfaktów dotyczących interesującej nas klasy funkcji częścioworekurencyjnych.Jeżeli f ∈ CZREK 1 i f ⊂ g, to g nazwiemy rozszerzeniem f. Jeżeli gjest określona dla wszystkich argumentów to nazywamy ją uzupełnieniemf.TwierdzenieIstnieje funkcja f ∈ CZREK 1 taka, że R f = {0, 1} i nie istniejerekurencyjne uzupełnienie dla f.Wniosek pośredniIstnieje zbiór rekurencyjnie przeliczalny, który nie jest rekurencyjny.<strong>Marcin</strong> <strong>Szczuka</strong> (MIMUW) <strong>Modele</strong> Obliczeń 2008/2009 42 / 42