Abstract
This paper is a contribution to the problem of effectively determining the dot-depth of a star-free language, a problem in the theory of automata and formal languages with close connections to algebra and formal logic. We conjecture an effective criterion for determining whether a given language has dot-depth 2. The condition is shown to be necessary in general, and sufficient for languages over a two-letter alphabet. The condition involves a novel use of categories in the study of semigroup-theoretic problems.
Preview
Unable to display preview. Download preview PDF.
References
J. A. Brzozowski and R. Knast, The dot-depth hierarchy of star-free events is infinite, JCSS 16 (1978), 37–55.
J. A. Brzozowski and I. Simon, Characterizations of locally testable events, Discrete Math 4 (1973), 243–271.
J. R. Büchi, Weak second-order arithmetic and finite automata, Z. Math Logik Grundlagen Math. 6 (1960), 66–92.
S. Eilenberg, Automata, Languages and Machines, vol. B, Academic Press, New York, 1976.
R. Knast, A semigroup characterization of dot-depth one languages, RAIRO Inform. Théor. (1984).
R. McNaughton and S. Papert, Counter-free Automata, MIT Press, Cambridge, Mass., 1971.
S. Margolis and J.E. Pin, Graphs, inverse semigroups and languages, Proceedings of Conference on Semigroups, Marquette University, 1984.
R. McNaughton, Algebraic decision procedures for local testability, Math. Systems Theory 8 (1974), 60–76.
D. Perrin and J. E. Pin, First-order logic and star-free sets, Research report 85-23, Laboratoire d'Informatique Théorique et Programmation, 1985.
J.E. Pin and H. Straubing, Monoid of upper triangular matrices, Colloquia Mathematica Soc. J. Bolyai 39 (1981), 259–272.
M.P. Schützenberger, On finite monoids having only trivial subgroups, Information and Control 8 (1965) 190–194.
I. Simon, Piecewise testable events, Lecture Notes in Computer Science 33 (Springer, Berlin, 1975).
H. Straubing, A generalization of the Schützenberger product of finite monoids, Theoretical Computer Science 13 (1981) 137–150.
H. Straubing, Finite semigroup varieties of the form V*D, J. Pure and Applied Algebra 36 (1985), 53–94.
D. Thérien and A. Weiss, Graph congruences and wreath products, J. Pure and Applied Algebra 36 (1985), 205–215.
D. Thérien, Classification of finite monoids: the language approach, Theoretical Computer Science 14 (1981), 195–208.
W. Thomas, Classifying regular events in symbolic logic, JCSS 25 (1982), 360–376.
B. Tilson, Categories as algebra, Preprint.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Straubing, H. (1986). Semigroups and languages of dot-depth 2. In: Kott, L. (eds) Automata, Languages and Programming. ICALP 1986. Lecture Notes in Computer Science, vol 226. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16761-7_91
Download citation
DOI: https://doi.org/10.1007/3-540-16761-7_91
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16761-7
Online ISBN: 978-3-540-39859-2
eBook Packages: Springer Book Archive