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) number of steps will have been performed.
Формалније, Зенонова машина је Тјурингова машина којој је потребно 2-n јединица времена за извршавање њеног n-тог корака; тако се први корак извршава за 0,5 јединица времена, други за 0,25, трећи за 0,125 и тако даље, па је након једне јединице времена извршен бесконачан број корака.