dc.contributor.author |
Staiger, L |
en |
dc.date.accessioned |
2023-01-24T23:04:44Z |
|
dc.date.available |
2023-01-24T23:04:44Z |
|
dc.date.issued |
2022 |
en |
dc.identifier.citation |
CDMTCS Research Reports CDMTCS-568 (2022) |
en |
dc.identifier.issn |
1178-3540 |
en |
dc.identifier.uri |
https://hdl.handle.net/2292/62562 |
|
dc.description.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. In most cases this results in a
poor topological structure induced on the subspace of finite words.
In the present paper we investigate the possibility to link topologies
in 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 the topological properties
(openness, closedness etc) of images with preimages and vice
versa.
Here we show that choosing for infinite words the natural topology
of the CANTOR space and the -limit as linking mapping there
are several natural topologies on the space of finite words 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 fromlanguage theory—centers and supercenters
of languages.
We show that several of these topologies on the space of finite
words fit into a class of L-topologies and exhibit their special properties
w.r.t. to the compatibility with the CANTOR topology. |
|
dc.publisher |
Department of Computer Science, The University of Auckland, New Zealand |
en |
dc.relation.ispartofseries |
CDMTCS Research Report Series |
en |
dc.rights |
Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated. Previously published items are made available in accordance with the copyright policy of the publisher. |
en |
dc.rights.uri |
https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm |
en |
dc.source.uri |
https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php |
en |
dc.title |
Topologies for Finite Words: Compatibility with the CANTOR Topology |
en |
dc.type |
Technical Report |
en |
dc.subject.marsden |
Fields of Research |
en |
dc.rights.holder |
Copyright: The author(s) |
en |
dc.rights.accessrights |
http://purl.org/eprint/accessRights/OpenAccess |
en |