Машина Тьюринга сама по себе не сильно типизирована, в общем-то
+ По-моему тоже никак не связано. Тьюринг про типы вообще ничего не знал
Именно так. Машина Тьюринга имеет неявным следствием полный доступ к любой части ленты, равно как и возможность интерпретаци любой части ленты по своему усмотрению. Чтобы что-то подобное реализовать в рамках типизированного исчисления обязательно придётся сделать возможность для down cast. Строго математически доказать данное утверждение не берусь.
Обсуждают сегодня