Abstract
Let S be the amalgamated free product of two finite inverse semigroups. We prove that the Schützenberger graph of an element of S with respect to a standard presentation of S is a context-free graph in the sense of Müller and Schupp (Theor. Comput. Sci. 37:51–75, 1985), showing that the language L recognized by the Schützenberger automaton is context-free. Moreover we construct the grammar generating L proving that L is a deterministic context-free language and we use this fact for solving some algorithmic problems.
Similar content being viewed by others
References
Barany, V., Loding, C., Serre, O.: Regularity problems for visibly pushdown languages. In: LNCS, vol. 3884, pp. 420–431 (2006)
Bennett, P.: Amalgamated free product of inverse semigroups. J. Algebra 198, 499–537 (1997)
Cherubini, A., Meakin, J., Piochi, B.: Amalgams of free inverse semigroups. Semigroup Forum 54, 199–220 (1997)
Cherubini, A., Meakin, J., Piochi, B.: Amalgams of finite inverse semigroups. J. Algebra 285, 706–725 (2005)
Cherubini, A., Nuccio, C., Rodaro, E.: Multilinear equations on amalgams of finite inverse semigroups. Int. J. Algebra Comput. 21(1–2), 35–59 (2011)
Cherubini, A., Rodaro, E.: Amalgams vs yamamura’s HNN-extensions of inverse semigroups. Algebra Colloq. 18(4), 647–657 (2011)
Hall, T.E.: Free product with amalgamation of inverse semigroups. J. Algebra 34, 375–385 (1975)
Harrison, M.A.: Introduction to Formal Languages Theory. Addison-Wesley, Reading (1978)
Margolis, S.W., Meakin, J.C.: Inverse monoids, trees and context-free languages. Trans. Am. Math. Soc. 335(1), 259–276 (1993)
Muller, D.E., Schupp, P.E.: Context-free languages, groups, the theory of ends, second-order logic. Theor. Comput. Sci. 37, 51–75 (1985)
Munn, W.D.: Free inverse semigroups. Proc. Lond. Math. Soc. 30, 385–404 (1974)
Petrich, M.: Inverse Semigroups. Wiley, New York (1984)
Shankar, P., Adiga, B.S.: A graph-based regularity test for deterministic context-free languages. Theor. Comput. Sci. 88(1), 117–125 (1991)
Rodaro, E., Cherubini, A.: Decidability of the word problem in Yamamura’s HNN-extensions of finite inverse semigroups. Semigroup Forum 77(2), 163–186 (2008)
Rodaro, E.: Bicyclic subsemigroups in amalgams of finite inverse semigroups. Int. J. Algebra Comput. 20(1), 89–113 (2010)
Stephen, J.B.: Presentation of inverse monoids. J. Pure Appl. Algebra 198, 81–112 (1990)
Silva, P.: Finite idempotent inverse monoid presentations. Int. J. Algebra Comput. 21(7), 1111–1133 (2011)
Acknowledgements
The authors are grate to Stuart Margolis for focusing their attention on this problem. Without his suggestion they probably did not pay attention to language theoretical properties of the languages of Schützenberger automata. The third named author acknowledges the support of the Centro de Matemática da Universidade do Porto financed by FCT through the programmes POCTI and POSI, with Portuguese and European Community structural funds and the support of the FCT project SFRH/BPD/65428/2009.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Mark V. Lawson.
This research was done with the partial support of GNSAGA, PRIN “Automi e Linguaggi Formali: aspetti matematici e applicativi” and the ESF project AutoMathA.
Rights and permissions
About this article
Cite this article
Cherubini, A., Nuccio, C. & Rodaro, E. Amalgams of finite inverse semigroups and deterministic context-free languages. Semigroup Forum 85, 129–146 (2012). https://doi.org/10.1007/s00233-012-9399-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-012-9399-x