Abstract
It is shown that the family of equal matrix languages (EML) which intersects the family of context-sensitive and context-free languages is not closed under Kleene closure, intersection and complementation. The family of bounded EML whose generative power lies between that of bounded context-sensitive languages and bounded context-free languages is shown to be a class of unambiguous languages. Operations that preserve unambiguity and certain decidability questions are discussed.
Similar content being viewed by others
References
Eilenberg, S. and Schutzenberger, M. P. “Rational sets in commutative monoids,”Journal of Algebra, 1969,13, 173–91.
Ginsburg, S...The Mathematical Theory of Context-Free Languages, McGraw-Hill Book Company, New York, 1966.
— and Greibach, S. A... “Abstract families of languages, Studies in abstract families of languages,”Mem. Amer. Math. Soc., 1969,87, 1–32.
— and Spanier, E. H... “Finite-turn pushdown automata,”SIAM J. of Control., 1966,4, 429–53.
Ginsburg, S. and Ullian, J. S... “Ambiguity in context-free languages,”J. Assoc. Comput. Mach., 1966a,13, 62–89.
—.. “Preservation of unambiguity and inherent ambiguity in context-free languages.“Ibid., 1966 b,13, 364–68.
Greibach, S. A... “The unsolvability of the recognition of linear context-free languages,“Ibid., 1966,16, 91–106.
—.. “A note on undecidable properties of formal languages,”Math. Systems Theory, 1967,2, 1–6.
Ibarra, O. H... “Simple matrix languages,”Inform. Control, 1970,17, 359–94.
Landweber, P. S... “Decision problems of phrase-structure grammars,”IEEE Trans., 1964,EC-13, 354–62.
Parikh, R. J... “On context-free languages,”J. Assoc. Comput. Mach., 1966,13, 570–81.
Post, E. L... “A variant of a recursively unsolvable problem,”Bull. Amer. Math. Soc., 1946,52, 264–68.
Siromoney, G. .. “Grammar for kernel sentences in Tamil,”Foundations of Language, 1971 (To appear).
Siromoney, R... “On equal matrix languages,”Inform. Control, 1969a,14, 135–51.
—.. “A characterization of semilinear sets,”Proc. Amer. Math. Soc., 1969b,21, 689–94.
—.. “Channel capacity of equal matrix languages,”Inform. Control, 1969c,14, 507–11.
- ..Studies in the Mathematical Theory of Grammars and Applications, Ph.D. Dissertation, University of Madras, 1969d.
- .. “Unambiguous equal matrix languages,”Inform. Control, 1971 (To appear).
Author information
Authors and Affiliations
Additional information
Communicated by Prof. R. Narasimhan,f.a.sc.
Rights and permissions
About this article
Cite this article
Siromoney, R., Siromoney, G. Equal matrix languages and Kleene closure. Proc. Indian Acad. Sci. 74, 172–188 (1971). https://doi.org/10.1007/BF03050596
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF03050596