Język rekurencyjnie przeliczalny: Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
zmiana nazwy / blad w nazwie |
m angielska wersja z "recurency" nie występuje |
||
Linia 1:
'''Język rekurencyjnie przeliczalny''' ([[język angielski|ang.]] ''
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.
|