RNA 기반 보편적 계산 이론

초록

이 논문은 RNA 편집 메커니즘을 이용해 람다 계산법과 조합 논리를 구현함으로써, 세포 내에서 튜링 완전성을 달성할 수 있음을 제시한다. 제한된 차원의 동적 시스템이 보편적 계산을 수행하지 못하는 한계를 극복하고, 절단·연결 효소만으로도 모든 가산 가능한 함수를 계산할 수 있는 모델을 제안한다.

상세 분석

본 연구는 두 개의 전혀 다른 학문 영역—조합 논리(또는 람다 계산)와 RNA 분자생물학—을 연결함으로써, 생물학적 시스템이 튜링 완전성을 가질 수 있는 가능성을 탐구한다. 핵심 아이디어는 RNA 분자의 2차 구조가 괄호 매칭을 자연스럽게 수행한다는 점이다. 이는 조합 논리에서 필수적인 함수 적용과 변수 대입을 물리적으로 구현할 수 있게 만든다. 논문은 세 가지 기본 편집 규칙을 정의한다. 첫째, 특정 모티프(예: 스플라이싱 신호) 근처에서 절단이 일어나며, 이는 함수의 인자를 분리하는 역할을 한다. 둘째, 절단된 조각들을 사전 정의된 연결 부위에서 재결합(리게이션)함으로써 함수 적용 결과를 생성한다. 셋째, 특정 효소가 RNA 서열 내의 ‘재작성’ 신호를 인식해 염기 교체나 삽입을 수행, 이는 변수 바인딩과 재귀 호출을 모방한다. 각 규칙은 현재 세포 내에 존재하는 별개의 효소(예: RNase, RNA ligase, ADAR 등)로 구현 가능하다고 주장한다.

또한, 논문은 이러한 규칙이 조합 논리의 기본 연산인 S와 K 컴비네이터를 구현하는 데 충분함을 증명한다. S와 K는 모든 람다 식을 재구성할 수 있는 최소 집합이며, 이를 RNA 서열에 매핑하면, 임의의 가산 가능한 함수가 동일한 알고리즘 복잡도로 계산될 수 있다. 중요한 점은 이 과정이 전통적인 튜링 머신의 헤드 이동이나 무한 테이프를 필요로 하지 않으며, 대신 RNA 분자의 자체적인 구조적 복잡성과 효소의 위치 특이성을 활용한다는 것이다.

논문은 기존의 유한 차원 동적 시스템 모델이 보편적 계산을 수행하지 못하는 이유를 ‘상태 공간의 제한’과 ‘연속적 흐름’에 기인한다고 비판한다. 반면, RNA 기반 모델은 이산적인 서열 조작과 결합·절단 이벤트를 통해 무한히 확장 가능한 ‘계산 공간’을 제공한다. 또한, 실험적 검증을 위한 구체적인 설계—예를 들어, 인공적으로 설계된 리보자임 스위치와 맞춤형 스플라이싱 인트론을 이용한 회로 구현—를 제시함으로써 이론의 실현 가능성을 강조한다.

마지막으로, 저자는 이러한 보편적 계산 능력이 실제 생물학적 현상—기억 형성, 발달 프로그램, 병원성 변이 등—에 어떻게 활용될 수 있는지를 탐색한다. RNA 기반 컴퓨팅이 진화적으로 보존된 메커니즘이라면, 현재까지 관찰되지 않은 ‘생물학적 컴퓨터’가 존재할 가능성을 열어준다. 이는 생명 현상의 복잡성을 새로운 관점에서 재해석하게 하며, 합성생물학 및 나노바이오 기술에 혁신적인 설계 원리를 제공한다.