On Infinite Real Trace Rational Languages of Maximum Topological Complexity
Logic in Computer Science
2008-01-04 v1 Logic
Abstract
We consider the set of infinite real traces, over a dependence alphabet (Gamma, D) with no isolated letter, equipped with the topology induced by the prefix metric. We then prove that all rational languages of infinite real traces are analytic sets and that there exist some rational languages of infinite real traces which are analytic but non Borel sets, and even Sigma^1_1-complete, hence of maximum possible topological complexity.
Cite
@article{arxiv.0801.0537,
title = {On Infinite Real Trace Rational Languages of Maximum Topological Complexity},
author = {Olivier Finkel and Jean-Pierre Ressayre and Pierre Simonnet},
journal= {arXiv preprint arXiv:0801.0537},
year = {2008}
}