尼古拉斯·塞里奥Nicolas Seriot[计算] Jira 具备图灵完备性工程界一直有传闻称[Jira](https://www.atlassian.com/software/jira)Atlassian 的项目跟踪工具具有 [图灵完备性](https://esolangs.org/wiki/Turing-complete)。不过现有的说法只是模糊地指向自动化功能却没有给出具体的归约证明。本文将提供证明并附上设置说明和执行跟踪记录。映射计算模型[明斯基寄存器机](https://esolangs.org/wiki/Minsky_machine) 仅需两个无界计数器和一组有限的带标签指令即 INC r; goto S 和 DEC r; if r 0 goto S else goto S。通俗来讲就是“将寄存器 R 加 1然后跳转到状态 S”以及“将寄存器 R 减 1如果 R 等于 0 则跳转到零状态 S否则跳转到非零状态 S”。一个将寄存器 A 的值加到寄存器 B 的明斯基程序如下1. DEC A; if A 0 goto 3 else goto 22. INC B; goto 13. HALT1967 年[明斯基](https://en.wikipedia.org/wiki/Marvin_Minsky) 证明了这个模型具有图灵完备性。所以在 Jira 的自动化语言中实现该模型就能完成归约证明。以下是该模型在 Jira 中的映射方式明斯基机Jira寄存器 A类型为 **Bug** 的关联问题数量寄存器 B类型为 **Task** 的关联问题数量程序计数器单个 **Epic** 问题的状态调度表Jira 自动化规则每个指令状态对应一条规则时钟自动化触发的状态转换或超过链式上限后的外部重新触发Epic 的状态编码了当前指令。[自动化规则](https://support.atlassian.com/cloud-automation/docs/create-and-edit-jira-automation-rules/) 会检查关联问题的数量并决定下一个状态。INC 和 DEC 操作通过创建和删除相应类型的关联问题来实现。条件分支则通过 [JQL 条件规则](https://support.atlassian.com/cloud-automation/docs/jira-automation-conditions/) 来实现。实现加法运算下面是一个使用一个 Epic、五个关联问题以及每个指令状态对应一条自动化规则空间设置 自动化的最小可行实现。创建工作流创建一个 Jira 工作流包含初始状态 BACKLOG以及 TODO、DEV 和 PROD 状态且任何状态都可以转换到其他状态。同时创建一个状态为 BACKLOG 的 Epic。创建 TODO 状态的规则DEC A; if A0 halt, else goto DEV. 触发条件为 Epic 状态变为 TODO。若至少存在一个关联的 Bug则删除一个 Bug将 Epic 状态转换为 DEV否则将 Epic 状态转换为 PROD停止。创建 DEV 状态的规则INC B; goto TODO. 触发条件为 Epic 状态变为 DEV。创建一个新的 Task并将其关联到 Epic然后将 Epic 状态转换为 TODO。这两条规则都启用了 _允许规则触发其他规则_。下面的截图展示了这两条规则与 Epic 工作流的关联。初始化寄存器将 2 个 BugA 2和 3 个 TaskB 3关联到 Epic。启动机器将 Epic 状态转换为 TODO 以启动级联操作。经过五次状态转换(2,3) TODO →(1,3) DEV →(1,4) TODO →(0,4) DEV →(0,5) TODO →(0,5) PROD_记录于真实的 *.atlassian.net 实例。_最终Epic 处于 PROD 状态关联 0 个 Bug 和 5 个 Task成功实现了 2 3 5 的加法运算。三状态实现斐波那契数列上述归约足以证明 Jira 具有图灵完备性。此外Jira 的自动化语言还能简化明斯基机的操作。“转换问题类型”可以立即更改问题的类型例如 Bug 转换为 StoryStory 转换为 Task 等。CONVERT 操作可表示为 DEC INC它虽未扩展 Jira 的计算能力但能显著缩小任何移动循环的调度表使非平凡程序更易于处理。斐波那契数列 (A, B) → (B, AB) 可通过三个状态和三个寄存器A BugB TaskC Story来实现使用 TODO、QA添加到工作流中和 DEV 作为三个指令状态TODO:if any linked Task exists:CONVERT Task → StoryINC Bugtransition to TODOelse:transition to QAQA:if any linked Bug exists:CONVERT Bug → Tasktransition to QAelse:transition to DEVDEV:if any linked Story exists:CONVERT Story → Bugtransition to DEVelse:transition to TODO初始状态为 A 1B 1C 0。斐波那契数列 1, 1, 2, 3, 5, 8, 13, … 会在 BTask 数量中出现。与加法运算机器不同斐波那契数列机器没有停止状态它会一直运行直到达到 Jira Cloud 的链式深度上限10 次触发此时操作人员可以重新触发 Epic 以继续运行只需编辑一次状态即可重新启动级联操作。归约证明仍然成立只不过需要人工提供下一个时钟信号。Jira Data Center 通过 automation.rule.execution.timeout 及相关可配置属性提供了相同的功能。结论在无限制的问题创建和规则执行条件下Jira 的自动化语言可以编码一个双计数器机器。由于所有物理计算机都是有限的Jira Cloud 的有限配额并不影响这个构造的有效性。按照标准惯例Jira 具备图灵完备性。所以如果复杂的 Jira 自动化操作感觉像是程序那是因为它们确实就是程序。