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

[ex_juan_gan]

Won't be able to count real numbers anyway.

[dmytrish]

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

[kodt_rsdn]

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

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

[thedeemon]

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

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

[sassa_nf]

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

[thedeemon]

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

[109]

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]

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.