|
Apr. 2nd, 2024|06:18 pm |
Действительно интеренсно.
Да, действительно любая машина тьюринга это часы. Поэтому в деСиттере на бывает Машины Тьюринга, или они должны ломаться в неопределенный момент, как происходит в реальной жизни.
>каков минимальный размер часов, которые могут тикать до конца?
Кажется, что любая машина тьюринга с простейшей программой, типа идти вперед и ставить точку, может работать часами. При этом неважно, что она работает с нерегулярным темпом, потому что длину вывода можно считать временем по определению. Кажется часы можн делать из машины Тьюринага с одной ячейкой памяти и двумя символами. И изменение символа считать тиком часом. Поэтому, вопрос к размеру лучше не сводить.
>и каков минимальный размер часов, для которых природа решает хальтинг
Что-то я не совсем понимаю как природа решант халтинг. |
|