On algebraic cellular automata

被引:4
|
作者
Ceccherini-Silberstein, Tullio [1 ]
Coornaert, Michel [2 ,3 ]
机构
[1] Univ Sannio, Dipartimento Ingn, I-82100 Benevento, Italy
[2] Univ Strasbourg, Inst Rech Math Avancee, UMR 7501, F-67000 Strasbourg, France
[3] CNRS, F-67000 Strasbourg, France
关键词
INJECTIVE ENDOMORPHISMS; FINITE-FIELDS; VARIETIES;
D O I
10.1112/jlms/jdr016
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We investigate some general properties of algebraic cellular automata, that is, cellular automata over groups whose alphabets are affine algebraic sets and which are locally defined by regular maps. When the ground field is assumed to be uncountable and algebraically closed, we prove that such cellular automata always have a closed image with respect to the prodiscrete topology on the space of configurations and that they are reversible as soon as they are bijective.
引用
收藏
页码:541 / 558
页数:18
相关论文
共 50 条
  • [31] An Algebraic Structure for Duration Automata`
    Bui Vu Anh
    Phan Trung Huy
    COMPUTATIONAL COLLECTIVE INTELLIGENCE - TECHNOLOGIES AND APPLICATIONS, PT II, 2012, 7654 : 413 - 422
  • [32] Algebraic results on quantum automata
    Ambainis, A
    Beaudry, M
    Golovkins, M
    Kikusts, A
    Mercer, M
    Thérien, D
    STACS 2004, PROCEEDINGS, 2004, 2996 : 93 - 104
  • [33] Algebraic Results on Quantum Automata
    Andris Ambainis
    Martin Beaudry
    Marats Golovkins
    Arnolds Kikusts
    Mark Mercer
    Denis Therien
    Theory of Computing Systems, 2006, 39 : 165 - 188
  • [34] The Algebraic Theory of Parikh Automata
    Michaël Cadilhac
    Andreas Krebs
    Pierre McKenzie
    Theory of Computing Systems, 2018, 62 : 1241 - 1268
  • [35] Automata Learning: An Algebraic Approach
    Urbat, Henning
    Schroder, Lutz
    PROCEEDINGS OF THE 35TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2020), 2020, : 900 - 914
  • [36] ON ALGEBRAIC THEORY OF FINITE AUTOMATA
    DEUSSEN, P
    ICC BULLETIN, 1965, 4 (04): : 231 - &
  • [37] Algebraic results on quantum automata
    Ambainis, A
    Beaudry, M
    Golovkins, M
    Kikusts, A
    Mercer, M
    Thérien, D
    THEORY OF COMPUTING SYSTEMS, 2006, 39 (01) : 165 - 188
  • [38] THE ALGEBRAIC FEEDBACK PRODUCT OF AUTOMATA
    YODAIKEN, V
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 531 : 263 - 271
  • [39] An algebraic theory of interface automata
    Chilton, Chris
    Jonsson, Bengt
    Kwiatkowska, Marta
    THEORETICAL COMPUTER SCIENCE, 2014, 549 : 146 - 174
  • [40] Algebraic Systems and Pushdown Automata
    Kuich, Werner
    ALGEBRAIC FOUNDATIONS IN COMPUTER SCIENCE: ESSAYS DEDICATED TO SYMEON BOZAPALIDIS ON THE OCCASION OF HIS RETIREMENT, 2011, 7020 : 228 - 256