从python中的两个字符串创建一个词法最小字符串的程序