Máquina de Zenón

En matemáticas y ciencias de la computación, las máquinas de Zenón (también llamadas máquinas aceleradas de Turing)[1]​ son un modelo computacional hipotético relacionado con la máquina de Turing que permite realizar un número conjunto numerable de pasos algorítmicos en tiempo finito.Las máquinas de Zenón desempeñan un papel crucial en algunas teorías.La teoría del punto omega ideada por el físico Frank J. Tipler, por ejemplo, solo puede ser válida si las máquinas Zenón son posibles.Las máquinas de Zenón permitirían que se computaran algunas funciones que no son computables mediante máquinas de Turing.Por ejemplo, el problema de la parada para las máquinas de Turing se puede resolver con una máquina de Zenón (utilizando el siguiente algoritmo escrito en pseudocódigo): El cálculo de este tipo que va más allá del límite de Turing se denomina hipercomputación, en este caso, hipercomputación a través de una supertarea.