将【例 8.13】的源代码使用 PyInstaller 工具进行打包生成独立的可执行文件。

好的，我可以回答你的问题。首先，我们需要安装PyInstaller工具。可以使用pip命令来安装，具体而言，在命令行中执行以下命令：

pip install pyinstaller

安装完成后，我们可以使用以下步骤来将【例 8.13】的源代码使用PyInstaller工具进行打包生成独立的可执行文件：

1. 打开命令行，进入【例 8.13】源代码所在的目录。

2. 执行以下命令来生成.spec文件：

pyinstaller -F example.py

其中，-F参数表示生成单个可执行文件，example.py表示【例 8.13】的源代码文件名。

3. 执行以下命令来生成可执行文件：

pyinstaller example.spec

其中，example.spec表示PyInstaller生成的.spec文件名。

4. 执行以上命令之后，PyInstaller会在dist目录下生成可执行文件example.exe（Windows系统）或example（Linux系统）。这个可执行文件就是独立的、可以直接运行的应用程序。

需要注意的是，将Python程序打包成可执行文件时，可能会涉及到一些依赖项的问题，如果打包后的可执行文件无法正常运行，可以查看PyInstaller的文档或者使用其他打包工具进行尝试。