A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is
Proceedings of the 9th conference on Computational linguistics -
A distance function is proposed that maps pairs of strings to the real numbers. It has been shown that given suitable constraints the function is a metric over the free monoid generated from a set of gr~um~ matical symbols. The necessary constraints modify the metric so that it maps pairs of strings to a lattice of real numbers. Thus for each string the metric defines a countable set of nested neighbourhoods. This aspect of the space has proved useful for the correction of certain kinds ofdoi:10.3115/991813.991820 fatcat:n2qt3kplsrhitjy4e2dom2s6pq