Jira는 튜링 완전하다

한 줄 요약

Jira Automation은 두 무한 카운터와 유한 명령 상태를 가진 Minsky 머신을 표현해 Jira의 튜링 완전성을 보일 수 있음

핵심 내용

• Jira Automation은 두 무한 카운터와 유한 명령 상태를 가진 Minsky 머신을 표현해 Jira의 튜링 완전성을 보일 수 있음

• Epic 상태는 프로그램 카운터, 연결된 Bug와 Task 수는 두 레지스터가 되며, Automation 규칙이 명령별 디스패치 테이블이 됨

• INC와 DEC는 연결 이슈 생성·삭제로 구현되고, 조건 분기는 JQL 조건 규칙으로 연결 이슈 수를 검사해 결정함

• 덧셈 예시는 A=2, B=3에서 Bug를 줄이고 Task를 늘려 실제 *.atlassian.net 실행에서 Task 5개와 정지 상태에 도달함

• Fibonacci 예시는 이슈 유형 변환으로 루프를 줄이며, Jira Cloud의 체인 깊이 제한 10에 닿으면 수동 재트리거로 계속 진행 가능함

왜 중요한가

Epic 상태는 프로그램 카운터, 연결된 Bug와 Task 수는 두 레지스터가 되며, Automation 규칙이 명령별 디스패치 테이블이 됨 INC와 DEC는 연결 이슈 생성·삭제로 구현되고, 조건 분기는 JQL 조건 규칙으로 연결 이슈 수를 검사해 결정함 덧셈 예시는 A=2, B=3에서 Bug를 줄이고 Task를 늘려 실제 *.atlassian.net 실행에서 Task 5개와 정지 상태에 도달함

참조한 것 · 가져온 것

• 원문: https://seriot.ch/computation/jira.html

• GeekNews: https://news.hada.io/topic?id=29885