Teoria obliczeń

Z Wikipedii

Teoria obliczeń to dział informatyki teoretycznej. Dzieli się on na dwie główne części: teorię obliczalności oraz złożoność obliczeniową. Pierwszy z nich zajmuje się odpowiedzią na pytanie, które problemy dają się rozwiązać przy pomocy komputera, a drugi tym jak szybko da się to zrobić.

Rozważania tego typu nie są możliwe bez formalnego, matematycznego modelu komputera. Najczęściej używanym modelem jest maszyna Turinga. Taką maszynę można w uproszczeniu rozumieć jako komputer o nieograniczonych zasobach pamięci.

Inne używane modele, takie jak: rachunek lambda, rachunek kombinatorów, algorytmy Markowa, funkcje rekurencyjne są sobie równoważne w tym sensie, że wszystko co jest obliczalne na jednym z nich da się też obliczyć na maszynie Turinga.

Rozważa się również węższe modele (tzn. takie, które nie pozwalają na wyrażenie dowolnej funkcji obliczalnej).

funkcje pierwotnie rekurencyjne

O niektórych problemach związanych z modelami obliczeń wiadomo, że są nierozstrzygalne. Na przykład nie istnieje algorytm, który rozstrzyga, czy dwa λ-wyrażenia są równoważne lub czy maszyna Turinga dla danego wejścia się zatrzyma (zob. Problem stopu).

[edytuj] Zobacz też

jestesmysuper PODCAST MUSIC na naszej stronie

Nowość na naszej stronie. Od dziś bedziemy promować nowych artystów udostępniając ich utwory wystarczy subskrybować nasz kanał RSS by móc pobierać najnowsze kawałki. W dniu dzisiejszym kawałki twórcy muzyki Trance AmbahJak

AmbahJaK - Dazchust

AmbahJaK - Treetashki

AmbahJaK - Float My Boolean

jestesmysuper najnowsze wieści z prac nad stroną

Zajmujemy bardzo dobre pozycje we wszystkich wyszukiwarkach ... Najnowsze informacje o pozycji strony jestesmysuper grupy Jungle is Massive. Kolejne naruszenia regulaminu konkursu.

jestesmysuper kolejna wiadomosc w naszym kanale

kanał RSS jest rozwijany dodajemy kolejną wiadomośc w naszym kanale

Jestesmysuper - Jungle is Massive RSS Start kanału

jestesmysuper RSS to najnowszy kanał RSS grupy Jungle is Massive. Serdecznie zapraszamy do dodawania naszego kanału. Najnowsze informacje i newsy z naszej strony www w twojej przeglšdarce lub readerze kanałów RSS.

informatyczne.wydmy.info

Teoria obliczeń

Z Wikipedii

[edytuj] Zobacz też