Robust Simulations of Turing Machines with Analytic Maps and Flows

@inproceedings{Graa2005RobustSO,
  title={Robust Simulations of Turing Machines with Analytic Maps and Flows},
  author={D. Graça and M. L. Campagnolo and J. Buescu},
  booktitle={CiE},
  year={2005}
}
  • D. Graça, M. L. Campagnolo, J. Buescu
  • Published in CiE 2005
  • Computer Science
  • 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. 
    41 Citations

    Topics from this paper

    Computability with polynomial differential equations
    • 55
    • PDF
    A Survey on Continuous Time Computations
    • 65
    • PDF
    The Extended Analog Computer and Turing machine
    • M. Piekarz
    • Computer Science
    • Ann. UMCS Informatica
    • 2007
    • Highly Influenced
    • PDF
    How much can analog and hybrid systems be proved (super-)Turing
    • 9
    • PDF
    The Extended Analog Computer and Turing machine Monika
    Robust Computations with Dynamical Systems
    • 5
    • PDF
    Reachability in Linear Dynamical Systems
    • 32
    • Highly Influenced
    • PDF
    Computation with perturbed dynamical systems
    • 3
    • PDF
    Algebraic Characterizations of Complexity-Theoretic Classes of Real Functions
    • 5
    • PDF

    References

    SHOWING 1-10 OF 31 REFERENCES
    Closed-for Analytic Maps in One and Two Dimensions can Simulate Universal Turing Machines
    • 82
    Differential Equations, Dynamical Systems, and Linear Algebra
    • 2,786
    The Wave Equation with Computable Initial Data Whose Unique Solution Is Nowhere Computable
    • 51
    Unpredictability and undecidability in dynamical systems.
    • Moore
    • Physics, Medicine
    • Physical review letters
    • 1990
    • 342
    • PDF
    Computability with Low-Dimensional Dynamical Systems
    • 128
    Universal Computation and Other Capabilities of Hybrid and Continuous Dynamical Systems
    • M. Branicky
    • Computer Science, Mathematics
    • Theor. Comput. Sci.
    • 1995
    • 156
    • PDF
    On the Computational Power of Neural Nets
    • 769