论文部分内容阅读
文中研究了DNA分子杂交的内在计算能力．一方面，文中基于Winfree先前关于线性分子自装配仅能产生正则语言工作的基础上，进一步扩展证明了线性自装配通过杂交分别表示左、右线性派生的线性分子，也能产生线性语言．另一方面，文中定义了一种新的通过上下文无关语言通过自装配产生线性语言的方法，即证明了等价于上下文无关语言的特定序列集能通过1-，2-，3-粘头分子的混合自装配产生线性语言，同时，这是对Winfree关于树状纳米结构自装配等价于上下文无关语言理论的一个较好的补充．