More formally, a Zeno machine is a Turing machine that takes 2−"n" units of time to perform its "n"-th step; thus, the first step takes 0.5 units of time, the second takes 0.25, the third 0.125 and so on, so that after one unit of time, a countably infinite (i.e.
Таким образом, первый шаг требует 0,5 единиц времени, второй — 0,25, третий — 0,125 и так далее, так что за единицу времени совершается бесконечное количество шагов.