Bounded repairability of word languages - Archive ouverte HAL Access content directly
Journal Articles Journal of Computer and System Sciences Year : 2013

Bounded repairability of word languages

Michael Benedikt
  • Function : Author
  • PersonId : 882923
Cristian Riveros
  • Function : Author
  • PersonId : 927751

Abstract

What do you do if a computational object (e.g. program trace) fails a specification? An obvious approach is to perform a repair: modify the object minimally to get something that satisfies the constraints. This approach has been investigated in the database community, for integrity constraints, and in the AI community for propositional logics. Here we study how difficult it is to repair a document in the form of a string. Specifically, we consider number of edits that must be applied to an input string in order to satisfy a given target language. This number may be unbounded; our main contribution is to isolate the complexity of the bounded repair problem based on a characterization of the regular languages that admit bounded repairr. We consider the settings where the repair strategy is unconstrained and when the editing must be produced in a streaming way, i.e. by a letter-to-letter transducer.
Fichier principal
Vignette du fichier
JCSS_2013.pdf (490.07 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00877068 , version 1 (30-10-2013)

Identifiers

Cite

Michael Benedikt, Gabriele Puppis, Cristian Riveros. Bounded repairability of word languages. Journal of Computer and System Sciences, 2013, 79 (8), pp.1302-1321. ⟨10.1016/j.jcss.2013.06.001⟩. ⟨hal-00877068⟩

Collections

CNRS
54 View
156 Download

Altmetric

Share

Gmail Facebook X LinkedIn More