Abstract
A property of superposability is defined here for Treillis Automata as an equivalent of the linearity property of Cellular Automata. We take advantage of the binary local transition function of TAs, which enables us to use an infix notation for it, to study this property in an algebraic framework. We show that a TA is superposable iff its local transition function operates on its set of states as a commutative monoid law and that the general case of commutative monoids is reducible to the case of Abelian groups in which the space-time diagrams obtained are isomorphic to a superposition of figures representing the triangle of binomial coefficients (Pascal's triangle) modulo integers.
Preview
Unable to display preview. Download preview PDF.
References
O. Martin, A.M. Odlyzko and S. Wolfram, “Algebraic properties of Cellular Automata”, Communications in Math. Physics 93(1984) 219–25.
S. Wolfram, “The Geometry of binomial coefficients”, American Mathematical Monthly (1984)566-571.
E. Jen, “Linear Cellular Automata and recurring sequences in finite fields”, Comm. in Math Physics 119(1988)13–28.
E. Jen, “Apperiodicity in one dimensional Cellular Automata”, Physica D 45(1990)3–18.
K. Culik and S. Dube, “Fractal and recurrent behaviour of Cellular Automata”, Complex Systems 3(1989) 253–267.
K. Culik II and C. Choffrut, “On real-time Cellular Automata and Treillis Automata”, Acta. Inf. 21(1984) 393–407.
K. Culik II, J. Gruska and A. Salomaa, “Systolic Treillis Automata (for VLSI)”, Res. rep. CS-81-34, Dept of Computer Science, Univ. of Waterloo, 1981.
B. Voorhees, “Cellular Automata and Pascal's Triangle”, Physica D 45 (1990) 135–140.
O.H. Ibarra, S.M. Kim and S. Moran, “Sequential machines charracterizations of Treillis Automata and applications”, SIAM J. Comput. 14-2(1985) 426–447.
O.H. Ibarra, J.H. Chang and A. Vergis, “On the power of one-way communication”, J. ACM 35-3(1988) 697–726.
C.T. Long, “Pascal's triangle modulo p”, Fibbonacci Quarterly 19(1981) 458–463.
H. Aso and N. Honda, “Dynamical Characteristics of Linear Cellular Automata”, JCSS 30(1985) 291–317.
M. Garzon, Cellular Automata, To be published
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Reimen, N. (1992). Superposable Trellis Automata. In: Havel, I.M., Koubek, V. (eds) Mathematical Foundations of Computer Science 1992. MFCS 1992. Lecture Notes in Computer Science, vol 629. Springer, Berlin, Heidelberg . https://doi.org/10.1007/3-540-55808-X_46
Download citation
DOI: https://doi.org/10.1007/3-540-55808-X_46
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55808-8
Online ISBN: 978-3-540-47291-9
eBook Packages: Springer Book Archive