지라가 튜링 완전성 증명됨
원제: Jira Is Turing-Complete
왜 중요한가
업무용 소프트웨어의 자동화 기능이 예상보다 강력한 계산 능력을 가짐을 보여주는 사례
개발자가 아틀라시안 지라(Jira)의 자동화 기능을 이용해 민스키 머신을 구현하여 지라가 튜링 완전(Turing-complete)임을 증명했다. 에픽 이슈의 상태를 프로그램 카운터로, 연결된 이슈 수를 레지스터로 사용해 덧셈과 피보나치 수열 계산을 성공적으로 실행했다.
Nicolas Seriot은 지라의 자동화 기능이 튜링 완전임을 수학적으로 증명했다. 그는 1967년 민스키가 증명한 레지스터 머신 모델을 지라에 구현했다. 민스키 머신은 2개의 무한 카운터와 유한한 명령어 집합(INC, DEC, 조건부 분기)만으로 모든 계산 가능한 함수를 표현할 수 있다.
구현 방식은 다음과 같다: 에픽 이슈의 상태가 프로그램 카운터 역할을 하고, 연결된 버그/태스크 이슈 수가 레지스터 A, B를 나타낸다. 자동화 규칙이 명령어별로 생성되어 JQL 조건에 따라 다음 상태로 전환된다. INC는 이슈 생성, DEC는 이슈 삭제로 구현했다.
실제 작동 예시로 덧셈 프로그램(A=2, B=3)을 실행하여 5개 태스크가 생성되어 2+3=5를 증명했다. 또한 Convert Issue Type 기능을 활용해 피보나치 수열을 3개 상태로 구현했다. 이는 지라가 단순한 프로젝트 관리 도구를 넘어 범용 계산 플랫폼임을 입증한다.