插入-删除系统是一类受生物过程中错配退火的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]中提出的公开问题.
