判定正则语言的发夹补全是否为正则是NL完全的
形式语言与自动机理论
2011-01-26 v1 计算复杂性
摘要
发夹补全是受生物化学中发夹形成启发而定义的形式语言上的一种运算。发夹形成自然发生在DNA计算中。已知正则语言的发夹补全是线性上下文无关的，但通常不是正则的。然而，一段时间以来，正则语言的发夹补全的正则性是否可判定一直是一个开放问题。2009年，通过给出一个多项式时间算法，该可判定性问题得到了肯定解决。在本文中，我们通过证明该判定问题实际上是NL完全的，改进了复杂度界。该复杂度界对单侧和双侧发夹补全都成立。
引用
@article{arxiv.1101.4824,
title = {It Is NL-complete to Decide Whether a Hairpin Completion of Regular Languages Is Regular},
author = {Volker Diekert and Steffen Kopecki},
journal= {arXiv preprint arXiv:1101.4824},
year = {2011}
}