RNAi와 레지스터 머신: 생물학적 연산 구조의 새로운 해석

초록

본 논문은 RNA 간섭(RNAi) 현상을 미스키 레지스터 머신으로 모델링한다. 두 레지스터는 각각 단일가닥 RNA와 이중가닥 RNA를 저장하고, Dicer, RISC, RdRp와 같은 효소 작용을 명령어로 해석한다. 초기 CGF(화학적 기본 형태) 구현에서는 잘못된 점프가 발생하므로, siRNA가 Dicer와 RISC까지 표적으로 삼는 재귀적 RNAi 모델을 제안하고, 이 시스템에서의 확률적 종료 조건을 분석한다.

상세 분석

논문은 RNAi의 디지털적 특성을 이용해 전통적인 추상 기계인 미스키 레지스터 머신(MRM)과 연결한다는 점에서 혁신적이다. 두 개의 레지스터를 RNA 종류에 대응시킨 점은, 단일가닥 RNA(mRNA)와 이중가닥 RNA(dsRNA)의 양적 변화를 직접적인 카운터로 해석할 수 있게 한다. 명령어 집합은 크게 증가(increment), 감소(decrement) 및 조건부 점프로 구성되며, 각각은 Dicer에 의한 dsRNA 절단, siRNA·RISC 복합체에 의한 mRNA 표적 파괴, RdRp에 의한 RNA 복제 과정에 매핑된다. 이러한 매핑은 화학 반응 네트워크를 CGF 형태로 기술함으로써, 반응 속도 상수와 확률적 전이율을 명시적으로 포함한다. 그러나 CGF 기반 구현에서는 ‘잘못된 점프’—즉, 레지스터가 0일 때도 조건부 점프가 발생하는 오류—가 나타난다. 이는 실제 생물학적 시스템에서 효소가 완전한 선택성을 갖지 못함을 반영하지만, 계산 모델로서는 부정확하다. 이를 해결하기 위해 저자들은 재귀적 RNAi(recursive RNAi) 개념을 도입한다. 여기서는 siRNA가 단순히 mRNA만을 표적으로 하지 않고, Dicer와 RISC 자체를 억제하는 추가적인 피드백 루프를 만든다. 이 피드백은 레지스터의 값이 0이 될 경우 자연스럽게 점프가 차단되는 메커니즘을 제공한다. 수학적으로는 마코프 체인에 새로운 전이 규칙을 삽입해, 점프 명령이 성공할 확률이 레지스터 상태에 의존하도록 설계한다. 마지막으로 논문은 이러한 재귀적 구조에서 시스템이 종료(모든 레지스터가 0이 되는 상태)할 확률을 분석한다. 확률적 종료는 ‘유한 기대 시간 내에 0 상태에 도달할 확률이 1에 수렴한다’는 형태로 증명되며, 이는 전통적인 MRM이 결정론적 종료를 보장하는 것과 대비된다. 전체적으로 이 연구는 생물학적 RNAi가 실제로는 제한된 계산 능력을 가지고 있음을 보여주면서도, 복잡계 이론과 형식 언어 이론을 연결하는 새로운 교량을 제공한다.