[論文レビュー] Autonomous Push-down Automaton Built on DNA

Tadeusz Krasiński, Sebastian Sakowski+1 more|arXiv (Cornell University)|Jan 1, 2012

DNA and Biological Computing参考文献 13被引用数 12

ひとこと要約

本論文は、バイオ分子反応を活用してスタックベースの計算をシミュレートする、DNAベースの自律的プッシュダウンオートマトン（PDA）の実装を提案している。カヴァリエレら（2005）にインspiredされ、DNAストランドと酵素反応を用いて状態遷移とスタック操作を実行する。生物学的分子を用いた理論的無限記憶計算装置の実験的実装として、実現可能性を示している。

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ストランドディスプレースメントと酵素反応を用いてスタック操作（プッシュ／ポップ）を実装することを目的とする。
• DNA分子を用いた自己完結的かつ自律的な計算装置の実現可能性を示すこと。

提案手法

• PDAモデルにおける状態とスタック記号をDNAストランドで表現する。
• 状態遷移とスタック操作のシミュレーションに、DNAストランドディスプレースメント反応を用いる。
• 反応の順序を制御し自律性を確保するために、レコビナーゼやヌクレアーゼなどの酵素を統合する。
• スタックベースの記憶と状態依存の遷移を再現する反応ネットワークを設計する。
• DNAハイブリダイゼーションと酵素処理の固有の特異性に依存し、正しく動作することを保証する。
• カヴァリエレら（2005）の研究を基盤とし、外部干渉への依存を低減し自律性を向上させた。

実験結果

リサーチクエスチョン

• RQ1 DNA分子と酵素反応を用いて、自己持続的にプッシュダウンオートマトンを実装できるか？
• RQ2 どのようにしてDNAベースのシステムでスタック操作（プッシュとポップ）を信頼性高く符号化・実行できるか？
• RQ3 どのバイオ分子的コンponentsがPDAにおける自律的状態遷移を実現するために十分か？
• RQ4 DNAベースのシステムは、理論的PDAの無限記憶能力をどの程度模倣できるか？
• RQ5 初期入力後、外部制御を一切必要とせず動作することができるか、真正の自律性が確保されるか？

主な発見

• 提案されたDNAベースのPDAは、バイオ分子反応を用いて理論的プッシュダウンオートマトンの動作を効果的に再現した。
• DNAストランドディスプレースメントと酵素処理を通じて、スタック操作（プッシュ／ポップ）が正確にシミュレートされた。
• 入力後、実行中に外部操作を一切必要とせず自律的に動作した。
• DNA分子を用いた無限記憶を有する複雑な計算モデルの実現可能性が実証された。
• カヴァリエレら（2005）の研究を基盤としながら、自律性と生物学的妥当性の両面で向上を達成した。
• 結果は、DNA計算が抽象的計算モデルを物理的分子フレームワークで実装する可能性を裏付けた。