期刊文献+

DNA纳米结构自装配的语言能力分析(英文)

Language Capability Analysis of DNA Nanostructure's Self-Assembly
下载PDF
导出
摘要 文中研究了DNA分子杂交的内在计算能力.一方面,文中基于Winfree先前关于线性分子自装配仅能产生正则语言工作的基础上,进一步扩展证明了线性自装配通过杂交分别表示左、右线性派生的线性分子,也能产生线性语言.另一方面,文中定义了一种新的通过上下文无关语言通过自装配产生线性语言的方法,即证明了等价于上下文无关语言的特定序列集能通过1-,2-,3-粘头分子的混合自装配产生线性语言,同时,这是对Winfree关于树状纳米结构自装配等价于上下文无关语言理论的一个较好的补充. The computational capabilities inherent in the hybridization of DNA molecules were examined. First, based on the Winfree's previous work which demonstrated the self-assembly of linear molecules could generate only regular language, it was proven that the linear self-assembly can also generate linear languages, by hybridizing the linear molecules which respectively represent the left and right linear derivations. Then a new way was defined to prove that the unique set of sequences equivalent to context-free languages can be obtained by mixed self-assembly of molecules with 1-, 2-, 3- sticky ends, which is a supplement for Winfree's theory that the self-assembly of dendrimer nanostructures is equivalent to context-free language.
出处 《计算机学报》 EI CSCD 北大核心 2008年第12期2160-2167,共8页 Chinese Journal of Computers
关键词 自装配 语言能力 粘头 分子 self-assembly language capability sticky ends molecule
  • 相关文献

参考文献8

  • 1Winfree Erik, Yang Xiao-Ping, Seeman N C. Universal computation via self-assembly of DNA: Some theory and experiments//Landweber L F, Baum E Beds. DNA Based Computers Ⅱ: DIMACS Workshop, 1996, 44, Providence, RI, 1998
  • 2Wang H. Proving theorems by pattern recognition Ⅱ. Bell Systems Technical Journal, 1961, 40:1-42
  • 3Winfree Erik, Liu Fu-Rong, Wenzler L A, Seeman N C. Design and self-assembly of two-dimensional DNA crystals. Nature, 1998, 394:539-544
  • 4Winfree Erik. Algorithmic self-assembly of DNA[Ph. D. dissertation]. California Institute of Technology, Pasadena, California, USA, 2003
  • 5Winfree Erik, Eng Tony, Rozenberg Grzegorz. String tile models for DNA computing by self-assembly//Condon A ed. Proceedings of the DNA 2000. LNCS 2054. Springer, 2001 : 63-88
  • 6Paun, Rozenberg G, Salomaa A. DNA Computing: New Computing Paradigms. Berlin: Springer, 2002
  • 7Jiang Zong-Li, Jiang Shou-Xu. Formal Languages and Automata Theory. Beijing: Tsinghua University Press, 2002 : 70
  • 8Dan Abrahams-Gessel (Dartmouth), Personal Communication. Berlin: Springer, 1996

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部