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 条
  • [31] ASYNCHRONOUS MAPPINGS AND ASYNCHRONOUS CELLULAR-AUTOMATA
    CORI, R
    METIVIER, Y
    ZIELONKA, W
    INFORMATION AND COMPUTATION, 1993, 106 (02) : 159 - 202
  • [32] POLYOMINO TILINGS, CELLULAR-AUTOMATA AND CODICITY
    AIGRAIN, P
    BEAUQUIER, D
    THEORETICAL COMPUTER SCIENCE, 1995, 147 (1-2) : 165 - 180
  • [33] RANDOM-WALKS IN CELLULAR-AUTOMATA
    ELORANTA, K
    NONLINEARITY, 1993, 6 (06) : 1025 - 1036
  • [34] CHARACTERISTIC REPRESENTATION OF ELEMENTARY CELLULAR-AUTOMATA
    KAYAMA, Y
    ANADA, H
    IMAMURA, Y
    PHYSICS LETTERS A, 1995, 198 (01) : 23 - 33
  • [35] EVOLUTION AND EXTINCTION OF FAMILIES IN CELLULAR-AUTOMATA
    SZABO, G
    BORSOS, I
    PHYSICAL REVIEW E, 1994, 49 (06): : 5900 - 5902
  • [36] SIMULATION OF DYNAMIC PHENOMENA BY CELLULAR-AUTOMATA
    BONFATTI, F
    GADDA, G
    MONARI, PD
    COMPUTERS & GRAPHICS, 1994, 18 (06) : 831 - 836
  • [37] ADDITIVE CELLULAR-AUTOMATA AND ALGEBRAIC SERIES
    LITOW, B
    DUMAS, P
    THEORETICAL COMPUTER SCIENCE, 1993, 119 (02) : 345 - 354
  • [38] A CELLULAR-AUTOMATA MODEL OF THE HYDROPHOBIC EFFECT
    KIER, LB
    CHENG, CK
    TESTA, B
    CARRUPT, PA
    PHARMACEUTICAL RESEARCH, 1995, 12 (04) : 615 - 620
  • [39] INTERFACIAL PHENOMENA IN BOLTZMANN CELLULAR-AUTOMATA
    DORTONA, U
    SALIN, D
    CIEPLAK, M
    BANAVAR, JR
    EUROPHYSICS LETTERS, 1994, 28 (05): : 317 - 322
  • [40] MODELING STOCK MARKETS BY PROBABILISTIC 1-D CELLULAR-AUTOMATA
    WAN, HA
    INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1994, 53 (3-4) : 167 - 176
12345