レーベンシュタイン距離
formula_4とformula_12の間の制限ダメラウ・レーベンシュタイン距離は、文字列全体の関数値 formula_58で与えられる。ここでformula_59およびformula_60はそれぞれ文字列formula_4およびformula_12の長さ（文字数）である。