Separating without any ambiguity - Archive ouverte HAL
Conference Papers Year : 2018

Separating without any ambiguity

Abstract

We investigate a standard operator on classes of languages: unambiguous polynomial closure. We show that if C is a class of regular languages having some mild properties, the membership problem for its unambiguous polynomial closure UPol(C) reduces to the same problem for C. We give a new, self-contained and elementary proof of this result. We also show that unambiguous polynomial closure coincides with alternating left and right deterministic closure. Finally, if additionally C is finite, we show that the separation and covering problems are decidable for UPol(C).
Fichier principal
Vignette du fichier
upol.pdf (757.91 Ko) Télécharger le fichier
Origin Publisher files allowed on an open archive
Loading...

Dates and versions

hal-01798847 , version 1 (24-05-2018)

Identifiers

Cite

Thomas Place, Marc Zeitoun. Separating without any ambiguity. 45th International Colloquium on Automata, Languages and Programming, ICALP 2018, Jul 2018, Prague, Czech Republic. ⟨10.4230/LIPIcs.ICALP.2018⟩. ⟨hal-01798847⟩

Collections

CNRS
90 View
57 Download

Altmetric

Share

More