Abstract
We introduce a continuous-space model of computation. This original model is inspired by the theory of Fourier optics.We show a lower bound on the computational power of this model by Type-2 machine simulation. The limit on computational power of our model is nontrivial. We define a problem solvable with our model that is not Type-2 computable. The theory of optics does not preclude a physical implementation of our model.
Acknowledgements
We gratefully acknowledge advice and assistance from J. Paul Gibson and the Theoretical Aspects of Software Systems research group,NUI Maynooth. Many thanks also to the reviewers of this paper for their constructive comments.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
P. Koiran, M. Cosnard, and M. Garzon. Computability with low-dimensional dynamical systems. Theoretical Computer Science, 132(1-2):113–128, 1994.
M. L. Minsky. Computation: Finite and Infinite Machines. Series in Automatic Computation. Prentice Hall, Englewood Cliffs, New Jersey, 1967.
T. Naughton, Z. Javadpour, J. Keating, M. KlÃma, and J. Rott. General-purpose acousto-optic connectionist processor. Optical Engineering, 38(7):1170–1177, July 1999.
T.J. Naughton. A model of computation for Fourier optical processors. In Optics in Computing 2000, Proc. SPIE vol. 4089, pp. 24–34, Quebec, June 2000.
T.J. Naughton. Continuous-space model of computation is Turing universal. In Critical Technologies for the Future of Computing, Proc. SPIE vol. 4109, pp. 121–128, San Diego, California, August 2000.
R. Rojas. Conditional branching is not necessary for universal computation in von Neumann computers. J. Universal Computer Science, 2(11):756–768, 1996.
H.T. Siegelmann and E.D. Sontag. On the computational power of neural nets. In Proc. 5th Annual ACM Workshop on Computational Learning Theory, pp. 440–449, Pittsburgh, July 1992.
A.M. Turing. On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society ser. 2, 42(2):230–265, 1936. Correction in vol. 43, pp. 544-546, 1937.
K. Weihrauch. Computable Analysis. Springer, Berlin, 2000.
D. Woods and J.P. Gibson. On the relationship between computational models and scientific theories. Technical Report NUIM-CS-TR-2001-05, National University of Ireland, Maynooth, Ireland, February 2001.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Naughton, T.J., Woods, D. (2001). On the Computational Power of a Continuous-space Optical Model of Computation. In: Margenstern, M., Rogozhin, Y. (eds) Machines, Computations, and Universality. MCU 2001. Lecture Notes in Computer Science, vol 2055. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45132-3_20
Download citation
DOI: https://doi.org/10.1007/3-540-45132-3_20
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42121-4
Online ISBN: 978-3-540-45132-7
eBook Packages: Springer Book Archive