Method normalizedLevenshteinDistance

src/org/antlr/codebuff/Dbg.java:113–117

from https://en.wikipedia.org/wiki/Levenshtein_distance "It is always at least the difference of the sizes of the two strings." "It is at most the length of the longer string."

(String s, String t)

	 *  "It is at most the length of the longer string."
	 */
	public static float normalizedLevenshteinDistance(String s, String t) {
		float d = levenshteinDistance(s, t);
		int max = Math.max(s.length(), t.length());
		return d / (float)max;
	}

	public static float levenshteinDistance(String s, String t) {
	    // degenerate cases