Abstract
Logical formulas are naturally decomposed into their subformulas and circuits into their layers. How are these decompositions expressed in a purely language-theoretical setting? We address that question, and in doing so, introduce a product directly on languages that parallels formula composition. This framework makes an essential use of languages of higher-dimensional words, called hyperwords, of arbitrary dimensions. It is shown here that the product thus introduced is associative over classes of languages closed under the product itself; this translates back to extra freedom in the way formulas and circuits can be decomposed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
We only make scarce use of the variables with nonpositive indexes explicitly, with the notable exception of the first part of the proof of Theorem 21.
- 2.
This nomenclature stems from the algebraic operation bearing the same name. There is a precise relationship between block products of monoids and block products of languages of words (Definition 2) that will be made explicit in an extended version of this article.
- 3.
The reader not versed in that topic can think of block products of monoids as block products of the languages of dimension 1 recognized by them.
References
Barrington, D.A.M., Immerman, N., Straubing, H.: On uniformity within NC\(^{1}\). J. Comput. Syst. Sci 41(3), 274–306 (1990)
Behle, C., Lange, K.J.: FO[\(<\)]-uniformity. In: Proceedings of the 21st Annual IEEE Conference on Computational Complexity (CCC 2006), pp. 183–189 (2006)
Behle, C., Krebs, A., Mercer, M.: Linear circuits, two-variable logic and weakly blocked monoids. In: Kučera, L., Kučera, A. (eds.) MFCS 2007. LNCS, vol. 4708, pp. 147–158. Springer, Heidelberg (2007)
Behle, C., Krebs, A., Reifferscheid, S.: Regular languages definable by majority quantifiers with two variables. In: Diekert, V., Nowotka, D. (eds.) DLT 2009. LNCS, vol. 5583, pp. 91–102. Springer, Heidelberg (2009)
Immerman, N.: Expressibility and parallel complexity. SIAM J. Comput. 18(3), 625–638 (1989)
Krebs, A., Lange, K.J., Reifferscheid, S.: Characterizing TC\(^{0}\) in terms of infinite groups. Theor. Comput. Syst. 40(4), 303–325 (2007)
Krebs, A.: Typed semigroups, majority logic, and threshold circuits. Ph.D. thesis, Eberhard Karls University of Tübingen (2008)
Lautemann, C., McKenzie, P., Schwentick, T., Vollmer, H.: The descriptive complexity approach to LOGCFL. J. Comput. Syst. Sci. 62(4), 629–652 (2001)
Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages: Volume 3 Beyond Words. Springer, Heidelberg (1997)
Straubing, H.: Finite Automata, Formal Logic, and Circuit Complexity. Birkhäuser, Boston (1994)
Straubing, H., Thérien, D.: Weakly iterated block products of finite monoids. In: Rajsbaum, S. (ed.) LATIN 2002. LNCS, vol. 2286, pp. 91–104. Springer, Heidelberg (2002)
Thérien, D., Wilke, T.: Nesting until and since in linear temporal logic. Theor. Comput. Syst. 37(1), 111–131 (2004)
Acknowledgments
We thank Charles Paperman for stimulating discussions.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cadilhac, M., Krebs, A., Lange, KJ. (2016). A Language-Theoretical Approach to Descriptive Complexity. In: Brlek, S., Reutenauer, C. (eds) Developments in Language Theory. DLT 2016. Lecture Notes in Computer Science(), vol 9840. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-53132-7_6
Download citation
DOI: https://doi.org/10.1007/978-3-662-53132-7_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-53131-0
Online ISBN: 978-3-662-53132-7
eBook Packages: Computer ScienceComputer Science (R0)