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.
Idea funkcji pierwotnie rekurencyjnychBadania nad funkcjami, które mogą być realizowane algorytmicznie zostałypodjęte niezależnie przez kilku badaczy już na przełomie lat dwudziestych itrzydziestych XX wieku. Powstało kilka konkurencyjnych podejść, w tymfunkcje pierwotnie i częściowo rekurencyjne (Kleene).Funkcje pierwotnie rekurencyjneKleene wyróżniał podstawowe funkcje obliczalne:Funkcja stała (równa 0) 0(n) ≡ 0;Następnik s(n) = n + 1;Uin – n-argumentowe funkcje rzutu na i-tą współrzędną dla wszystkichn, i ∈ N i 0 < i ≤ n.Oraz wymagał by klasa tych funkcji była zamknięta ze względu na operacjezłożenia i rekursji pierwotnej.<strong>Marcin</strong> <strong>Szczuka</strong> (MIMUW) <strong>Modele</strong> Obliczeń 2008/2009 24 / 42