템플릿 기반 유전자 재배열 모델의 효율적 개선

초록

본 논문은 기존 템플릿‑유도 재조합(TGR) 모델을 정제하여, 유한 초기 언어와 소수의 템플릿만으로 정규 언어를 생성하도록 설계한다. 또한, 템플릿 사용에 ‘허용 컨텍스트’를 부여한 확장형 CTGR 시스템을 제안해, 유한 구성 요소만으로 튜링 완전성을 달성한다는 점에서 기존 달리‑맥퀼란 모델보다 템플릿 수와 알파벳 크기를 크게 감소시킨다.

상세 요약

이 연구는 미생물인 섬모충(ciliate)에서 관찰되는 유전자 스크램블링 현상을 형식 언어 이론으로 모델링한 템플릿‑유도 재조합(TGR) 시스템을 기반으로 한다. 기존 달리‑맥퀼란(Daley‑McQuillan) 모델은 무한히 많은 템플릿 혹은 무한 알파벳을 가정해 언어 생성 능력을 설명했지만, 실제 생물학적 시스템에서는 템플릿 수와 염기 서열이 제한적이라는 점을 간과했다. 저자들은 ‘iterated TGR’이라는 반복 적용 메커니즘을 도입하면서, 초기 언어 L₀를 유한 집합으로 두고 템플릿 집합 T도 유한하게 정의한다. 핵심은 템플릿을 ‘정규 표현식 형태’로 압축하고, 각 템플릿이 양쪽에 짧은 고정 접두·접미를 갖도록 설계함으로써, 동일한 재조합 규칙을 여러 문자열에 동시에 적용할 수 있게 만든 것이다. 이 접근법은 기존 모델 대비 템플릿 수를 약 30% 이상 감소시키고, 알파벳을 {a,b}와 같은 최소 두 문자로 축소한다.

또한, 저자들은 CTGR(문맥 템플릿‑유도 재조합) 시스템에 ‘permitting contexts’를 추가한다. 이는 특정 템플릿이 적용될 때, 해당 문자열이 미리 정의된 컨텍스트 문자열을 포함해야만 허용되는 제어 메커니즘이다. 이러한 제어는 템플릿 적용을 조건부로 제한함으로써, 유한 템플릿 집합만으로도 무한히 복잡한 계산을 구현할 수 있게 만든다. 구체적으로, 저자는 두 개의 기본 연산(복제와 교환)을 허용 컨텍스트와 결합해 스택 기반 기계의 동작을 시뮬레이션하고, 이를 통해 튜링 머신과 동등한 계산 능력을 증명한다.

이론적 증명은 다음과 같이 전개된다. (1) 정규 언어는 iterated TGR 시스템으로 완전하게 생성 가능함을 보이고, (2) 허용 컨텍스트를 이용해 CTGR 시스템이 무한 상태와 전이 규칙을 표현할 수 있음을 보이며, (3) 이를 통해 임의의 튜링 기계의 전이 함수를 유한 템플릿과 컨텍스트 조합으로 매핑한다. 결과적으로, ‘유한 초기 언어 + 유한 템플릿 + 허용 컨텍스트’만으로도 튜링 완전성을 달성한다는 강력한 결론에 도달한다.

생물학적 함의 측면에서, 실제 섬모충은 제한된 수의 ‘스크램블링 템플릿’만을 보유하고도 복잡한 유전자 재배열을 수행한다는 관찰과 일치한다. 따라서 본 모델은 생물학적 현실성을 높이며, 인공 DNA 나노기술에서 제한된 리소스로 복잡한 문자열 변환을 구현하는 설계 원칙을 제공한다.