编写 Python 程序实现对文本文件做 LZ77 编码，编码后的文件以二进制 文件的形式存储；

好的，我可以为您提供一个实现 LZ77 编码的 Python 程序。以下是程序代码：

class LZ77Encoder:
    def __init__(self, window_size=20, look_ahead_size=15):
        self.window_size = window_size
        self.look_ahead_size = look_ahead_size

    def encode(self, text):
        result = []
        i = 0
        while i < len(text):
            match_length = 0
            match_offset = 0
            for j in range(1, self.look_ahead_size + 1):
                if i + j > len(text):
                    break
                sub_text = text[i:i+j]
                k = text.rfind(sub_text, max(0, i - self.window_size), i)
                if k >= 0 and i - k <= self.window_size:
                    match_length = j
                    match_offset = i - k
                else:
                    break
            result.append((match_offset, match_length, text[i+match_length]))
            i += max(1, match_length)
        return result

    def encode_to_binary(self, text, file_name):
        encoded_text = self.encode(text)
        with open(file_name, 'wb') as f:
            for offset, length, char in encoded_text:
                offset_bytes = offset.to_bytes(2, byteorder='big')
                length_bytes = length.to_bytes(1, byteorder='big')
                f.write(offset_bytes)
                f.write(length_bytes)
                f.write(char.encode())

这个程序实现了一个 LZ77 编码器，可以将输入的文本进行编码。其中，`window_size` 和 `look_ahead_size` 是编码器的两个重要参数。`window_size` 指定了查找匹配的窗口大小，`look_ahead_size` 指定了向前查找的最大长度。在 `encode` 方法中，我们使用这两个参数来寻找最长的匹配。`encode_to_binary` 方法将编码后的结果以二进制文件的形式保存到指定的文件中。

您可以使用以下代码来测试编码器：

encoder = LZ77Encoder(window_size=20, look_ahead_size=15)
text = 'ababcdabcaba'
encoder.encode_to_binary(text, 'encoded.bin')

这将会把文本字符串 `'ababcdabcaba'` 编码为二进制文件 `'encoded.bin'`。您可以使用二进制文件查看工具来查看编码后的结果。