4ответов 21 Может кто-нибудь объяснить правило 110 самым простым способом? programming-languages turing-complete
1ответов 36 Как Хаскелл добавил Тьюринг-полноту в систему F? haskell lambda-calculus system-f turing-complete type-systems
13ответов 43 Каковы практические рекомендации по оценке «полноты Тьюринга» языка? computer-science language-design turing-complete