Jira竟然是图灵完备的：一个有趣的计算理论发现

Jira，Atlassian的项目管理工具，被无数开发团队用来跟踪Bug、管理Sprint、分配任务。最近，一位开发者Nicolas Seriot用严谨的数学证明了一个流传已久的”工程传说”：Jira确实是图灵完备的。

什么是图灵完备

图灵完备是指一个计算系统能够模拟图灵机，理论上可以计算任何可计算的问题。常见的图灵完备系统包括Python、JavaScript、C++等编程语言。而Jira作为一个项目管理工具，竟然也能做到这一点，确实令人惊讶。

证明方法：Minsky寄存器机

Nicolas Seriot使用了Minsky寄存器机来证明Jira的图灵完备性。Minsky寄存器机是一个极简的计算模型，只需要：

• 两个无界计数器（寄存器A和B）
• 有限数量的带标签指令

指令只有两种：

INC r; goto S          // 寄存器r加1，跳转到状态S
DEC r; if r==0 goto S else goto S'  // 寄存器r减1，如果为0跳转到S，否则跳转到S'

Minsky在1967年证明了这个极简模型是图灵完备的。所以，只要能在Jira中实现Minsky寄存器机，就证明了Jira的图灵完备性。

如何在Jira中实现

Nicolas Seriot的映射方案非常巧妙：

INC和DEC操作通过创建和删除关联的Issue来实现。条件分支通过JQL条件规则来实现。Epic的状态编码当前指令，自动化规则检查关联Issue的数量并决定下一个状态。

实际验证

Nicolas Seriot在一个真实的*.atlassian.net实例上验证了这个证明。他实现了一个简单的加法程序（A+B）：

1. 创建一个Epic，状态为BACKLOG
2. 创建两个自动化规则：一个处理TODO状态（DEC A），一个处理DEV状态（INC B）
3. 关联2个Bug（A=2）和3个Task（B=3）到Epic
4. 将Epic状态改为TODO启动计算

经过5次状态转换后，Epic最终到达PROD状态，关联的Bug为0个，Task为5个——2+3=5，计算成功！

更进一步：三状态斐波那契

除了加法，Nicolas Seriot还展示了Jira自动化语言可以实现更复杂的计算，包括斐波那契数列的计算。这进一步证明了Jira作为计算平台的强大能力。

有趣的启示

这个发现虽然更多是一个有趣的智力实验，但它也揭示了几个有意思的事实：

1. 自动化系统的表达能力：现代SaaS工具的自动化功能已经强大到可以模拟通用计算。这既是功能的体现，也是安全风险的来源。

2. 意外的图灵完备：很多系统在设计时并没有打算成为图灵完备的，但随着功能的增加，它们不知不觉中获得了这种能力。PowerPoint、Magic: The Gathering等也被证明是图灵完备的。

3. 工程传说的验证：Jira是图灵完备的这个说法在开发者圈子里流传已久，但之前没有人给出过严格的证明。Nicolas Seriot的工作填补了这个空白。

下次当你在Jira里创建Sprint、分配任务的时候，不妨想想：你可能正在使用一个图灵完备的计算系统来管理你的项目。

本文参考来源：Nicolas Seriot – Jira IS Turing-Complete