Język rekurencyjnie przeliczalny: Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
m robot dodaje: ru:Рекурсивно перечислимый язык |
zmiana nazwy / blad w nazwie |
||
Linia 1:
'''Język
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.
|