Robust Simulations of Turing Machines with Analytic Maps and Flows

  • Daniel S. Graça
  • Manuel L. Campagnolo
  • Jorge Buescu
Conference paper

DOI: 10.1007/11494645_21

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3526)
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

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