dc.contributor.author |
Hoffman, S |
en |
dc.contributor.author |
Schwarz, S |
en |
dc.contributor.author |
Staiger, L |
en |
dc.date.accessioned |
2017-02-07T03:37:17Z |
en |
dc.date.available |
2017-02-07T03:37:17Z |
en |
dc.date.issued |
2016 |
en |
dc.identifier.citation |
CDMTCS Research Reports CDMTCS-501 (2016) |
en |
dc.identifier.issn |
1178-3540 |
en |
dc.identifier.uri |
http://hdl.handle.net/2292/31758 |
en |
dc.description.abstract |
The space of one-sided infinite words plays a crucial rôle in several parts of Theoretical Computer Science. Usually, it is convenient to regard this space as a metric space, the CANTOR space. It turned out that for
several purposes topologies other than the one of the CANTOR space are useful, e.g. for studying fragments of first-order logic over infinite words or for a topological characterisation of random infinite words. It is shown that these topologies refine the topology of the CANTOR space. Moreover, from common features of these topologies we extract properties which characterise a large class of topologies. It turns out that, for this general class of topologies, the corresponding closure and interior operators respect the shift operations and also, to some extent, the definability of sets of infinite words by finite automata. |
en |
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 |
Shift-Invariant Topologies for the Cantor Space X^omega |
en |
dc.type |
Technical Report |
en |
dc.subject.marsden |
Fields of Research |
en |
dc.rights.holder |
The author(s) |
en |
dc.rights.accessrights |
http://purl.org/eprint/accessRights/OpenAccess |
en |