192
правки
Изменения
м
→Тьюринг-полнота некоторых языков программирования
===Тьюринг-полнота некоторых языков программирования===
Доказать Тьюринг-полноту языка программирования можно, предложив способ реализации машины Тьюринга на этом языке. Кроме того, можно предложить интерпретатор языка на другом Тьюринг-полном языке.
===Тьюринговская трясина===