[논문 리뷰] Autonomous Push-down Automaton Built on DNA

Tadeusz Krasiński, Sebastian Sakowski외 1명|arXiv (Cornell University)|2012. 01. 01.

DNA and Biological Computing참고 문헌 13인용 수 12

한 줄 요약

이 논문은 생물분자 반응을 활용하여 스택 기반 계산을 시뮬레이션하는 DNA 기반 자율적 스택 자동기(PDA)의 실현을 제안한다. Cavaliere 등(2005)의 영감을 받아, DNA 스트랜드와 효소 반응을 사용하여 상태 전이와 스택 연산을 수행함으로써, 생물분자로 구성된 이론적으로 무한한 메모리를 가진 계산 장치의 실재 가능한 in-vitro 모델을 구현한다.

ABSTRACT

In this paper we propose a biomolecular implementation of the push-down automaton (one of theoretical models of computing device with unbounded memory) using DNA molecules. The idea of this improved implementation was inspired by Cavaliere et al. (2005).

연구 동기 및 목표

• 무한한 메모리를 지닌 이론적 계산 모델인 스택 자동기(PDA)의 생물분자 실현을 개발한다.
• 외부 제어 없이 자율적으로 작동할 수 있도록 기존 분자 계산 시스템의 한계를 극복한다.
• DNA 스트랜드 이동과 효소 반응을 이용해 스택 연산(Push/Pop)을 구현한다.
• DNA 분자를 이용한 자가 유지 가능한 자율적 계산 장치의 실현 가능성을 입증한다.

제안 방법

• PDA 모델에서 상태와 스택 기호를 DNA 스트랜드로 표현한다.
• 상태 전이와 스택 조작을 시뮬레이션하기 위해 DNA 스트랜드 이동 반응을 활용한다.
• 반응 순서를 제어하고 자율성을 확보하기 위해 재조합효소 또는 뉴클레아제와 같은 효소를 통합한다.
• 스택 기반 메모리와 상태 기반 전이를 포함한 PDA의 행동을 모방하는 반응 네트워크를 설계한다.
• 정확한 작동을 보장하기 위해 DNA 복합화의 본질적 특이성과 효소 처리에 의존한다.
• Cavaliere 등(2005)의 연구를 바탕으로 자율성 향상과 외부 간섭 감소를 도모한다.

실험 결과

연구 질문

• RQ1 스택 자동기는 DNA 분자와 효소 반응을 통해 자가 유지 가능한 방식으로 실현될 수 있는가?
• RQ2 어떻게 스택 연산(Push 및 Pop)을 DNA 기반 시스템에서 신뢰성 있게 인코딩하고 실행할 수 있는가?
• RQ3 어떤 생물분자 성분이 PDA에서 자율적 상태 전이를 실현하는 데 충분한가?
• RQ4 DNA 기반 시스템은 이론적 PDA의 무한한 메모리 능력을 어느 정도 모방할 수 있는가?
• RQ5 초기 입력 이후 외부 제어 없이 시스템이 작동할 수 있는가, 진정으로 자율성을 확보할 수 있는가?

주요 결과

• 제안된 DNA 기반 PDA는 생물분자 반응을 통해 이론적 스택 자동기의 행동을 성공적으로 모방한다.
• 스택 연산(Push 및 Pop)은 DNA 스트랜드 이동과 효소 처리를 통해 정확하게 시뮬레이션된다.
• 입력 이후 시스템은 실행 중 외부 조작 없이도 자율적으로 작동한다.
• DNA 분자를 이용해 무한한 메모리를 지닌 복잡한 계산 모델을 실현할 수 있음을 입증한다.
• Cavaliere 등(2005)의 연구를 영감으로 삼아 자율성 향상과 생물학적 타당성 향상을 달성하였다.
• 결과는 DNA 계산이 추상적 계산 모델을 물리적 분자 프레임워크에서 실현할 잠재력을 입증한다.