메뉴 건너뛰기




Volumn 325, Issue 2 SPEC. ISS., 2004, Pages 317-328

The complexity of reversible cellular automata

Author keywords

Cellular automata; Intermediate degrees

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; COMPUTER SIMULATION; PROBLEM SOLVING; RECURSIVE FUNCTIONS; THEOREM PROVING;

EID: 4444291845     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2004.06.011     Document Type: Article
Times cited : (13)

References (17)
  • 1
    • 0015680909 scopus 로고
    • Logical reversibility of computation
    • C.H. Bennett, Logical reversibility of computation, IBM J. Res. Develop. (1973) 525-532.
    • (1973) IBM J. Res. Develop. , pp. 525-532
    • Bennett, C.H.1
  • 2
    • 0010146684 scopus 로고
    • The thermodynamics of computation - A review
    • Bennett C.H. The thermodynamics of computation - a review. Internat. J. Theoret. Phys. 21(12):1982;905-940.
    • (1982) Internat. J. Theoret. Phys. , vol.21 , Issue.12 , pp. 905-940
    • Bennett, C.H.1
  • 3
    • 0024714327 scopus 로고
    • Time/space trade-offs for reversible computation
    • C.H. Bennett, Time/space trade-offs for reversible computation, SIAM J. Comput. (1989) 766-776.
    • (1989) SIAM J. Comput. , pp. 766-776
    • Bennett, C.H.1
  • 4
    • 0010143929 scopus 로고
    • A note on universal Turing machines
    • C.E. Shannon, & J. McCarthy. Princeton, NJ: Princeton University Press
    • Davis M. A note on universal Turing machines. Shannon C.E., McCarthy J. Automata Studies. 1956;167-175 Princeton University Press, Princeton, NJ.
    • (1956) Automata Studies , pp. 167-175
    • Davis, M.1
  • 5
    • 0000192783 scopus 로고
    • nu, où θ est un "isomorphisme de codes"
    • nu, où θ est un "isomorphisme de codes" C. R. Acad. Sci. Paris. 257:1963;2597-2600.
    • (1963) C. R. Acad. Sci. Paris , vol.257 , pp. 2597-2600
    • Lecerf, Y.1
  • 7
    • 0026896987 scopus 로고
    • Computation universality of one-dimensional reversible cellular automata
    • Morita K. Computation universality of one-dimensional reversible cellular automata. Inform. Process. Lett. 42:1992;325-329.
    • (1992) Inform. Process. Lett. , vol.42 , pp. 325-329
    • Morita, K.1
  • 9
    • 0000500219 scopus 로고
    • Computation universality of 1 dimensional reversible (injective) cellular automata
    • Morita K., Harao M. Computation universality of 1 dimensional reversible (injective) cellular automata. Trans. Inst. Electron. Inform. Comm. Eng. E. 72:1989;758-762.
    • (1989) Trans. Inst. Electron. Inform. Comm. Eng. E , vol.72 , pp. 758-762
    • Morita, K.1    Harao, M.2
  • 11
    • 0003234193 scopus 로고
    • Recursively enumerable sets and degrees
    • Berlin: Springer
    • Soare R.I. Recursively enumerable sets and degrees, Perspectives in Mathematical Logic. 1987;Springer, Berlin.
    • (1987) Perspectives in Mathematical Logic
    • Soare, R.I.1
  • 12
    • 0001514019 scopus 로고
    • A note on Culik-Yu classes
    • Sutner K. A note on Culik-Yu classes. Complex Systems. 3(1):1989;107-115.
    • (1989) Complex Systems , vol.3 , Issue.1 , pp. 107-115
    • Sutner, K.1
  • 13
    • 0002595091 scopus 로고
    • Classifying circular cellular automata
    • Sutner K. Classifying circular cellular automata. Physica D. 45(1-3):1990;386-395.
    • (1990) Physica D , vol.45 , Issue.1-3 , pp. 386-395
    • Sutner, K.1
  • 14
    • 0037426284 scopus 로고    scopus 로고
    • Cellular automata and intermediate degrees
    • Sutner K. Cellular automata and intermediate degrees. Theoret. Comput. Sci. 296:2003;365-375.
    • (2003) Theoret. Comput. Sci. , vol.296 , pp. 365-375
    • Sutner, K.1
  • 15
    • 2142808237 scopus 로고    scopus 로고
    • Almost periodic configurations on linear cellular automata
    • Sutner K. Almost periodic configurations on linear cellular automata. Fund. Inform. 58:2003;223-240.
    • (2003) Fund. Inform. , vol.58 , pp. 223-240
    • Sutner, K.1
  • 16
    • 0001566941 scopus 로고
    • Invertible cellular automata: A review
    • Toffoli T., Margolus N. Invertible cellular automata. a review Physica D. 45:1990;229-253.
    • (1990) Physica D , vol.45 , pp. 229-253
    • Toffoli, T.1    Margolus, N.2


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