We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO
< prev | next >
new | recent | 1710

Change to browse by:

cs
cs.FL
cs.LO
math

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Logic

Title: Polishness of some topologies related to word or tree automata

Authors: Olivier Finkel, Olivier Carton, Dominique Lecomte
(Submitted on 11 Oct 2017 (v1), last revised 7 May 2019 (this version, v4))
Abstract: We prove that the B\"uchi topology and the automatic topology are Polish. We also show that this cannot be fully extended to the case of a space of infinite labelled binary trees; in particular the B\"uchi and the Muller topologies are not Polish in this case.
Comments: This paper is an extended version of a paper which appeared in the proceedings of the 26th EACSL Annual Conference on Computer Science and Logic, CSL 2017. The main addition with regard to the conference paper consists in the study of the B\"uchi topology and of the Muller topology in the case of a space of trees, which now forms Section 4
Subjects: Logic (math.LO); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
Journal reference: Logical Methods in Computer Science, Volume 15, Issue 2 (May 8, 2019) lmcs:4024
DOI: 10.23638/LMCS-15(2:9)2019
Cite as: arXiv:1710.04002 [math.LO]
  (or arXiv:1710.04002v4 [math.LO] for this version)

Submission history

From: Thorsten Wissmann [view email] [via LOGICAL proxy]
[v1] Wed, 11 Oct 2017 11:09:18 GMT (86kb,D)
[v2] Fri, 24 Aug 2018 11:34:31 GMT (25kb)
[v3] Fri, 5 Apr 2019 09:33:25 GMT (26kb)
[v4] Tue, 7 May 2019 07:58:58 GMT (34kb,D)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.