Abstract
Insertion systems are extended to two-dimensional models that are used to generate picture languages. Insertion rules are defined in terms of rows and columns. Using picture-insertion rules, we herein introduce two types of derivations that depend on the position at which the rules are applied. We obtain the relationships between the classes of languages generated by picture-insertion systems for each type of derivation and a number of two-dimensional computing models, such as tiling systems. Furthermore, we introduce regular control for the derivations in picture-insertion systems. Finally, we compare the classes of languages generated by picture-insertion systems with and without regular control.
Keywords
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
Cherubini, A., Crespi-Reghizzi, S., Pradella, M., Pietro, P.S.: Picture languages: Tiling systems versus tile rewriting grammars. Theoretical Computer Science 356(1-2), 90–103 (2006)
Easwarakumar, K.S., Murugan, A.: Possibilities of constructing two dimensional pictures in DNA computing: Part I. Int. J. Comput. Math. 82(11), 1307–1321 (2005)
Fujioka, K.: Morphic characterizations of languages in Chomsky hierarchy with insertion and locality. Inf. Comput. 209(3), 397–408 (2011)
Fujioka, K.: Morphic characterizations with insertion systems controlled by a context of length one. Theoretical Computer Science 469, 69–76 (2013)
Inoue, K., Nakamura, A.: Some properties of two-dimensional on-line tessellation acceptors. Information Science 13(2), 95–121 (1977)
Ma, X., Lombardi, F.: Synthesis of tile sets for DNA self-assembly. IEEE Trans. on CAD of Integrated Circuits and Systems 27(5), 963–967 (2008)
Maurer, H.A., Salomaa, A., Wood, D.: Pure grammars. Information and Control 44(1), 47–72 (1980)
Murugan, A., Easwarakumar, K.S.: Possibilities of constructing two dimensional pictures in DNA computing: Part II. Int. J. Comput. Math. 83(1), 1–20 (2006)
Pradella, M., Cherubini, A., Reghizzi, S.C.: A unifying approach to picture grammars. Information and Computation 209(9), 1246–1267 (2011)
Păun, G., Rozenberg, G., Salomaa, A.: DNA Computing. New Computing Paradigms. Springer (1998)
Rozenberg, G., Salomaa, A. (eds.): Handbook of formal languages. Springer-Verlag New York, Inc., New York (1997)
Subramanian, K.G., Ali, R.M., Geethalakshmi, M., Nagar, A.K.: Pure 2D picture grammars and languages. Discrete Appl. Math. 157(16), 3401–3411 (2009)
Winfree, E., Liu, F., Wenzler, L., Seeman, N.: Design and Self-assembly of Two-dimensional DNA Crystals. Nature 394, 539–544 (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Fujioka, K. (2014). A Two-Dimensional Extension of Insertion Systems. In: Dediu, AH., Lozano, M., Martín-Vide, C. (eds) Theory and Practice of Natural Computing. TPNC 2014. Lecture Notes in Computer Science, vol 8890. Springer, Cham. https://doi.org/10.1007/978-3-319-13749-0_16
Download citation
DOI: https://doi.org/10.1007/978-3-319-13749-0_16
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-13748-3
Online ISBN: 978-3-319-13749-0
eBook Packages: Computer ScienceComputer Science (R0)