Number-conserving cellular automata I:: decidability

被引：59
|
作者：
Durand, B
Formenti, E
Róka, Z
机构：
[1] Lab Informat Fondamentale Marseille, F-13453 Marseille 13, France
[2] IUT Metz, LITA, F-57045 Metz, France
来源：
THEORETICAL COMPUTER SCIENCE | 2003年 / 299卷 / 1-3期
关键词：
cellular automata; decidability;
D O I：
10.1016/S0304-3975(02)00534-0
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We prove that definitions of number-conserving cellular automata found in literature are equivalent. A necessary and sufficient condition for cellular automata to be number-conserving is proved. Using this condition, we give a quasi-linear time algorithm to decide number-conservation. (C) 2002 Elsevier Science B.V. All rights reserved.
引用
收藏
页码：523 / 535
页数：13
相关论文
共 50 条
  • [1] Universality and decidability of number-conserving cellular automata
    Moreira, A
    THEORETICAL COMPUTER SCIENCE, 2003, 292 (03) : 711 - 721
  • [2] Eventually number-conserving cellular automata
    Boccara, Nino
    INTERNATIONAL JOURNAL OF MODERN PHYSICS C, 2007, 18 (01): : 35 - 42
  • [3] Ternary reversible number-conserving cellular automata are trivial
    Wolnik, Barbara
    De Baets, Bernard
    INFORMATION SCIENCES, 2020, 513 : 180 - 189
  • [4] Communication complexity in number-conserving and monotone cellular automata
    Goles, E.
    Moreira, A.
    Rapaport, I.
    THEORETICAL COMPUTER SCIENCE, 2011, 412 (29) : 3616 - 3628
  • [5] Solutions for certain number-conserving deterministic cellular automata
    Kujala, JV
    Lukka, TJ
    PHYSICAL REVIEW E, 2002, 65 (02):
  • [6] Fluctuation-driven computing on number-conserving cellular automata
    Lee, Jia
    Imai, Katsunobu
    Zhu, Qing-sheng
    INFORMATION SCIENCES, 2012, 187 : 266 - 276
  • [7] Firing squad synchronization problem in number-conserving cellular automata
    Imai, K
    Morita, K
    Sako, K
    FUNDAMENTA INFORMATICAE, 2002, 52 (1-3) : 133 - 141
  • [8] A split-and-perturb decomposition of number-conserving cellular automata
    Wolnik, Barbara
    Nenca, Anna
    Baetens, Jan M.
    De Baets, Bernard
    PHYSICA D-NONLINEAR PHENOMENA, 2020, 413 (413)
  • [9] On Universality of Radius 1/2 Number-Conserving Cellular Automata
    Imai, Katsunobu
    Alhazov, Artiom
    UNCONVENTIONAL COMPUTATION, PROCEEDINGS, 2010, 6079 : 45 - 55
  • [10] Non-uniform number-conserving elementary cellular automata
    Wolnik, Barbara
    Dziemianczuk, Maciej
    De Baets, Bernard
    INFORMATION SCIENCES, 2023, 626 : 851 - 866
12345