Marcin Szczuka: Modele ObliczeÅ. WykÅad 3. Maszyny RAM i ...

More documents

Recommendations

Info

Plan wykładu1 Maszyna RAMOpis maszyny RAMPrzykład obliczenia RAMZłożoność obliczania w RAM2 Funkcje rekurencyjneFunkcje elementarnie rekurencyjneFunkcje pierwotnie rekurencyjneFunkcje częściowo rekurencyjneZbiory rekurencyjnie przeliczalneMarcin Szczuka (MIMUW) Modele Obliczeń 2008/2009 14 / 42
MotywacjaStwierdziliśmy już wcześniej, że jednym ze sposobów reprezentacjiobliczenia może być utożsamienie go z funkcją całkowitoliczbową (a nawetnaturalną) która przyporządkowuje wyjście wejściu.Oczywiście natychmiast pojawia się pytanie, o to czy można jakoś dobrzewyróżnić klasy funkcji odpowiadających sensownym rodzajom obliczeń.Inną kwestią jest jak powiązać klasy funkcji całkowitoliczbowych zpoznanymi wcześniej modelami obliczeń.Podstawowe wymaganiaJest jak najbardziej na miejscu wymagać od zbiorów funkcji które uznamyza “obliczalne”, aby zawierały funkcje intuicyjnie możliwe do wyliczenia.Marcin Szczuka (MIMUW) Modele Obliczeń 2008/2009 15 / 42
Page 1 and 2: Modele ObliczeńWykład 3 - Maszyny
Page 3 and 4: Plan wykładu1 Maszyna RAMOpis masz
Page 5 and 6: Instrukcje w modelu RAMW skład ci
Page 7 and 8: Przykład obliczenia w RAMGdybyśmy
Page 11 and 12: Złożoność operacji RAMDla otrzy
Page 13: Model RAM vs. maszyny TuringaSymula
Page 17 and 18: Funkcje elementarneKlasa funkcji el
Page 19 and 20: Przykłady funkcji elementarnychFun
Page 21 and 22: Relacje elementarneDefinicja relacj
Page 25 and 26: Rekursja pierwotnaNiech g( −→ x
Page 27 and 28: Przykłady funkcji pierwotnie rekur
Page 29 and 30: Własności funkcji pierwotnie reku
Page 33 and 34: Funkcje częściowo rekurencyjneCZR
Page 35 and 36: Funkcja AckermanaPrzykład (bardzo
Page 39 and 40: Zbiory rekurencyjneZbiory pierwotni
Page 41 and 42: Własności zbiorów rekurencyjniep

Marcin Szczuka: Modele ObliczeÅ. WykÅad 3. Maszyny RAM i ...

Create successful ePaper yourself

Delete template?

Save as template?

Marcin Szczuka: Modele ObliczeÅ. WykÅad 3. Maszyny RAM i ...