基于粘贴系统的WATSON-CRICK自动机与文法
Watson-Crick Automata and Grammars Based on Sticker System
本论利用DNA分子链具有的Watson-Crick互补结构和其巨大的并行性这两大生物特征所呈现的数学特征,在Watson-Crick自动机的基础上定义了基于粘贴系统的Watson-Crick自动机及其正则文法,并证明了基于粘贴系统的Watson-Crick正则文法与基于粘贴系统的Watson-Crick自动机等价.本文共分为5部分:引言介绍了本文的研究目的与意义、研究的背景与现状以及本文的主要研究内容:第一章介绍DNA计算、有限自动机与形式文法;第二章介绍了Watson-Crick自动机;第三章定义了基于粘贴系统的Watson-Crick自动机;第四章为本文的小结部分.
- 作者:
- 王安平
- 学位授予单位:
- 伊犁师范学院
- 专业名称:
- 基础数学
- 授予学位:
- 硕士
- 学位年度:
- 2013年
- 导师姓名:
- 汤建钢
- 中图分类号:
- Q811.4;TP301.1
- 关键词:
- DNA计算;粘贴系统;Watson-Crick自动机;Watson-Crick正则文法;Watson-Crick正则语言
- DNA computing; sticker system; Watson-Crick automaton; Watson-Crick regular grammar; Watson-Crickregular language;