使用python处理一个文本文件，并将三组符串的名字分别修改为1，2，3，并将修改后的文件另存为另外一个文本文件

在Python中，我们可以使用内置的`open()`函数打开文本文件，然后使用`readlines()`方法读取所有行，遍历每一行替换原始名字为指定数字，最后用`write()`函数写入新的内容到另一个文件。这里是一个简单的示例：

# 打开源文件
with open('source.txt', 'r') as source_file:
    lines = source_file.readlines()

# 定义要替换的名字列表和新名字
name_replacements = {'原名1': '1', '原名2': '2', '原名3': '3'}

# 遍历每一行并替换字符串
new_lines = [line.replace(name, replacement) for line in lines if name in line for name, replacement in name_replacements.items()]

# 创建一个新的目标文件并写入
with open('target.txt', 'w') as target_file:
    target_file.writelines(new_lines)

在这个例子中，我们假设源文件（source.txt）存在并且包含需要替换的字符串。这个脚本会查找每行中匹配的名称，并将其替换为对应的数字。