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.
Rekursja pierwotnaNiech g( −→ x ), h( −→ x , m, y) dla −→ x ∈ N n−1 będą funkcjami odpowiednio n − 1i n + 1 argumentowymi. Wtedy n-argumentową funkcję f( −→ x , m)definiujemy przez pierwotną (prymitywną) rekursję jako:f( −→ x , 0) = g( −→ x )f( −→ x , m + 1) = h( −→ x , m, f( −→ x , m))Tak zdefiniowaną operację rekursji można traktować jako przekształcenie:Rek : N Nn−1 × N Nn+1 ↦→ N NnMówimy, że funkcja f( −→ x , m) jest zadana przez niesparametryzowanąrekursję pierwotną gdy g jest stała.<strong>Marcin</strong> <strong>Szczuka</strong> (MIMUW) <strong>Modele</strong> Obliczeń 2008/2009 25 / 42