非交叉词的迭代发夹完全性
摘要：迭代发型别针完成是一种受到DNA生物化学中发型别针形成的启发的形式语言操作。一个词（或者更准确地说，一个单例语言）的迭代发型别针完成始终是一个上下文相关的语言，并且对于一些词来说，已知它是非上下文无关的。然而，迭代发型别针完成的一个给定词是否是正则的是未知的。同时，文献中也提出了一个问题，即一个词的迭代发型别针完成是否可以是上下文无关但不是正则的。在本文中，我们研究了非交叉词的迭代发型别针完成，并在这个设置中能够回答这两个问题。对于非交叉词，我们证明了迭代发型别针完成的正则性是可判定的，并且如果非交叉词的迭代发型别针完成不是正则的，那么它也不是上下文无关的。
作者：Lila Kari, Steffen Kopecki, Shinnosuke Seki
论文ID：1110.0760
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2011-10-05