ウラジーミル・レーベンシュタイン
レーベンシュタイン距離