Registro completo de metadatos
Campo DC Valor Lengua/Idioma
dc.creatorBecher, Veronica Andrea-
dc.creatorCarton, Olivier-
dc.creatorHeiber, Pablo Ariel-
dc.date2018-09-18T18:41:39Z-
dc.date2018-09-18T18:41:39Z-
dc.date2018-10-
dc.date2018-09-17T19:37:52Z-
dc.date.accessioned2019-04-29T15:43:04Z-
dc.date.available2019-04-29T15:43:04Z-
dc.date.issued2018-10-
dc.identifierBecher, Veronica Andrea; Carton, Olivier; Heiber, Pablo Ariel; Finite-State Independence; Springer; Theory Of Computing Systems; 62; 7; 10-2018; 1555-1572-
dc.identifier1432-4350-
dc.identifierhttp://hdl.handle.net/11336/60112-
dc.identifierCONICET Digital-
dc.identifierCONICET-
dc.identifier.urihttp://rodna.bn.gov.ar:8080/jspui/handle/bnmm/300243-
dc.descriptionIn this work we introduce a notion of independence based on finite-state automata: two infinite words are independent if no one helps to compress the other using one-to-one finite-state transducers with auxiliary input. We prove that, as expected, the set of independent pairs of infinite words has Lebesgue measure 1. We show that the join of two independent normal words is normal. However, the independence of two normal words is not guaranteed if we just require that their join is normal. To prove this we construct a normal word x1x2x3… where x2n = xn for every n. This construction has its own interest.-
dc.descriptionFil: Becher, Veronica Andrea. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina-
dc.descriptionFil: Carton, Olivier. Université Paris Diderot - Paris 7; Francia-
dc.descriptionFil: Heiber, Pablo Ariel. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina-
dc.formatapplication/pdf-
dc.formatapplication/pdf-
dc.languageeng-
dc.publisherSpringer-
dc.relationinfo:eu-repo/semantics/altIdentifier/doi/https://dx.doi.org/10.1007/s00224-017-9821-6-
dc.relationinfo:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007/s00224-017-9821-6-
dc.rightsinfo:eu-repo/semantics/restrictedAccess-
dc.rightshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/-
dc.sourcereponame:CONICET Digital (CONICET)-
dc.sourceinstname:Consejo Nacional de Investigaciones Científicas y Técnicas-
dc.sourceinstacron:CONICET-
dc.subjectFINITE-STATE AUTOMATA-
dc.subjectINDEPENDENCE-
dc.subjectINFINITE SEQUENCES-
dc.subjectNORMAL SEQUENCES-
dc.subjectCiencias de la Computación-
dc.subjectCiencias de la Computación e Información-
dc.subjectCIENCIAS NATURALES Y EXACTAS-
dc.titleFinite-State Independence-
dc.typeinfo:eu-repo/semantics/article-
dc.typeinfo:eu-repo/semantics/publishedVersion-
dc.typeinfo:ar-repo/semantics/articulo-
Aparece en las colecciones: CONICET

Ficheros en este ítem:
No hay ficheros asociados a este ítem.