Abstract
It is proved that if definability of regular languages in the \(\Sigma _n\) fragment of the first-order logic on finite words is decidable, then it is decidable also for the \(\Delta _{n+1}\) fragment. In particular, the decidability for \(\Delta _5\) is obtained. More generally, for every concatenation hierarchy of regular languages, it is proved that decidability of one of its half levels implies decidability of the intersection of the following half level with its complement.
The first author was partially supported by CMUP (UID/MAT/00144/2013), which is funded by FCT (Portugal) with national (MEC) and European structural funds through the programs FEDER, under the partnership agreement PT2020. The last two authors were supported by grant 15-02862S of the Czech Science Foundation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Almeida, J.: Some algorithmic problems for pseudovarieties. Publ. Math. Debrecen 54(Suppl), 531–552 (1999)
Almeida, J.: Profinite semigroups and applications. In: Kudryavtsev, V.B., Rosenberg, I.G. (eds.) Structural Theory of Automata, Semigroups and Universal Algebra, pp. 1–45. Springer (2005)
Almeida, J., Klíma, O.: New decidable upper bound of the second level in the Straubing-Thérien concatenation hierarchy of star-free languages. Discrete Math. Theor. Comput. Sci. 12, 41–58 (2010)
Branco, M.J.J., Pin, J.É.: Equations defining the polynomial closure of a lattice of regular languages. In: Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S., Thomas, W. (eds.) ICALP 2009, Part II. LNCS, vol. 5556, pp. 115–126. Springer, Heidelberg (2009)
Brzozowski, J.A., Cohen, R.S.: Dot-depth of star-free events. J. Comput. System Sci. 5, 1–15 (1971)
McNaughton, R., Papert, S.: Counter-Free Automata. MIT Press (1971)
Pin, J.-É.: Syntactic semigroups. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, Chapter 10. Springer (1997)
Pin, J.É., Straubing, H., Thérien, D.: Locally trivial categories and unambiguous concatenation. J. Pure Appl. Algebra 52, 297–311 (1988)
Pin, J.É., Weil, P.: Profinite semigroups, Mal’cev products and identities. J. Algebra 182, 604–626 (1996)
Pin, J.É., Weil, P.: Polynomial closure and unambiguous product. Theory Comput. Systems 30, 383–422 (1997)
Place, T.: Separating regular languages with two quantifier alternations. In: Proc. LICS (2015), to appear
Place, T., Zeitoun, M.: Going higher in the first-order quantifier alternation hierarchy on words. In: Esparza, J., Fraigniaud, P., Husfeldt, T., Koutsoupias, E. (eds.) ICALP 2014, Part II. LNCS, vol. 8573, pp. 342–353. Springer, Heidelberg (2014)
Reiterman, J.: The Birkhoff theorem for finite algebras. Algebra Universalis 14, 1–10 (1982)
Rhodes, J., Steinberg, B.: The q-theory of Finite Semigroups. Springer (2009)
Schützenberger, M.-P.: On finite monoids having only trivial subgroups. Inform. and Control 8, 190–194 (1965)
Straubing, H.: Finite semigroup varieties of the form \(V * D\). J. Pure Appl. Algebra 36, 53–94 (1985)
Thomas, W.: Classifying regular events in symbolic logic. J. Comput. System Sci. 25, 360–376 (1982)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Almeida, J., Bartoňová, J., Klíma, O., Kunc, M. (2015). On Decidability of Intermediate Levels of Concatenation Hierarchies. In: Potapov, I. (eds) Developments in Language Theory. DLT 2015. Lecture Notes in Computer Science(), vol 9168. Springer, Cham. https://doi.org/10.1007/978-3-319-21500-6_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-21500-6_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-21499-3
Online ISBN: 978-3-319-21500-6
eBook Packages: Computer ScienceComputer Science (R0)