THE SURJECTIVITY PROBLEM FOR 2D CELLULAR-AUTOMATA

被引：15
|
作者：
DURAND, B
机构：
[1] Laboratoire de l’Informatique du Parallélisme, ENS-Lyon, 69364 Lyon 07
来源：
JOURNAL OF COMPUTER AND SYSTEM SCIENCES | 1994年 / 49卷 / 03期
关键词：
D O I：
10.1016/S0022-0000(05)80077-7
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The surjectivity problem for 2D cellular automata was proved undecidable in 1989 by Jarkko Kari. The proof consists in a reduction of a problem concerning finite tilings into the previous one. This reduction uses a special and very sophisticated tile set. In this article, we present a much more simple tile set which can play the same role. (C) 1994 Academic Press, Inc.
引用
收藏
页码：718 / 725
页数：8
相关论文
共 50 条
  • [21] Evolution of 2D Apoptotic Cellular Automata
    Garner, Jennifer
    Ashlock, Daniel
    2015 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2015, : 2160 - 2167
  • [22] Topological dynamics of 2D cellular automata
    Sablik, Mathieu
    Theyssier, Guillaume
    LOGIC AND THEORY OF ALGORITHMS, 2008, 5028 : 523 - +
  • [23] SENSITIVITY IN CELLULAR-AUTOMATA - SOME EXAMPLES
    FRAME, M
    COMPUTERS & GRAPHICS, 1994, 18 (05) : 733 - 737
  • [24] CELLULAR-AUTOMATA METHOD FOR PHASE UNWRAPPING
    GHIGLIA, DC
    MASTIN, GA
    ROMERO, LA
    JOURNAL OF THE OPTICAL SOCIETY OF AMERICA A-OPTICS IMAGE SCIENCE AND VISION, 1987, 4 (01) : 267 - 280
  • [25] NONLOCAL COMPUTATION IN QUANTUM CELLULAR-AUTOMATA
    FUSSY, S
    GROSSING, G
    SCHWABL, H
    SCRINZI, A
    PHYSICAL REVIEW A, 1993, 48 (05): : 3470 - 3477
  • [26] PATTERN GROWTH IN ELEMENTARY CELLULAR-AUTOMATA
    BRAGA, G
    CATTANEO, G
    FLOCCHINI, P
    VOGLIOTTI, CQ
    THEORETICAL COMPUTER SCIENCE, 1995, 145 (1-2) : 1 - 26
  • [27] CELLULAR-AUTOMATA MODEL OF THE ACCRETION DISK
    RYBKA, RB
    CIEPLAK, M
    HAENSEL, P
    SALIN, D
    ASTRONOMY & ASTROPHYSICS, 1995, 298 (02) : 637 - 642
  • [28] THEORY AND APPLICATIONS OF CELLULAR-AUTOMATA IN CRYPTOGRAPHY
    NANDI, S
    KAR, BK
    CHAUDHURI, PP
    IEEE TRANSACTIONS ON COMPUTERS, 1994, 43 (12) : 1346 - 1357
  • [29] REVERSIBILITY AND SUBJECTIVITY PROBLEMS OF CELLULAR-AUTOMATA
    KARI, J
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1994, 48 (01) : 149 - 182
  • [30] TURBULENT PATTERN BASES FOR CELLULAR-AUTOMATA
    CRUTCHFIELD, JP
    HANSON, JE
    PHYSICA D, 1993, 69 (3-4): : 279 - 301
12345