Safra-like constructions for regular cost functions over finite words - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year : 2011

Safra-like constructions for regular cost functions over finite words

Constructions à la Safra pour les fonctions régulières de coût sur les mots finis

Abstract

Regular cost functions have been introduced recently as an extension of the notion of regular languages with counting capabilities, which retains strong closure, equivalence, and decidability properties. Cost functions are functions ranging over N ∪ {∞}, and considered mod-ulo an equivalence which preserves the existence of bounds over each subset of the domain. A central result in the theory of regular cost functions over words is the duality theorem stating that the two dual forms of automata, namely Band S-automata, are equivalent. The only known proof of this result relies on the translation into an equivalent algebraic formalism. In this paper, we describe direct translations from hierarchical B-automata to history-deterministic S-automata and from hierarchical S-automata to history deterministic B-automata. We furthermore describe how to optimize the number of counters of the output automaton, and how to make them hierarchical. This construction is reminiscent of the famous construction of Safra for the determinization of automata over infinite words.
Les fonctions régulières de coût ont été introduites il y a peu comme une extension de la notion de langage régulier par des capacités de comptage, tout en préservant de nombreuses propriétés importantes comme celles de clôture ou de décidabilité. Les fonctions de coût sont des fonctions à valeur dans N ∪ {∞} considérée modulo une relation d'équivalence qui préserve l'existence d'une borne sur tout sous-ensemble du domaine. Un résultat central de cette théorie sur les mots finis est le résultat de dualité qui énonce que deux formes duales d'automates (les B- et S-automates) sont duales. La seule preuve connue de ce résultat repose sur une traduction dans un formalisme algébrique. Dans ce papier, nous décrivons une traduction directe depuis les B-automates hiérarchiques vers les S-automates déterministes en histoire, et depuis les automates S-hiérarchiques vers les B-automates déterministes en histoire. Cette construction est fortement inspirée de celle de Safra.
Fichier principal
Vignette du fichier
main.pdf (700.37 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01274408 , version 1 (15-02-2016)

Identifiers

  • HAL Id : hal-01274408 , version 1

Cite

Thomas Colcombet. Safra-like constructions for regular cost functions over finite words. 2011. ⟨hal-01274408⟩

Collections

UNIV-PARIS7 CNRS
66 View
77 Download

Share

Gmail Facebook X LinkedIn More