RICE THEOREM FOR THE LIMIT-SETS OF CELLULAR-AUTOMATA

被引：65

作者：

KARI, J

机构：

[1] Mathematics Department, University of Turku

来源：

THEORETICAL COMPUTER SCIENCE | 1994年 / 127卷 / 02期

关键词：

Cellular arrays - Function evaluation;

D O I：

10.1016/0304-3975(94)90041-8

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Rice's theorem is a well-known result in the theory of recursive functions, A corresponding theorem for cellular automata limit sets is proved: All nontrivial properties of limit sets of cellular automata (CAs) are shown undecidable. The theorem remains valid even if only one-dimensional CAs are considered.

引用

页码：229 / 254

页数：26

共 50 条

[41] CELLULAR-AUTOMATA MODEL OF THE ACCRETION DISK
RYBKA, RB
CIEPLAK, M
HAENSEL, P
SALIN, D
ASTRONOMY & ASTROPHYSICS, 1995, 298 (02) : 637 - 642
[42] TURBULENT PATTERN BASES FOR CELLULAR-AUTOMATA
CRUTCHFIELD, JP
HANSON, JE
PHYSICA D, 1993, 69 (3-4): : 279 - 301
[43] ASYNCHRONOUS MAPPINGS AND ASYNCHRONOUS CELLULAR-AUTOMATA
CORI, R
METIVIER, Y
ZIELONKA, W
INFORMATION AND COMPUTATION, 1993, 106 (02) : 159 - 202
[44] RANDOM-WALKS IN CELLULAR-AUTOMATA
ELORANTA, K
NONLINEARITY, 1993, 6 (06) : 1025 - 1036
[45] POLYOMINO TILINGS, CELLULAR-AUTOMATA AND CODICITY
AIGRAIN, P
BEAUQUIER, D
THEORETICAL COMPUTER SCIENCE, 1995, 147 (1-2) : 165 - 180
[46] SIMULATION OF DYNAMIC PHENOMENA BY CELLULAR-AUTOMATA
BONFATTI, F
GADDA, G
MONARI, PD
COMPUTERS & GRAPHICS, 1994, 18 (06) : 831 - 836
[47] CHARACTERISTIC REPRESENTATION OF ELEMENTARY CELLULAR-AUTOMATA
KAYAMA, Y
ANADA, H
IMAMURA, Y
PHYSICS LETTERS A, 1995, 198 (01) : 23 - 33
[48] 2 APPLICATIONS OF PERCOLATION TO CELLULAR-AUTOMATA
STEIF, JE
JOURNAL OF STATISTICAL PHYSICS, 1995, 78 (5-6) : 1325 - 1335
[49] EVOLUTION AND EXTINCTION OF FAMILIES IN CELLULAR-AUTOMATA
SZABO, G
BORSOS, I
PHYSICAL REVIEW E, 1994, 49 (06): : 5900 - 5902
[50] THE REACHABILITY PROBLEM FOR FINITE CELLULAR-AUTOMATA
CLEMENTI, A
IMPAGLIAZZO, R
INFORMATION PROCESSING LETTERS, 1995, 53 (01) : 27 - 31

← 1 2 3 4 5 →