三个代表
注意：min运算中的第一个公式代表（ 从 formula_9 中）删除字符（以到达 formula_11）；第二个公式代表插入字符；第三个代表替换（取决于当前字符是否相同）