Robust Simulations of Turing Machines with Analytic Maps and Flows

  • Daniel S. Graça
  • Manuel L. Campagnolo
  • Jorge Buescu
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3526)

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Daniel S. Graça
    • 1
    • 2
  • Manuel L. Campagnolo
    • 2
    • 3
  • Jorge Buescu
    • 4
  1. 1.Departamento de Matemática, Faculdade de Ciências e TecnologiaUniversidade do AlgarveFaroPortugal
  2. 2.Center for Logic and Computation, Departamento de Matemática, Instituto Superior TécnicoUniversidade Técnica de LisboaLisboaPortugal
  3. 3.Departamento de Matemática, Instituto Superior de AgronomiaUniversidade Técnica de LisboaLisboaPortugal
  4. 4.Center for Mathematical Analysis, Geometry and Dynamical Systems, Departamento de Matemática, Instituto Superior TécnicoUniversidade Técnica de LisboaLisboaPortugal

Personalised recommendations