关于单词的迭代发夹完备性
摘要：DNA芯片完成是一种抽象操作，用于模拟DNA生物操作。它接收一个DNA链w = xalpha y calpha作为输入，并输出w' = x alpha y bar{alpha} bar{x}，其中bar{x}表示x的Watson-Crick互补。本文重点研究了在给定单词的迭代DNA芯片完成中找到正则性的条件问题。根据启动DNA芯片完成并散布它们的单词alpha和calpha的数量，我们对所有单词w进行了分类。对于一些包含少量alpha和calpha出现次数的基本单词w的类别，我们证明了w的迭代DNA芯片完成是正则的。对于其他包含较高alpha和calpha出现次数的类别，我们证明了迭代DNA芯片完成在这些类别中的单词是正则的一个必要且充分条件。
作者：Lila Kari and Steffen Kopecki and Shinnosuke Seki
论文ID：1104.2385
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2011-04-14