以生物学的相关知识为背景,在国内外对DNA计算与DNA计算机研究的基础上,利用DNA分子链具有的Watson-Crick互补结构和其巨大的并行性这两大生物特征所呈现的数学特征,在经典自动机的基础上定义了DNA自动机、DNA正则语言及DNA正则文法,并证明DNA正则语言与DNA正则文法的对应关系.