Robust Simulations of Turing Machines with Analytic Maps and Flows
- Cite this paper as:
- Graça D.S., Campagnolo M.L., Buescu J. (2005) Robust Simulations of Turing Machines with Analytic Maps and Flows. In: Cooper S.B., Löwe B., Torenvliet L. (eds) New Computational Paradigms. CiE 2005. Lecture Notes in Computer Science, vol 3526. Springer, Berlin, Heidelberg
In this paper, we show that closed-form analytic maps and flows can simulate Turing machines in an error-robust manner. The maps and ODEs defining the flows are explicitly obtained and the simulation is performed in real time.
Unable to display preview. Download preview PDF.