Да, конечно!Вот о чем подумать:
- Как бы вы разработали TM для увеличения двоичного числа?
- Как вы могли бы использовать эту другую TM в качестве подпрограммы для подсчета длины ввода?
Другая перспектива: помните, что с помощью тезиса Черча-Тьюринга все, что вы можете сделать с любой эффективной моделью вычислений, вы можете сделать с ТМ, так как другие модели могут измерять длину ввода, ТМ могут делать это какхорошо.