多项式时间内决定正则语言的发夹完成的规律
摘要：DNA生物化学中的发夹形成和DNA计算激发了对于形式语言的发夹补全的研究。在本文中，我们研究了正则语言的发夹补全。发夹补全的正则语言是线性上下文无关的，并不一定是正则语言。由于（线性）上下文无关语言的正则性是不可判定的，于是产生了发夹补全的正则语言的正则性是否可判定的问题。我们证明了这个问题是可判定的，并给出了一个多项式时间算法。此外，我们证明了发夹补全的正则语言是一个无歧义的线性上下文无关语言，并且它具有可计算的增长函数。此外，我们证明了发夹补全的增长是指数级的，当且仅当底层语言的增长是指数级的，并且在发夹补全是正则语言的情况下，发夹补全和底层语言具有相同的增长指标。
作者：Volker Diekert, Steffen Kopecki and Victor Mitrana
论文ID：1108.2427
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2011-08-12