Abstract
We propose a new system of generating array languages in parallel, based on a partitioned cellular automaton (PCA), a kind of cellular automaton. This system is called a PCA array generator (PCAAG). The characteristic of PCAAG is that a “reversible” version is easily defined. A reversible PCA (RPCA) is a backward deterministic PCA, and we can construct a deterministic “inverse” PCA that undoes the operations of the RPCA. Thus if an array language is generated by an RPCA, it can be parsed in parallel by a deterministic inverse PCA without backtracking. We also define two subclasses of PCAAG, and give examples of them that generate geometrical figures.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Cook, C.R., and Wang, P.S.P., “A Chomsky hierarchy of isotonic array grammars and languages,” Computer Graphics and Image Processing, 8, 144–152 (1978).
Milgram, D.L., and Rosenfeld, A., “Array automata and array grammars,” Information Processing 71, 69–74 (1972).
Morita, K., Yamamoto, Y., and Sugata, K., “The complexity of some decision problems about two-dimensional array grammars,” Information Sciences, 30, 241–262 (1983).
Morita, K., and Harao, M., “Computation universality of one-dimensional reversible (injective) cellular automata,” Trans. IEICE, E-72, 758–762 (1989).
Morita, K., and Ueno, S., “Computation-universal models of two-dimensional 16-state reversible cellular automata,” IEICE Trans. Inf. & Syst., E75-D, 141–147 (1992).
Morita, K., “Computation-universality of one-dimensional one-way reversible cellular automata,” Information Processing Letters, 42, 325–329 (1992).
Nivat, M., Saoudi, A., and Dare, V.R., “Parallel generation of finite images,” Int. J. Pattern Recognition and Artificial Intelligence, 3, 279–294 (1989).
Rosenfeld, A., Picture Languages, Academic Press, New York (1979).
Rosenfeld, A., “Coordinate grammars revisited: generalized isometric grammars,” Int. J. Pattern Recognition and Artificial Intelligence, 3, 435–444 (1989).
Saoudi, A., Rangarajan, K., and Dare, V.R., “Finite images generated by GL-systems,” Int. J. Pattern Recognition and Artificial Intelligence, 3, 459–467 (1989).
Siromoney, G., Siromoney, R., and Krithivasan, K., “Abstract families of picture languages,” Computer Graphics and Image Processing, 1, 284–307 (1972).
Siromoney, G., Siromoney, R., and Krithivasan, K., “Picture languages with array rewriting rules,” Information and Control, 22, 447–470 (1973).
Wang, P.S.P., “Hierarchical structures and complexities of parallel isotonic array languages,” IEEE Trans., PAMI-5, 92–99 (1983).
Yamamoto, Y., Morita, K., and Sugata, K., “Context-sensitivity of two-dimensional regular array grammars,” Int. J. Pattern Recognition and Artificial Intelligence, 3, 295–319 (1989).
Yamamoto, Y., and Morita, K., “Two-dimensional uniquely parsable isometric array grammars,” Proc. Int. Colloq. Parallel Image Processing, Paris, 271–287 (1991).
Yamamoto, Y., and Morita, K., “Isometric array grammars which are equivalent to two-dimensional deterministic tape acceptors (in Japanese),” Research Report of Institute of Mathematical Analysis, Kyoto University, No.754, 115–124 (1991).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Morita, K., Ueno, S. (1992). Parallel generation and parsing of array languages using reversible cellular automata. In: Nakamura, A., Nivat, M., Saoudi, A., Wang, P.S.P., Inoue, K. (eds) Parallel Image Analysis. ICPIA 1992. Lecture Notes in Computer Science, vol 654. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56346-6_40
Download citation
DOI: https://doi.org/10.1007/3-540-56346-6_40
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56346-4
Online ISBN: 978-3-540-47538-5
eBook Packages: Springer Book Archive