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.
Funkcje istotnie częściowo rekurencyjneDobrym przykładem funkcji istotnie częściowo rekurencyjnej jest funkcjaodwrotna do funkcji różnowartościowej. Jeśli f : N ↦→ N, taka żef(x) = f(y) ⇒ x = y to (częściową) funkcję odwrotną{f −1 y gdy ∃y f(y) = x(x) =nieznana w p.p.możemy wyznaczyć jako µy(f(y) = x).Wcześniej widzieliśmy już przykład funkcji uniwersalnej dla PREK 1 , któranie była pierwotnie rekurencyjna. Można wszakże pokazać, że funkcjauniwersalna dla PREK 1 jest w REK.Niestety wspomniana funkcja uniwersalna nie jest zdefiniowanakonstruktywnie i jakkolwiek stanowi przykład funkcji pochodzącej zCZREK \ PREK, to nie jest zbyt przydatna.<strong>Marcin</strong> <strong>Szczuka</strong> (MIMUW) <strong>Modele</strong> Obliczeń 2008/2009 34 / 42
Change language