On Infinite Real Trace Rational Languages of Maximum Topological ComplexityReport as inadecuate




On Infinite Real Trace Rational Languages of Maximum Topological Complexity - Download this document for free, or read online. Document in PDF available to download.

1 ELM - Équipe de Logique Mathématique 2 SPE - Sciences pour l-environnement

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.

Keywords : Real traces rational languages topological properties analytic and Borel sets





Author: Olivier Finkel - Jean-Pierre Ressayre - Pierre Simonnet -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents