Abstract
While highly recursive infinite treesT do generally contain no recursive infinite path, they do so if sufficiently many cross connections between nodes ofT are recursively given. Applying this technique to 1-dimensional cell spaces, recursive configurations (given by a finite description) which are not Garden-of-Eden, always possess a recursive predecessor. This is in contrast to a known result on 2-dimensional spaces.
Similar content being viewed by others
References
S. Amoroso, G. Cooper, The Garden-of-Eden theorem for finite configurations,Proc. Amer. Math. Soc. 26, 158–164 (1970).
S. Amoroso, G. Cooper, Y. Patt, Some clarifications of the concept of a Garden-of-Eden configuration,J. Comput. System Sci. 10, 77–82 (1975).
S. Amoroso, Y. Patt, Decision procedure for surjectivity and injectivity of parallel maps for tessellation structures,J. Comput. System Sci. 6, 448–464 (1972).
A. W. Burks, On backwards-deterministic, erasable, and Garden-of-Eden automata, Tech. Rept. 012520–4-T, Dept. Comput. Comm. Sci., Univ. of Michigan.
U. Golze, Differences between 1- and 2-dimensional cell spaces,in “Automata, Languages, Development” (A. Lindenmayer, G. Rozenberg, Ed.), 369–384, North-Holland, Amsterdam, 1976.
U. Golze, Backward computers for cell spaces,Progress in Cybernetics and Systems Research 3 (1977).
E. F. Moore, Machine models of self-reproduction,in “Essays on Cellular Automata” (A. W. Burks, Ed.), 187–203, Univ. Illinois Press, Urbana, Illinois, 1970.
J. Myhill, The converse of Moore's Garden-of-Eden theorem,in “Essays on Cellular Automata” (A. W. Burks, Ed.), 204–205, Univ. Illinois Press, Urbana, Illinois, 1970.
S. Skyum, Confusion in the Garden of Eden,Proc. Amer. Math. Soc. 50, 332–336 (1975).
A. R. Smith, Introduction to and survey of polyautomata theory,in “Automata, Languages, Development” (A. Lindenmayer, G. Rozenberg, Ed.), 405–424, North-Holland, Amsterdam, 1976.
T. Yaku, The constructibility of a construction in a cellular automaton,J. Comput. System Sci. 7, 481–496 (1973).
T. Yaku, Surjectivity of nondeterministic parallel maps induced by nondeterministic cellular automata,J. Comput. System Sci. 12, 1–5 (1976).
H. Yamada, S. Amoroso, Tessellation automata,Information and Control 14, 299–317 (1969).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Carstens, H.G., Golze, U. Recursive paths in cross-connected trees and an application to cell spaces. Math. Systems Theory 15, 29–37 (1981). https://doi.org/10.1007/BF01786971
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01786971