Abstract
We characterize the exponentiation of languages by other language operations: In the presence of some “weak” operations, exponentiation is exactly as powerful as complement and ε-free morphism. This characterization implies, besides others, that a semi-AFL is closed under complement iff it is closed under exponentiation. As an application we characterize the exponentiation closure of the context-free languages. Furthermore, P is closed under exponentiation iff P = NP , and NP is closed under exponentiation iff NP = co-NP.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Balcázar, J.L., Díaz, J., Gabarró, J.: Structural Complexity I, 2nd edn. Springer, Berlin (1995)
Balbes, R., Dwinger, P.: Distributive Lattices. University of Missouri Press (1974)
Ginsburg, S.: Algebraic and Automata-Theoretic Properties of Formal Languages. North-Holland, Amsterdam (1975)
Kuich, W., Sauer, N., Urbanek, F.: Heyting algebras and formal languages. J.UCS 8, 722–736 (2002)
Smullyan, R.: Theory of Formal Systems. Annals of Mathematical Studies, vol. 47. Princeton University Press, Princeton (1961)
Springsteel, F.N.: On the pre-AFL of log n space and related families of languages. Theoretical Computer Science 2, 295–303 (1976)
Wagner, K., Wechsung, G.: Computational Complexity. Deutscher Verlag der Wissenschaften (1986)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kuich, W., Wagner, K.W. (2003). On the Exponentiation of Languages. In: Lingas, A., Nilsson, B.J. (eds) Fundamentals of Computation Theory. FCT 2003. Lecture Notes in Computer Science, vol 2751. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45077-1_35
Download citation
DOI: https://doi.org/10.1007/978-3-540-45077-1_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40543-6
Online ISBN: 978-3-540-45077-1
eBook Packages: Springer Book Archive