Abstract
Infinite words are often considered as limits of finite words. As topological methods have been proved to be useful in the theory of ω-languages it seems to be providing to include finite and infinite words into one (topological) space. The attempts so far (see [3, Section 2.4]) have their drawbacks.
Therefore, in the present paper we investigate the possibility to join separate topologies on the space of finite words with a topology in the space of infinite words via a natural mapping. A requirement in this linking of topologies consists in the compatibility of topological properties (opennenss, closedness etc) of images with pre-images and vice versa.
Here we choose the natural Cantor topology for infinite words and the δ-limit as linking mapping, nad we show that several natural topologies on the space of finite words prove to be compatible with the topology of the Cantor space. It is interesting to observe that besides the well-known prefix topology there are at least two more whose origin is from language theory, from the construction of centers and super-centers of languages.
These center- and supercenter-topologies on the space of finite words, \(\mathcal{T}_{c}\) and \(\mathcal{T}_{sc}\), respectively, fit into the class of \(\mathcal{L}\)-topologies investigated in [2]. Moreover they exhibit special properties within the classes of topologies compatible with the Cantor topology.
The paper presents the main results, omitting, however, due to lack of space the results on \(\mathcal{L}\)-topologies. For notation see Sections 1 and 2.1 of [3], and for topological background see e.g. [1].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Engelking, R.: General Topology. PWN, Warszawa (1977)
Prodinger, H.: Topologies on free monoids induced by closure operators of a special type. RAIRO Inform. Théor. Appl. 14(2), 225–237 (1980)
Staiger, L.: ω-languages. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, vol. 3, pp. 339–387. Springer, Berlin (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Staiger, L. (2010). Joint Topologies for Finite and Infinite Words. In: Gao, Y., Lu, H., Seki, S., Yu, S. (eds) Developments in Language Theory. DLT 2010. Lecture Notes in Computer Science, vol 6224. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14455-4_44
Download citation
DOI: https://doi.org/10.1007/978-3-642-14455-4_44
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14454-7
Online ISBN: 978-3-642-14455-4
eBook Packages: Computer ScienceComputer Science (R0)