Abstract
In this paper, we investigate some combinatorial aspects ofC-surjective local maps, i.e., local maps inducing surjective global maps,C F -surjective local maps, i.e., local maps inducing surjective restrictions of global maps on the setC F of finite configurations, andC-injective local maps, i.e., local maps inducing injective local maps, of one-dimensional tessellation automata.
We introduce a pair of right and left bundle-graphs and a pair of right and leftλ-bundle-graphs for everyC-surjective local map. We give characterizations forC F -surjectivity,C-injectivity and some other properties ofC-surjective local maps in relation to these bundle-graphs. We also establish some properties of the inverse of aC-injective local map.
Similar content being viewed by others
References
S. Amoroso andG. Cooper, The Garden of Eden theorem for finite configurations,Proc. Amer. Math. Soc. 26 (1970), 158–164.
S. Amoroso andY. N. Patt, Decision procedure for surjectivity and injectivity of parallel maps for tessellation structures,J. Comput. System Sci. 6 (1972), 448–464.
C. Berge,Graphs and Hypergraphs, North-Holland Publishing Company, Amsterdam, 1973.
N. G. Debruijn, A combinatorial problem, Nederl. akad. Wetensch.Proc. 49, 758–764;Indaqutions Math. 8 (1946), 461–467.
M. Hall,Combinatorial Theory, Blaisdell Publishing Company, Waltham, Mass., 1967.
M. A. Harrison,Introduction to Switching and Automata Theory, McGraw-Hill Book Company, New York, 1965.
F. Harary,Graph Theory, Addison-Wesley, Reading, Mass., 1969.
G. A. Hedlund, Endomorphisms and automorphisms of the Shift dynamical system,Math. Systems Theory 3 (1969), 320–375.
Y. Kobuchi andH. Nishio, Some regular state sets in the system of one dimensional iterative automata,Inf. Sci. 5 (1973), 199–216.
A. Maruoka andM. Kimura, Condition for injectivity of global maps for tessellation automata,Inform. Control 32 (1976), 158–162.
E. F. Moore, Machine models of self reproduction,Proc. Symp. Apple. Math. 14 (1962), 17–33.
J. Myhill, A converse to Moore's Garden of Eden theorem,Proc. Amer. Math. 14 (1963), 685–686.
M. Nasu, Σ∞-surjective local maps and Σ∞-injective local maps of tessellation automata,Proc. International Symposium on Uniformly Structured Automata and Logic, Tokyo (1975), 43–52.
M. Nasu, Uniformly finite-to-one and onto extensions of homomorphisms between strongly connected graphs, in preparation.
M. Nasu andN. Honda, A completeness property of one-dimensional tessellation automata,J. Comput. System Sci. 12 (1976), 36–48.
Y. N. Patt, Injections of neighborhood size three and four on the set of configurations from the infinite one-dimensional tessellation automata of two state cells, Technical Report, 1972.
M. Perles, M. O. Rabin andE. Shamir, The theory of definite automata,IEEE Trans. Electr. Comp. EC-12 (1963), 233–243.
D. Richardson, Tessellation with local transformations,J. Comput. System Sci. 6 (1972), 373–388.
T. Sato andN. Honda, Period preservability and Poisson stability of parallel maps of tessellation automata,J. Comput. System Sci.,15 (1977), 121–145.
T. Yaku, Surjectivity of parallel map for cellur automaton of arbitrary dimension,J. Comput. System Sci. 8 (1974).
Author information
Authors and Affiliations
Additional information
A preliminary version of a part of this paper was presented at International Symposium on Uniformly Structured Automata and Logic, Tokyo 1975 [13].
Rights and permissions
About this article
Cite this article
Nasu, M. Local maps inducing surjective global maps of one-dimensional tessellation automata. Math. Systems Theory 11, 327–351 (1977). https://doi.org/10.1007/BF01768485
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01768485