а если печать списка идет с обязательным аргументом N? тогда длина одинаковая.
Классически, Колмогоров использовал вполне конкретную машину Тьюринга.
После него, как-то больше на лямбду переключились.
Но и тогда уже, было понятно, что все эти построения зависят от параметра - вычислительной системы.