1 research outputs found
An efficient algorithm for computing the edit distance of a regular language via input-altering transducers
We revisit the problem of computing the edit distance of a regular language
given via an NFA. This problem relates to the inherent maximal error-detecting
capability of the language in question. We present an efficient algorithm for
solving this problem which executes in time , where is the
cardinality of the alphabet involved, is the number of transitions in the
given NFA, and is the computed edit distance. We have implemented the
algorithm and present here performance tests. The correctness of the algorithm
is based on the result (also presented here) that the particular
error-detection property related to our problem can be defined via an
input-altering transducer