[논문 리뷰] On the Iterated Hairpin Completion

Steffen Kopecki|arXiv (Cornell University)|2010. 01. 01.

DNA and Biological Computing참고 문헌 15인용 수 6

한 줄 요약

이 논문은 형식 언어 이론에서 반복된 헤어핀 완성에 관한 두 개의 열린 문제를 해결한다: 정규 언어가 유한한 유계 헤어핀 완성에 대해 닫혀 있음을, 합집합, 정규 집합과의 교차, 정규 집합과의 연결에 대한 닫힘 성질을 사용하여 증명한다; 그리고 싱글턴 언어의 반복 헤어핀 완성이 항상 문맥 자유 언어가 아니라는 것을 보이며, 실제로는 문맥 민감하지만 문맥 자유 언어가 아닌 구체적인 예를 제시한다.

ABSTRACT

The (bounded) hairpin completion and its iterated versions are operations on formal lan- guages which have been inspired by the hairpin formation in DNA-biochemistry. The paper answers two questions asked in the literature about the iterated hairpin completion. The first question is whether the class of regular languages is closed under iterated bounded hairpin completion. Here we show that this is true by providing a more general result which applies to all the classes of languages which are closed under finite union, intersection with regular sets, and concatenation with regular sets. In particular, all Chomsky classes and all standard complexity classes are closed under iterated bounded hairpin completion. In the second part of the paper we address the question whether the iterated hairpin completion of a singleton is always regular. In contrast to the first question, this one has a negative answer. We exhibit an example of a singleton language whose iterated hairpin completion is not regular, actually it is not context-free, but context-sensitive.

연구 동기 및 목표

• 반복 유계 헤어핀 완성에 대해 정규 언어가 닫혀 있는지 여부라는 열린 문제를 해결하기 위해.
• 싱글턴 언어의 반복 헤어핀 완성이 항상 정규 언어인지 여부를 규명하기 위해.
• 반복 헤어핀 완성의 계산 복잡도와 구조적 성질을 분석하기 위해.
• 기본적인 닫힘 연산을 사용하여 반복 유계 헤어핀 완성의 특성화를 제공하기 위해.
• 헤어핀 완성 연산의 맥락에서 결정 가능성과 계층 질문을 탐색하기 위해.

제안 방법

• 유한한 합집합, 정규 집합과의 교차, 정규 집합과의 연결을 사용하여 반복 유계 헤어핀 완성의 일반적 표현을 제안한다.
• 언어 클래스가 이러한 연산에 대해 닫혀 있음을 이용하여 반복 유계 헤어핀 완성에 대한 닫힘 성질을 증명한다.
• 특정 싱글턴 언어의 반복 헤어핀 완성이 문맥 민감하지만 문맥 자유 언어가 아닌 예를 구성한다.
• 펌핑 보조정리와 구조 분석을 적용하여 구성된 언어의 비문맥 자유성 증명한다.
• 로그형 공간을 갖는 비결정성 튜링 기계를 사용하여 정규 언어의 반복 유계 헤어핀 완성이 NL에 속함을 보인다.
• 접두사 시퀀스와 헤어핀 완성 단계를 추적하여 반복 완성 내 단어의 구조를 분석한다.

실험 결과

연구 질문

• RQ1 정규 언어의 집합은 반복 유계 헤어핀 완성에 대해 닫혀 있는가?
• RQ2 싱글턴 언어의 반복 헤어핀 완성은 항상 정규 언어인가?
• RQ3 싱글턴 언어의 반복 헤어핀 완성은 비문맥 자유 언어가 될 수 있는가?
• RQ4 정규 언어의 반복 유계 헤어핀 완성의 소속 문제의 계산 복잡도는 무엇인가?
• RQ5 두 정규 언어의 반복 헤어핀 완성에 공통 원소가 있는지 결정하는 문제는 결정 가능한가?

주요 결과

• 정규 언어의 집합은 반복 유계 헤어핀 완성에 대해 닫혀 있으며, 이는 체옴스키 계층의 모든 클래스와 표준 복잡도 클래스 역시 마찬가지이다.
• 싱글턴 언어의 반복 헤어핀 완성은 비문맥 자유 언어가 될 수 있다; 실제로는 문맥 민감하지만 문맥 자유 언어가 아닌 구체적인 예가 구성된다.
• 언어 R ∩H∗k({w}) = {wurvurwurw | r ≥1} 는 비문맥 자유 언어임을 보여주며, 이는 H∗k({w})의 비문맥 자유성을 증명한다.
• 정규 언어의 반복 유계 헤어핀 완성 언어는 NL에 속하며, 소속 여부는 상수 요소를 고려할 때 선형 시간 내에 테스트할 수 있다.
• 정규 언어의 반복 유계 헤어핀 완성 언어를 인식하는 NFA의 크기에 대해 지수적 하한 및 상한을 설정한다.
• 유계 경우에서 두 정규 언어의 반복 헤어핀 완성에 공통 원소가 있는지 여부를 NFA 교차를 통해 결정 가능하다.