An Edit Operation is the replacement, insertion or deletion of a single
character (letter from a sequence alphabet). Also matches ("trivial"
replacements of a character by itself) are edit operations.
Contact
(send comments to fuellen@dali.mathematik.uni-bielefeld.de)