Вопрос по машине тьюринга

Между такими лентами нету разницы

А она назад ходит?

Я об этом не спрашивал. Я бы хотел узнать корректное определение.

В состав машины Тьюринга входит ограниченная слева и бесконечная справа лента

это определение более точное. Хотя принципиальной разницы нет.

это определение более точное

Пруф?

не будет. Я этот вопрос изучал в то далёкое время, когда интернетов не было. Могу дать совет: читай англ. вику, там и пруфы есть, и определение точнее. А наша русская переведена дилетантами. Даже гуглотранслятор и то правильнее переводит (по сути текста правильнее).

А завтра ты откроешь для себя эквивалентные преобразования.

Первоисточник говорит о ленте неограниченных размеров.

А чё вообще носятся все с этим Тьюрингом, ведь он: a) буржуй, б) гомосек.

Спасибо!

a) буржуй, б) гомосек

с) Плагиатор (см. Черч, Пост.)

Ну и как следствие,

d) бездарность

Ну и брось! Иди в качалку лучше

б) гомосек.

Да их вообще полно сейчас. Одни смотрят игру престолов, а другие кодят на рубях:3

Я читал это все как «Машина Поста» :)

Оба корректные, так как МЕЖДУ НИМИ НЕТУ РАЗНИЦЫ. Как ты их отличишь, если МЕЖДУ НИМИ НЕТУ РАЗНИЦЫ?

Между МТ и LC тоже разницы нет. Ты их отличаешь?

в MIT на лекции говорили что бесконечна в обе стороны. (2006 год).

Первоисточник говорит о ленте неограниченных размеров.

лента ограниченная только слева тоже бесконечная.

Я точно не помню, но ЕМНИП там какой-то косяк был, если лента в обе стороны неограниченна. Потому её для строгости ограничивают слева. В математике тоже иногда(в матане например) бесконечностей две(+∞, -∞), а в других разделах всего одна (∞, пример: бесконечно удалённая точка).

Я точно не помню, но ЕМНИП там какой-то косяк был, если лента в обе стороны неограниченна.

Я более чем уверен, что это косяк называется «хочу нумеровать ячейки натуральными числами».

Я более чем уверен, что это косяк называется «хочу нумеровать ячейки натуральными числами».

зря смеёшься. В натуральных числах проще работать.

В натуральных числах проще работать.

Ты уже определись, косяк формализма (твое изначальное утверждение) или косяк мозга пользователя, который пытается подогнать формализм по свои нужды (нужды своего недомозга), а затем орет, что все так и было.

Ты уже определись, косяк формализма (твое изначальное утверждение)

this

там какие-то выводы(формальные естественно) проще делать, если множество ячеек МТ это ℕ, а не ℤ.

А вот какие именно выводы — я не помню, а гуглить мне лениво.

или косяк мозга пользователя, который пытается подогнать формализм по свои нужды (нужды своего недомозга), а затем орет, что все так и было.

лично для моего мозга, лента бесконечная в обе стороны кажется более логичной и понятной.

А в чем проблема нумеровать натуральными числами, если лента в обес тороны бесконечная?