On Infinite Real Trace Rational Languages of Maximum Topological ComplexityReportar como inadecuado




On Infinite Real Trace Rational Languages of Maximum Topological Complexity - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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





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

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



DESCARGAR PDF




Documentos relacionados