메뉴 건너뛰기
Theoretical Computer Science
Volumn 210, Issue 1, 1999, Pages 217-223
Closed-form analytic maps in one and two dimensions can simulate universal Turing machines
Author keywords

[No Author keywords available]
Indexed keywords

EID: 0008854035     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(98)00117-0     Document Type: Article
Times cited : (67)
References (16)
  • 1
    • 0029637375 scopus 로고
    • Reachability analysis of dynamical systems with piecewise-constant derivatives
    • E. Asarin, O. Maler, A. Pnueli, Reachability analysis of dynamical systems with piecewise-constant derivatives, Theoret. Comput. Sci. 138 (1995) 35-66.
    • (1995) Theoret. Comput. Sci. , vol.138 , pp. 35-66
    • Asarin, E.1    Maler, O.2    Pnueli, A.3
  • 2
    • 0028201485 scopus 로고
    • Functional equations associated with congruential functions
    • S. Burckel, Functional equations associated with congruential functions, Theoret. Comput. Sci. 123 (1994) 397-406.
    • (1994) Theoret. Comput. Sci. , vol.123 , pp. 397-406
    • Burckel, S.1
  • 3
    • 0001845146 scopus 로고
    • Unpredictable iterations
    • University of Colorado
    • J.H. Conway, Unpredictable iterations, Proc. 1972 Number Theory, University of Colorado, 1972, pp. 49-52.
    • (1972) Proc. 1972 Number Theory , pp. 49-52
    • Conway, J.H.1
  • 5
    • 0028496407 scopus 로고
    • Computability with low-dimensional dynamical systems
    • P. Koiran, M. Cosnard, M. Garzon, Computability with low-dimensional dynamical systems, Theoret. Comput. Sci. 132 (1994) 113-128.
    • (1994) Theoret. Comput. Sci. , vol.132 , pp. 113-128
    • Koiran, P.1    Cosnard, M.2    Garzon, M.3
  • 6
    • 0002747273 scopus 로고
    • The 3x + 1 problem and its generalizations
    • J.C. Lagarias, The 3x + 1 problem and its generalizations, Amer. Math. Monthly 92 (1985) 3-23.
    • (1985) Amer. Math. Monthly , vol.92 , pp. 3-23
    • Lagarias, J.C.1
  • 7
    • 0001223260 scopus 로고
    • Universal computation in simple one-dimensional cellular automata
    • K. Lindgren, M.G. Nordahl, Universal computation in simple one-dimensional cellular automata, Complex Systems 4 (1990) 299-318.
    • (1990) Complex Systems , vol.4 , pp. 299-318
    • Lindgren, K.1    Nordahl, M.G.2
  • 8
    • 2142746675 scopus 로고
    • Busy beaver competition and Collatz-like problems
    • P. Michel, Busy beaver competition and Collatz-like problems, Arch. Math. Logic 32 (1993) 351-367.
    • (1993) Arch. Math. Logic , vol.32 , pp. 351-367
    • Michel, P.1
  • 10
    • 0001102743 scopus 로고
    • Unpredictability and undecidability in dynamical systems
    • C. Moore, Unpredictability and undecidability in dynamical systems, Phys. Rev. Lett. 64 (1990) 2354; Nonlinearity 4 (1991) 199.
    • (1990) Phys. Rev. Lett. , vol.64 , pp. 2354
    • Moore, C.1
  • 11
    • 30244452047 scopus 로고
    • C. Moore, Unpredictability and undecidability in dynamical systems, Phys. Rev. Lett. 64 (1990) 2354; Nonlinearity 4 (1991) 199.
    • (1991) Nonlinearity , vol.4 , pp. 199
  • 14
    • 0004477834 scopus 로고
    • Seven universal Turing machines
    • Yu.V. Rogozhin, Seven universal Turing machines (in Russian), Systems Theoret. Programming, Mat. Issled 69 (1982) 76-90, and Small universal Turing machines (in English), Theoret. Comput. Sci. 168 (1996) 215-240.
    • (1982) Systems Theoret. Programming, Mat. Issled , vol.69 , pp. 76-90
    • Rogozhin, Yu.V.1
  • 15
    • 0030286377 scopus 로고    scopus 로고
    • Small universal Turing machines
    • Yu.V. Rogozhin, Seven universal Turing machines (in Russian), Systems Theoret. Programming, Mat. Issled 69 (1982) 76-90, and Small universal Turing machines (in English), Theoret. Comput. Sci. 168 (1996) 215-240.
    • (1996) Theoret. Comput. Sci. , vol.168 , pp. 215-240
  • 16

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.