wstring g=L"自动定理证明";
wstring s=L"自动定理证明器";
EditDistance editdistance(g,s);
//int distancelen=editdistance.CalEditDistance();
wcout.imbue(locale("chs"));
set<string>words;
editdistance.GetDictionary(words);
OptimalInfo optimaloperations;
int distancelen=editdistance.GetOptimal(optimaloperations);
wcout<<L"待变字符串为: "<<s.c_str()<<endl;
wcout<<L"目标字符串为: "<<g.c_str()<<endl;