On The Turing Completeness of PowerPoint (SIGBOVIK)
Tom Wildenhain在 YouTube 播放 ↗
字幕解读
Tom 用 PowerPoint 的超链接、动画与手动点击构造图灵机，演示其可识别语言并通过打孔卡式转换表模拟任意图灵机。作品以夸张方式展示演示软件的计算能力，指出无宏、跨平台、拖放和主题等“优势”，同时承认执行需要用户逐步点击且规模化与优化仍是未来问题。
自动字幕 · 引文按字幕原文展示，可点时间戳回看片段。
内容要点
- 动画顺序和超链接构成状态迁移；演示中的图灵机用点击推进计算。
- 转换规则编码在可编辑的打孔卡布局中，修改布局即可模拟不同图灵机的转移函数。
- 理论上可表达通用计算，但目前实现依赖大量动画和人工触发，扩展性与自动执行仍有限。
视频章节 6
- 研究主张与背景
- 动画和超链接作为交互
- 演示识别偶数长度语言
- 编码任意图灵机转移
- PowerPoint 的戏仿式优势
- 限制和后续设想
具体观点与证据 3
PowerPoint动画能够实现图灵机磁带读写而无需宏。
演示构造需要用户点击推进，不是自动执行的常规程序。
This is implemented completely with animations. There are no macros用户点击只提供推进信号，遮挡其他区域使计算决策仍由演示程序决定。
结论依赖演示中设置好的可点击区域。
every other area is blocked. So I can click randomly essentially改变穿孔卡片位置可改变转移函数，从而模拟其他图灵机。
这是可计算性演示，不构成实用性或效率优势的证明。
essentially imitate any transition function of any other touring machine补充字幕原文 2
演讲以模拟通用图灵机为目标，戏仿 PowerPoint 可以替代通用编程语言的主张。
you can solve every computational problem with a dedicated PowerPoint file执行并非自动推进，需要用户点击橙色区域触发下一步。
The user has to click on each orange region解读边界
内容是带讽刺色彩的学术趣味演示，夸张性能和优势表述不应当作严肃软件比较；字幕有 touring/turing 等识别错误。
相关视频与证据 2
等价计算能力的两种构造极简解释器与幻灯片都能承载通用计算
Byrd说明变量查找、Lambda与应用的极小核心已能表达通用计算；PowerPoint演示以动画磁带和可修改转移表模拟图灵机。两者揭示通用计算不依赖熟悉的表面语法或庞大语言。
William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC] ↗
仅靠变量查找、函数构造与应用就能表达通用计算，数字与条件可另行编码。
you only need these three lines that's turn complete actually▶ 44:35–44:43 · 观看片段On The Turing Completeness of PowerPoint (SIGBOVIK)
改变穿孔卡片位置可改变转移函数，从而模拟其他图灵机。
essentially imitate any transition function of any other touring machine适用边界 PowerPoint仍需人工点击推进；可计算性等价不意味着速度、内存或工程可用性等价。
能力与安全边界意外的通用计算能力也可能成为攻击面
PowerPoint展示原本用于展示的动画构造可以模拟任意转移函数；安全演讲则把输入处理的计算能力视为应受限的权限，解释为什么通信边界不应无意引入过强的执行能力。
On The Turing Completeness of PowerPoint (SIGBOVIK)
改变穿孔卡片位置可改变转移函数，从而模拟其他图灵机。
essentially imitate any transition function of any other touring machine28c3: The Science of Insecurity ↗
输入处理的计算能力应视为一种权限，设计协议时尽量限制它。
treat input handling computational power as privilege and reduce that privilege▶ 34:49–34:59 · 观看片段适用边界 前者是主动构造的演示，不是漏洞证据；后者限制的是协议边界而非反对所有通用计算。