Noun
Zeno machine (plural Zeno machines) (computing theory) A hypothetical computational model, related to Turing machines, that would be capable of carrying out computations involving a countably infinite number of algorithmic steps.