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.
Funkcja AckermanaPrzykład (bardzo istotny) funkcji, która jest rekurencyjna, ale niepierwotnie rekurencyjna stanowi funkcja Ackermana.Funkcja AckermanaDla m, n ∈ N:1 Ack(0, n) = n + 12 Ack(m + 1, 0) = Ack(m, 1)3 Ack(m + 1, n + 1) = Ack(m, Ack(m + 1, n))Funkcja Ackermana rośnie szybciej niż każda funkcja w PREK 1 tzn.∀ f∈PREK 1∃ m ∀ n>m Ack(n, n) > f(n)Nota bene: Funkcja Ackermana jest wcześniejsza niż teoria funkcjiobliczalnych. Także zakres przydatności funkcji Ackermana wykracza pozateorię obliczeń.<strong>Marcin</strong> <strong>Szczuka</strong> (MIMUW) <strong>Modele</strong> Obliczeń 2008/2009 35 / 42
Change language