Robust Simulations of Turing Machines with Analytic Maps and Flows

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.

• Type: Conference
• Year: 2005
• Where: CIE
• Authors: Daniel S. Graça, Manuel Lameiras Campagnolo, Jorge Buescu
• Keywords: CIE 2005, Closed-form Analytic Maps, Error-robust Manner, Turing Machines