(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.

plural of Zeno machine