Abstract
We consider formal sequences of d-dimensional vectors and symbols representing d-dimensional arrays and introduce the operations of catenation as well as iterated catenation of these formal sequences (d-dimensional formal arrays). Together with the usual set union, these operations allow us to define d-dimensional regular array expressions and thus to develop an algebraic representation of regular array languages generated by specific d-dimensional array grammars. In that way, specific infinite regular array languages allow for a finite representation as regular array expressions. Whereas, in general, it is undecidable whether the array language generated by a given regular array grammar is empty, finite or infinite, for these specific regular array grammars, these questions are decidable.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
C. R. Cook, P. S.-P. Wang, A Chomsky hierarchy of isotonic array grammars and languages, Computer Graphics and Image Processing, 8 (1978), 144–152.
E. Csuhaj-Varjú, R. Freund, V. Mitrana, Arrays on Cayley Grids, TUCS Report, 1998.
H. Fernau, R. Freund, M. Holzer, The generative power of d-dimensional #-context-free array grammars, Proceedings MCU’98, Vol. II (M. Margenstern, ed.), Metz, 1998, 43–56.
R. Freund, Gh. Păun, One-dimensional matrix array grammars, J. Inform. Process. Cybernet., EIK, 29, 6 (1993), 1–18.
R. Freund, Control mechanisms on #-context-free array grammars, in Mathematical Aspects of Natural and Formal Languages (Gh. Păun, ed.), World Scientific Publ., Singapore, 1994, 97–136.
C. Kim, I. H. Sudborough, The membership and equivalence problems for picture languages, Theoretical Computer Science, 52 (1987), 177–191.
W. Kuich, A. Salomaa, Semirings, Automata, Languages, Springer-Verlag, Berlin, 1986.
K. Morita, Y. Yamamoto, K. Sugata, The complexity of some decision problems about two-dimensional array grammars, Information Sciences, 30 (1983), 241–262.
A. Rosenfeld, Picture Languages, Academic Press, Reading, MA, 1979.
A. Salomaa, Formal Languages, Academic Press, Reading, MA, 1973.
I. H. Sudborough, E. Welzl, Complexity and decidability for chain code picture languages, Theoretical Computer Science, 36 (1985), 173–202.
P. S.-P. Wang, Some new results on isotonic array grammars, Information Processing Letters, 10 (1980), 129–131.
Y. Yamamoto, K. Morita, K. Sugata, Context-sensitivity of two-dimensional regular array grammars, in Array Grammars, Patterns and Recognizers (P. S.-P. Wang, ed.), WSP Series in Computer Science, Vol. 18, World Scientific Publ., Singapore, 1989, 17–41.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag London Limited
About this chapter
Cite this chapter
Freund, R., Mateescu, A., Salomaa, A. (2000). Algebraic Representations of Regular Array Languages. In: Finite Versus Infinite. Discrete Mathematics and Theoretical Computer Science. Springer, London. https://doi.org/10.1007/978-1-4471-0751-4_9
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0751-4_9
Publisher Name: Springer, London
Print ISBN: 978-1-85233-251-8
Online ISBN: 978-1-4471-0751-4
eBook Packages: Springer Book Archive