[논문 리뷰] Hairpin Incompletion : An Extension of Bounded Hairpin Completion

Fumiya Okubo, Takashi Yokomori|arXiv (Cornell University)|2011. 02. 17.

DNA and Biological Computing인용 수 1

한 줄 요약

이 논문은 유한한 헤어핀 완성과 관련된 새로운 형식 언어 연산인 헤어핀 불완전성(hairpin incompletion)을 소개한다. 이는 유한한 헤어핀 연장의 변형으로, 분자 생물학에서의 윗줄기 PCR(Whiplash PCR)를 모델링하며, 폐쇄 성질을 입증한다. 정규 집합과의 교집합, 정규 집합과의 연결, 유한한 합집합에 대해 닫혀 있는 언어 가족은 한쪽 방향 반복적 헤어핀 불완전성에 대해 닫혀 있으며, 선형 언어를 포함하고 원형 순열, 왼쪽 도함수, 치환에 대해 닫혀 있는 언어 가족 역시 반복적 헤어핀 불완전성에 대해 닫혀 있다.

ABSTRACT

Hairpin completion and its variant called bounded hairpin completion are operations on formal languages, inspired by a hairpin formation in molecular biology. Another variant called hairpin lengthening has been recently introduced and studied on the closure properties and algorithmic problems concerning several families of languages. In this paper, we introduce a new operation of this kind, called hairpin incompletion which is not only an extension of bounded hairpin completion, but also a restricted (bounded) variant of hairpin lengthening. Further, the hairpin incompletion operation provides a formal language theoretic framework that models a bio-molecular technique nowadays known as Whiplash PCR. We study the closure properties of language families under both the operation and its iterated version. We show that a family of languages closed under intersection with regular sets, concatenation with regular sets, and finite union is closed under one-sided iterated hairpin incompletion, and that a family of languages containing all linear languages and closed under circular permutation, left derivative and substitution is also closed under iterated hairpin incompletion.

연구 동기 및 목표

• 분자 생물학, 특히 윗줄기 PCR을 영감으로 삼은 형식 언어 이론의 새로운 연산을 공식화하는 것.
• 유한한 헤어핀 완성의 일반화를 통해 제약 조건을 확장하는 새로운 연산을 도입하는 것.
• 헤어핀 불완전성과 그 반복 형태에 대해 언어 가족의 폐쇄 성질을 조사하는 것.
• 헤어핀 불완전성을 사용하여 윗줄기 PCR의 계산적 행동을 이해하기 위한 이론적 프레임워크를 제공하는 것.

제안 방법

• 헤어핀 연장의 제한적이고 유한한 변형으로서 헤어핀 불완전성을 정의하며, 이는 유한한 헤어핀 완성의 일반화이다.
• 정규 집합과의 교집합 및 정규 집합과의 연결을 포함한 언어 이론적 구성요소를 사용해 이 연산을 공식화한다.
• 반복적인 PCR 유사 과정을 모델링하기 위해 한쪽 방향 반복적 헤어핀 불완전성의 개념을 도입한다.
• 원형 순열, 왼쪽 도함수, 치환에 대한 폐쇄성을 활용하여 반복 연산에 대한 폐쇄성을 분석한다.
• 언어 가족이 이 연산에 대해 닫혀 있는 조건을, 구조적 성질에 기반해 설정한다.
• 실제 분자 기법인 윗줄기 PCR을 모델링하기 위해 이 연산을 적용하며, 형식 언어 이론과 분자 생물학을 연결한다.

실험 결과

연구 질문

• RQ1 헤어핀 불완전성은 어떻게 유한한 헤어핀 완성의 연장이며, 헤어핀 연장과 어떤 관계가 있는가?
• RQ2 한쪽 방향 반복에 대해 헤어핀 불완전성은 어떤 폐쇄 성질을 보이는가?
• RQ3 어느 언어 가족이 반복적 헤어핀 불완전성에 대해 닫혀 있는가?
• RQ4 이 연산은 윗줄기 PCR과 같은 실제 분자 기법을 모델링할 수 있는가?
• RQ5 언어 가족의 어떤 구조적 조건이 헤어핀 불완전성에 대해 폐쇄성을 보장하는가?

주요 결과

• 헤어핀 불완전성은 헤어핀 연장의 유한한 변형이며, 유한한 헤어핀 완성의 확장이다.
• 정규 집합과의 교집합, 정규 집합과의 연결, 유한한 합집합에 대해 닫혀 있는 언어 가족은 한쪽 방향 반복적 헤어핀 불완전성에 대해 닫혀 있다.
• 모든 선형 언어를 포함하고 원형 순열, 왼쪽 도함수, 치환에 대해 닫혀 있는 언어 가족은 반복적 헤어핀 불완전성에 대해 닫혀 있다.
• 이 연산은 실제 생물 분자 기법인 윗줄기 PCR을 형식 언어 이론적으로 모델링할 수 있다.
• 폐쇄 결과는 PCR 기반 분자 연산의 계산 능력을 분석하기 위한 이론적 기초를 제공한다.