Dynamical recognizers: Real-time language recognition by analog computers

Theoretical Computer Science

Volumn 201, Issue 1-2, 1998, Pages 99-136

  Moore, Cristopher ^a  

^a SANTA FE INSTITUTE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0001822323     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(97)00028-5     Document Type: Article

References (43)

1. R. Bartlett, M. Garzon, Computational complexity of piecewise linear maps of the interval, Theoret. Comput. Sci., submitted.
2. J. Berstel, Transductions and Context-Free Languages, Teubner Studienbücher, Stuttgart, 1978.
3. L. Blum, M. Shub, S. Smale, On a tneory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines, Bull. Amer. Math. Soc. 21 (1989) 1-46.
4. A. Blumer, A. Ehrenfeucht, D. Haussler, M.K. Warmuth, Learning and the Vapnik-Chervonenkis dimension, J. ACM 36 (4) (1989) 929-965.
5. L. Boasson, B. Courcelle, M. Nivat, The rational index: a complexity measure for languages, SIAM J. Comput. 10 (2) (1981) 284-296.
6. R. Book, S. Greibach, Quasi-realtime languages, Math. Systems Theory 4 (1970) 97-111.
7. F.J. Brandenburg, Intersections of some families of languages, in: Proc. 13th ICALP, Lecture Notes in Computer Science, vol. 226, Springer, Berlin, 1986, pp. 61-68.
8. M. Casey, The dynamics of discrete-time computation, with application to recurrent neural networks and finite-state machine extraction, Neural Comput. 8 (6) (1996) to appear.
9. A. Cherubini, C. Citrini, S.C. Reghizzi, D. Mandrioli, QRT FIFO automata, breadth-first grammars and their relations, Theoret. Comput. Sci. 85 (1991) 171-203.
10. P. Koiran, M. Cosnard, M. Garzon, Computability properties of low-dimensional dynamical systems, Theoret. Comput. Sci. 132 (1994) 113-128.
11. F. Cucker, M. Matamala, On digital nondeterminism, Math. Systems Theory, to appear.
12. F. Cucker, D. Grigoriev, On the power of real Turing machines over binary inputs, NeuroCOLT Technical Report NC-TR-94-007, 1994.
13. S. Das, C.L. Giles, G.Z. Sun, Using prior knowledge in an NNPDA to learn languages, Adv. Neural Inform. Process. Systems 5 (1993) 65-72.
14. J. Elman, Language as a dynamical system, in: R.F. Port, T. van Gelder (Eds.), Mind as Motion: Explorations in the Dynamics of Cognition, MIT Press, Cambridge, MA, 1995.
15. M.R. Garey, D.S. Johnson, Computers and Intractibility: A Guide to the Theory of NP-Completeness, Freeman, New York, 1979.
16. C.L. Giles, C.B. Miller, D. Chen, H.H. Chen, G.Z. Sun, Y.C. Lee, Learning and extracting finite-state automata with second-order recurrent networks, Neural Comput. 2 (1992) 331-349.
17. P.W. Goldberg, M.R. Jerrum, Bounding the Vapnik-Chevonenkis dimension of concept classes parametrized by real numbers, Machine Learning 18 (1995) 131-148.
18. E. Grädel, K. Meer, Descriptive complexity theory over the real numbers, NeuroCOLT Technical Report NC-TR-95-040 (1995); in: Proc. 27th Symp. on the Theory of Computing, 1995, pp. 315-324.
19. E. Grädel, K. Meer, Descriptive complexity theory over the real numbers, NeuroCOLT Technical Report NC-TR-95-040 (1995); in: Proc. 27th Symp. on the Theory of Computing, 1995, pp. 315-324.
20. S.A. Greibach, A note on undecidable properties of formal languages, Math. Systems Theory 2 (1) (1968) 1-6.
21. J. Guckenheimer, P. Holmes, Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields, Springer, Berlin, 1983.
22. J.E. Hopcroft, J.D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, Reading, MA, 1979.
23. D.E. Knuth, Seminumerical Algorithms, Addison-Wesley, Reading, MA, 1981.
24. P. Koiran, Computing over the reals with addition and order, Theoret. Comput. Sci. 133 (1994) 35-47.
25. P. Koiran, A weak version of the Blum, Shub and Smale model, DIMACS Technical Report 94-10, 1994.
26. P. Koiran, C. Moore, Closed-form analytic maps in one and two dimensions can simulate Turing machines, Theoret. Comput. Sci., to appear.
27. B.L. Leong, J.I. Seiferas, New real-time simulations of multihead tape units, J. ACM 28 (1) (1981) 166-180.
28. L. Liu, P. Weiner, An infinite hierarchy of intersections of context-free languages, Math. Systems Theory 7 (1973) 185-192.
29. K. Meer, Real number models under various sets of operations, J. Complexity 9 (1993) 366-372.
30. C. Michaux, Differential fields, machines over the real numbers and automata, Ph.D. thesis, Université de Mons Hainaut, Faculte des Sciences, 1991.
31. C. Moore, Unpredictability and undecidability in dynamical systems. Phys. Rev. Lett. 64 (1990) 2354-2357; Nonlinearity 4 (1991) 199-230.
32. C. Moore, Unpredictability and undecidability in dynamical systems. Phys. Rev. Lett. 64 (1990) 2354-2357; Nonlinearity 4 (1991) 199-230.
33. C. Moore, Generalized one-sided shifts and maps of the interval, Nonlinearity 4 (1991) 727-745.
34. C. Moore, Smooth one-dimensional maps of the interval and the real line capable of universal computation, Santa Fe Institute Working Paper 93-01-001.
35. U. Nilsson, F. Hald, Her er en lille gris, Gyldendal, 1994.
36. C.H. Papadimitriou, Computational Complexity, Addison-Wesley, Reading, MA, 1994.
37. J. Paradaens, R. Vincke, A class of measures on formal languages, Acta Inform. 9 (1977) 73-86.
38. J. Pollack, The induction of dynamical recognizers, Machine Learning 7 (1991) 227-252.
39. A.L. Rosenberg, Real-time definable languages, J. ACM 14 (1967) 645-662.
40. H. Siegelmann, E.D. Sontag, Analog computation via neural networks, Theoret. Comput. Sci. 131 (1994) 331-360.
41. M. Steijvers, P.D.G. Grünwald, A recurrent network that performs a context-sensitive prediction task, NeuroCOLT Technical Report NC-TR-96-035 (1996); in: Proc. 18th Annual Conf. Cognitive Science Society, Erlbaum, London, in press.
42. M. Steijvers, P.D.G. Grünwald, A recurrent network that performs a context-sensitive prediction task, NeuroCOLT Technical Report NC-TR-96-035 (1996); in: Proc. 18th Annual Conf. Cognitive Science Society, Erlbaum, London, in press.
43. H.E. Warren, Lower bounds for approximation by nonlinear manifolds, Trans. Amer. Math. Soc. 133 (1968) 167-178.