Abstract
Piecewise testable languages are widely studied area in the theory of automata. We analyze the algebraic properties of these languages via their syntactic monoids. In this paper a normal form is presented for 2- and 3-piecewise testable languages and a log-asymptotic estimate is given for the number of words over these monoids.
Similar content being viewed by others
References
Blanchet-Sadri, F.: Games equations and dot-depth hierarchy. Comput. Math. Appl. 18, 809–822 (1989)
Blanchet-Sadri, F.: Equations and monoids varieties of dot-depth one and two. Theor. Comput. Sci. 123, 239–258 (1994)
Pin, J.E.: Finite semigroups and recognizable languages: an introduction. In: Semigroups, Formal Languages and Groups, York, 1993. NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., vol. 466, pp. 1–32. Kluwer Academic, Dordrecht (1995)
Pin, J.E.: Varieties of Formal Languages. North Oxford Academic/Plenum, London/New York (1986)
Stern, J.: Complexity of some problems from the theory of automata. Inf. Control 66, 163–176 (1985)
Simon, I.: Piecewise testable events. In: Proc. 2nd GI Conf. Lect. Notes in Comput. Sci., vol. 33, pp. 214–222 (1975)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Marcel Jackson.
Rights and permissions
About this article
Cite this article
Kátai-Urbán, K., Pach, P.P., Pluhár, G. et al. On the word problem for syntactic monoids of piecewise testable languages. Semigroup Forum 84, 323–332 (2012). https://doi.org/10.1007/s00233-011-9357-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-011-9357-z