problem solved ;)

[thedeemon]

"a Zeno Machine: a machine similar to a Turing machine except that the first instruction takes one second to compete, and each following instruction takes half of what the previous instruction took.
We could know whether a program halts or not in at most two seconds!"
(src)

Comments

[juan-gandhi.livejournal.com]

Won't be able to count real numbers anyway.

[dmytrish.livejournal.com]

It's a pretty nice example of http://en.wikipedia.org/wiki/Hypercomputation

[kodt-rsdn.livejournal.com]

Крэй-1 через две секунды остановится и что, ещё четыре секунды будет тупить?

И что, вообще, произойдёт спустя 2 секунды - машина начнёт уничтожать информацию?

[thedeemon.livejournal.com]

Cray-1 мог быть устроен иначе.

А что после 2 секунд - хороший вопрос, сам не знаю. :)

[sassa-nf.livejournal.com]

поглотит всю энергию вселенной, конечно же!

[thedeemon.livejournal.com]

Не, это будет сделано раньше - при строительстве машины с бесконечной лентой.

[sassa-nf.livejournal.com]

нормальные реализации достраивают ленту as needed :)

[109.livejournal.com]

actually, we won't. in 2 seconds the program will be able to run infinite number of steps, so we still won't know whether it is halted or not.

[thedeemon.livejournal.com]

Either it comes to the end state or not, it will be evident after 2 seconds in any case.

Turing machine has one or several "final states" where it stops. We can light a bulb when it comes to one of these states. So after 2 seconds the bulb is either on or off.