Levenshtein distance
The Levenshtein distance between two strings formula_1 (of length formula_2 and formula_3 respectively) is given by formula_4 where