【摘 要】
：
插入-删除系统是一类受生物过程中错配退火的DNA序列启发的计算模型.本文研究了使用单边插入规则或删除规则的插入-删除系统的计算能力.研究表明,插入1个符号(上下文参数是(2
【机 构】
：
华中科技大学自动化学院图像信息处理和智能控制教育部重点实验室
论文部分内容阅读
插入-删除系统是一类受生物过程中错配退火的DNA序列启发的计算模型.本文研究了使用单边插入规则或删除规则的插入-删除系统的计算能力.研究表明,插入1个符号(上下文参数是(2,0))并且删除2个符号(上下文参数是(0,1))的插入-删除系统是通用的;插入1个符号(上下文参数是(0,1))并且删除1个符号(上下文参数是(1,0))的插入-删除系统是不通用的;另外,本文还给出了3个通用的单边插入-删除膜系统,而在插入-删除系统中,它们是不通用的.这些结果部分回答了[Proceedings of 12th International Workshop on Descriptional Complexity of Formal Systems,2010,88-98]中提出的公开问题.
其他文献
BiOClxBr1?x catalysts were synthesized through an alcoholysis method and characterized by X-ray diff raction (XRD), transmission electron microscopy (TEM), high
In 2008, around 596 000 t of aluminum dross was generated from secondary aluminum industry in China; however, it was not sufficiently recycled yet. Approximatel
The desulfurater (BaAl2O4) was successfully synthesized with BaCO3 and Al(OH)3 powders as raw materials by microwave sintering method. The mass loss of raw mate
Isometric heat capacity cv and isobar heat capacity cp of Ru metal in HCP, FCC, BCC and liquid state were calculated by using pure element systematic theory. Th
目的了解湖南省和湖北省县级血吸虫病防治专业人员的血防知识掌握情况,为当地血防机构的能力建设等提供参考。方法以理论考试的形式调查湖南省和湖北省12个血吸虫病流行县的
目的研究日本血吸虫新基因Sj79的结构特征及特点,并进行RNA干扰以观察其RNAi效应,为进一步研究其在抗血吸虫生殖发育中的作用及机制提供依据。方法利用NCBI数据库中已公开的
用交替惩罚三线性分解算法(APTLD)结合三维荧光光谱法给出的二维数据对酪氨酸、苯丙氨酸和色氨酸进行了同时定性定量分析,为直接同时测定混合氨基酸中此三种物质提供了一种新