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.
Własności funkcji pierwotnie rekurencyjnychTwierdzenieKażda funkcja elementarna jest funkcją pierwotnie rekurencyjną. Instniejąnieelementarne funkcje pierwotnie rekurencyjne. ZatemEL PREKTwierdzenie – ograniczoność rekursji pierwotnejNiech g( −→ x ), h( −→ x , m, y) będą elementarne dla −→ x ∈ N n−1 , a funkcja fpowstaje z g i h przez zastosowanie rekursji pierwotnej. Jeżeli istniejen-argumentowa funkcja elementarna k taka, że dla każdego(x 1 , . . . , x n ) ∈ N n zachodzi:to f jest elementarna.f(x 1 , . . . , x n ) ≤ k(x 1 , . . . , x n )<strong>Marcin</strong> <strong>Szczuka</strong> (MIMUW) <strong>Modele</strong> Obliczeń 2008/2009 28 / 42