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 条
  • [21] Three-dimensional Rotation-symmetric Number-conserving Cellular Automata
    Wolnik, Barbara
    Mrozek, Nikodem
    Dzedzej, Adam
    De Baets, Bernard
    JOURNAL OF CELLULAR AUTOMATA, 2020, 15 (04) : 243 - 259
  • [22] Two-dimensional rotation-symmetric number-conserving cellular automata
    Dzedzej, Adam
    Wolnik, Barbara
    Nenca, Anna
    Baetens, Jan M.
    De Baets, Bernard
    INFORMATION SCIENCES, 2021, 577 : 599 - 621
  • [23] An exploration of reversible septenary number-conserving cellular automata: a survey of known methods
    Barbara Wolnik
    Adam Dzedzej
    Maciej Dziemiańczuk
    Aleksander Wardyn
    Bernard De Baets
    Natural Computing, 2023, 22 : 463 - 475
  • [24] An exploration of reversible septenary number-conserving cellular automata: a survey of known methods
    Wolnik, Barbara
    Dzedzej, Adam
    Dziemianczuk, Maciej
    Wardyn, Aleksander
    De Baets, Bernard
    NATURAL COMPUTING, 2023, 22 (03) : 463 - 475
  • [25] A decomposition theorem for number-conserving multi-state cellular automata on triangular grids
    Wolnik, Barbara
    Nenca, Anna
    De Baets, Bernard
    THEORETICAL COMPUTER SCIENCE, 2023, 953
  • [26] Number-Conserving Cellular Automata and Communication Complexity: A Numerical Exploration Beyond Elementary CAs
    Goles, Eric
    Moreira, Andres
    JOURNAL OF CELLULAR AUTOMATA, 2012, 7 (02) : 151 - 165
  • [27] Derivation and Representation of One-Dimensional, Reversible, Number-Conserving Cellular Automata Rules
    Schranko, Angelo
    de Oliveira, Pedro P. B.
    JOURNAL OF CELLULAR AUTOMATA, 2011, 6 (01) : 77 - 89
  • [28] Embedding a logically universal model and a self-reproducing model into number-conserving cellular automata
    Imai, K
    Fujita, K
    Iwamoto, C
    Morita, K
    UNCONVENTIONAL MODELS IN COMPUTATION, PROCEEDINGS, 2002, 2509 : 164 - 175
  • [29] Non-uniform number-conserving elementary cellular automata on the infinite grid: A tale of the unexpected
    Wolnik, Barbara
    Dziemianczuk, Maciej
    De Baets, Bernard
    INFORMATION SCIENCES, 2023, 649
  • [30] Efficient enumeration of three-state two-dimensional number-conserving cellular automata
    Dzedzej, Adam
    Wolnik, Barbara
    Nenca, Anna
    Baetens, Jan M.
    De Baets, Bernard
    INFORMATION AND COMPUTATION, 2020, 274
12345