Język rekurencyjnie przeliczalny: Różnice pomiędzy wersjami

 

Jako przykład języka rekursywnie przeliczalnego można podać język przedstawiający wszystkie te [[Oprogramowanie|programy]], które się zatrzymują. Algorytm może po prostu uruchamiać kolejne programy i dawać odpowiedź pozytywną dla każdego, który się zatrzyma. Ponadto wszystkie [[język rekursywny|języki rekursywne]] są rekursywnie przeliczalne.

== Zobacz też ==

*[[przegląd zagadnień z zakresu matematyki]]

*[[funkcja rekurencyjna]]

*[[teoria rekursji]]