计算科学的新领域：dna计算（ⅱ）

dna计算是应用分子生物技术进行计算的新方法。从理论上研究dna计算方法，有利于推动理论计算科学的发展。本系列文章应用形式语言及自动机理论技术，系统地探讨了dna分子的可计算性及其计算能力。本文主要介绍dna分子粘接计算模型的文法结构和计算方法，探讨了不同粘接计算模型的计算能力，并证明了dna有穷自动机与正规文法的等价性。