Comparing 1D and 2D Real Time on Cellular Automata

被引:0
作者
Grandjean, Anael [1 ]
Poupet, Victor [1 ]
机构
[1] Univ Montpellier 2, LIRMM, 161 Rue Ada, F-34392 Montpellier, France
来源
32ND INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2015) | 2015年 / 30卷
关键词
Cellular automata; real time; language recognition; COMPUTATION; ARRAYS;
D O I
10.4230/LIPIcs.STACS.2015.367
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
We study the influence of the dimension of cellular automata (CA) for real time language recognition of one-dimensional languages with parallel input. Specifically, we focus on the question of determining whether every language that can be recognized in real time on a 2-dimensional CA working on the Moore neighborhood can also be recognized in real time by a 1-dimensional CA working on the standard two-way neighborhood. We show that 2-dimensional CA in real time can perform a linear number of simulations of a 1-dimensional real time CA. If the two classes are equal then the number of simulated instances can be polynomial.
引用
收藏
页码:367 / 378
页数:12
相关论文
共 7 条
[1]   REAL-TIME COMPUTATION BY N-DIMENSIONAL ITERATIVE ARRAYS OF FINITE-STATE MACHINES [J].
COLE, SN .
IEEE TRANSACTIONS ON COMPUTERS, 1969, C 18 (04) :349-&
[2]  
Delorme Marianne, 2000, TECHNICAL REPORT
[3]   RELATING THE POWER OF CELLULAR ARRAYS TO THEIR CLOSURE-PROPERTIES [J].
IBARRA, OH ;
JIANG, T .
THEORETICAL COMPUTER SCIENCE, 1988, 57 (2-3) :225-238
[4]   A LINEAR SPEED-UP THEOREM FOR CELLULAR AUTOMATA [J].
MAZOYER, J ;
REIMEN, N .
THEORETICAL COMPUTER SCIENCE, 1992, 101 (01) :59-98
[5]   SIMPLE COMPUTATION-UNIVERSAL CELLULAR SPACES [J].
SMITH, AR .
JOURNAL OF THE ACM, 1971, 18 (03) :339-&
[6]   Low complexity classes of multidimensional cellular automata [J].
Terrier, Veronique .
THEORETICAL COMPUTER SCIENCE, 2006, 369 (1-3) :142-156
[7]  
Von Neumann J., 1966, THEORY SELF REPRODUC