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.
Ograniczoność minimum efektywnegoNieco światła na wzajemne relacje między klasą funkcji pierwotnierekurencyjnych, a funkcjami rekurencyjnymi rzuca twierdzenie o minimumograniczonym.Twierdzenie o minimum ograniczonymNiech:1 g( −→ x , y) ∈ PREK dla −→ x ∈ N n , y ∈ N;2 f( −→ x ) = µy(g( −→ x , y) = 0) i to minimum jest efektywne (f jesttotalna);3 k( −→ x ) ∈ PREK dla −→ x ∈ N n ;4 ∀−→ x ∈N nf( −→ x ) ≤ k( −→ x ).Wtedy f jest pierwotnie rekurencyjna.<strong>Marcin</strong> <strong>Szczuka</strong> (MIMUW) <strong>Modele</strong> Obliczeń 2008/2009 36 / 42