String Generation by Cellular Automata

被引:2
作者
Kutrib, Martin [1 ]
Malcher, Andreas [1 ]
机构
[1] Univ Giessen, Inst Informat, Arndtstr 2, D-35392 Giessen, Germany
来源
COMPLEX SYSTEMS | 2021年 / 30卷 / 02期
关键词
cellular automata; pattern generation; real-time computation; speedup; closure properties; decidability problems; REAL-TIME; TRELLIS;
D O I
10.25088/ComplexSystems.30.2.111
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
In contrast to many investigations of cellular automata with regard to their ability to accept inputs under certain time constraints, in this paper we are studying cellular automata with regard to their ability to generate strings in real time. Structural properties such as speedup results and closure properties are investigated. On the one hand, constructions for the closure under intersection, reversal and length-preserving homomorphism are presented, whereas on the other hand the nonclosure under union, complementation and arbitrary homomorphism are obtained. Finally, decidability questions such as emptiness, finiteness, equivalence, inclusion, regularity and context-freeness are addressed.
引用
收藏
页码:111 / 132
页数:22
相关论文
共 16 条
[1]  
BUCHER W, 1984, RAIRO-INF THEOR APPL, V18, P307
[2]  
CHOFFRUT C, 1984, ACTA INFORM, V21, P393, DOI 10.1007/BF00264617
[3]   ONE-WAY BOUNDED CELLULAR AUTOMATA [J].
DYER, CR .
INFORMATION AND CONTROL, 1980, 44 (03) :261-281
[4]   Linear functional classes over cellular automata [J].
Grandjean, Anael ;
Richard, Gaetan ;
Terrier, Veronique .
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (90) :177-193
[5]  
Hartmanis J., 1979, Automata, Languages and Programming, P282
[6]   SOME RESULTS CONCERNING LINEAR ITERATIVE (SYSTOLIC) ARRAYS [J].
IBARRA, OH ;
PALIS, MA ;
KIM, SM .
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1985, 2 (02) :182-218
[7]   SEQUENTIAL MACHINE CHARACTERIZATIONS OF TRELLIS AND CELLULAR AUTOMATA AND APPLICATIONS [J].
IBARRA, OH ;
KIM, SM ;
MORAN, S .
SIAM JOURNAL ON COMPUTING, 1985, 14 (02) :426-447
[8]   Universal pattern generation by cellular automata [J].
Kari, Jarkko .
THEORETICAL COMPUTER SCIENCE, 2012, 429 :180-184
[9]  
Kutrib Martin, 2020, Cellular Automata and Discrete Complex Systems. 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020. Proceedings. Lecture Notes in Computer Science (LNCS 12286), P59, DOI 10.1007/978-3-030-61588-8_5
[10]  
Kutrib M, 2009, ENCY COMPLEXITY SYST, P800, DOI DOI 10.1007/978-0-387-30440-3_54