Abstract
In formal language theory, the Siromoney matrix grammars generate matrix languages. They are two dimensional languages which are \(m \times n\) arrays of terminals. In string languages, the ability of a regular language to dissect an infinite language into two partitions of infinite size has already been studied under the dissecting power of regular languages. In this paper we extend this special dissecting capacity of certain classes of string languages to matrix languages. The results demonstrate the matrix dissectibility of certain classes of matrix languages like infinite recursive matrix languages, constantly growing matrix languages (CGML), languages that are not CGML immune and CF:CF Siromoney matrix languages. In this paper the objectives of the study, extension methodology and results are discussed in detail.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Hopcroft, J., Motwani, R., Ullman, J.: Introduction to Automata Theory. Languages and Computation, 3rd edn. Addison-Wesley, Boston (2006)
Krithivasan, K., Siromoney, R.: Characterizations of regular and context free matrices. Int. J. Comput. Math. 4(1–4), 229–445 (1974)
Parikh, R.: On context free languages. J. ACM. B. 13(4), 570–581 (1961)
Radhakrishnan, V., Chakravarthy, V., Krithivasan, K.: Pattern matching in matrix grammars. J. Autom. Lang. Comb. 3(1), 59–76 (1998)
Salomaa, A.: Formal Languages. Academic Press, New York (1973)
Siromoney, G., Siromoney, R., Krithivasan, K.: Abstract family of matrices and picture language. Comput. Graph. Image Process. 1, 284–307 (1972)
Siromoney, G., Siromoney, R., Krithivasan, K.: Picture languages with array rewriting rules. Inf. Control 22, 447–470 (1973)
Steibe, R.: Slender siromoney matrix languages. Inf. Comput. 206, 1248–1258 (2008)
Yamakami, T., Kato, Y.: The dissecting power of regular languages. Inf. Process. Lett. 113, 116–122 (2013)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Julie, J., Baskar Babujee, J., Masilamani, V. (2017). Dissecting Power of Certain Matrix Languages. In: Arumugam, S., Bagga, J., Beineke, L., Panda, B. (eds) Theoretical Computer Science and Discrete Mathematics. ICTCSDM 2016. Lecture Notes in Computer Science(), vol 10398. Springer, Cham. https://doi.org/10.1007/978-3-319-64419-6_13
Download citation
DOI: https://doi.org/10.1007/978-3-319-64419-6_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-64418-9
Online ISBN: 978-3-319-64419-6
eBook Packages: Computer ScienceComputer Science (R0)