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

본 논문은 스플라이싱 이론을 확장하여 ‘일반화된 스플라이싱(Generalised Splicing, GS)’과 ‘일반화된 자기조립(Generalised Self‑Assembly, 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. **유한언어**: 두 유한 언어 L₁, L₂ 의 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 재조합을 모델링할 때, 서로 다른 종류의 서열(예: 프로모터와 코딩 구역) 사이의 교차 결합을 이론적으로 다룰 수 있는 가능성을 열어준다. 또한, GSA를 통해 문자열이 임의의 공통 부분 문자열을 매개로 교차 결합할 수 있음을 보임으로써, 전통적인 ‘끝‑끝’ 혹은 ‘시작‑시작’ 제한을 넘어선 보다 풍부한 조합 구조를 제시한다.