일반화된 스플라이싱과 자기조립의 통합 모델

초록

본 논문은 기존 스플라이싱 이론을 확장하여 두 개의 서로 다른 언어에서 선택된 문자열과 제3의 언어에 속하는 스플라이싱 규칙을 이용하는 일반화된 스플라이싱(GS) 모델을 제안한다. 또한 문자열이 공통 부분 문자열 x 위에서 교차 결합하는 일반화된 자기조립(GSA) 연산을 정의하고, GS와 GSA 사이의 동등성을 증명한다. 마지막으로 유한언어, 정규언어, 선형언어, 문맥 자유언어에 대해 GSA가 각각 동일한 언어 클래스를 유지함을 보인다.

상세 분석

논문은 먼저 전통적인 H‑시스템에서 두 문자열이 동일한 언어에서 선택되고, 제한 효소와 연결 효소의 작용을 모사하는 스플라이싱 규칙 α # β $ α′ # β′ 에 의해 교차 결합되는 과정을 설명한다. 이때 규칙 집합 R 은 무한일 수도 있어, 스플라이싱 언어의 계산 복잡도가 언어 클래스에 크게 의존한다는 점을 강조한다. 저자들은 이러한 구조를 세 개의 독립적인 구성요소—두 입력 언어 L₁, L₂와 규칙 언어 L₃—로 일반화함으로써, 기존 모델의 제한을 해소하고자 한다. 정의 1에서 제시된 GS(L₁, L₂, L₃) 는 x∈L₁, y∈L₂, r∈L₃ 에 대해 규칙 r 에 의해 생성된 두 결과 문자열 z₁, z₂ 의 집합으로 정의된다. 여기서 L₁=L₂ 이면 기존 H‑시스템과 동일함을 확인한다.

다음으로 제안된 GSA 연산은 두 문자열 u₁xv₁, u₂xv₂ 가 공통 부분 문자열 x 위에서 겹쳐서 u₁xv₂ 와 u₂xv₁ 을 생성하는 과정이다. 이는 스플라이싱 규칙 x # $ x # 에 해당한다는 점에서 GS와 동형임을 정리 1에서 증명한다. 즉, GSA는 GS의 구체적 구현 메커니즘이라 할 수 있다.

그 후 논문은 언어 클래스별로 GSA가 유지되는지를 조사한다.
1️⃣ 유한언어: 두 유한 언어의 GSA는 생성 가능한 문자열이 유한 개이므로 다시 유한언어가 된다(정리 2).
2️⃣ 정규언어: 정규 문법 G₁, G₂ 에 대해 GSA를 적용하면 새로운 문법 G 을 구성할 수 있다. 여기서는 기존 규칙을 그대로 포함하고, 공통 터미널 a 에 대해 교차 규칙 A→aB′, A′→aB 을 추가한다. 정리 3과 5는 이 문법이 생성하는 언어가 원래 두 정규언어의 GSA와 동일함을 보이며, 따라서 정규언어 클래스는 닫힌다.
3️⃣ 유한 자동기: 두 DFA M₁, M₂ 에 대해 상태와 전이 집합을 합치고, 동일 라벨 a 에 대한 전이를 교차 연결하는 새로운 DFA M을 만든다. 정리 4는 L(M)=GS A(L(M₁),L(M₂)) 임을 증명한다.
4️⃣ 선형·문맥 자유언어: 논문은 Greibach 정규형을 이용해 CFG에 대한 GSA를 정의하고, 교차 규칙을 삽입함으로써 결과 언어가 원래 두 언어의 GSA와 일치함을 보인다(증명은 정리 3과 유사하게 전개).

전체적으로 저자들은 GS와 GSA가 서로 동등함을 기반으로, 기존 스플라이싱 이론을 보다 일반적인 언어 이론의 틀 안에 끌어들인다. 특히 규칙 언어 L₃를 V⁺ ∪ {(w₁,w₂)} 형태로 제한함으로써, 실질적인 계산 모델을 단순화하고, 언어 클래스별 닫힘 성질을 명확히 확인한다. 이 접근법은 DNA 재조합을 모델링할 때, 서로 다른 종류의 서열(예: 프로모터와 코딩 구역) 사이의 교차 결합을 이론적으로 다룰 수 있는 가능성을 열어준다.