DNA码性质的转换器描述及反形态问题的不可判定性
形式语言与自动机理论
2015-03-03 v1 计算复杂性
摘要
本工作关注DNA码性质的形式描述，并建立在先前关于经典码性质的转换器描述和DNA码性质的轨迹描述的工作之上。这一研究路线允许我们将一个性质作为算法的输入，连同任意正则语言，从而可回答关于该语言和性质的问题。在此我们通过转换器定义DNA码性质，并表明该方法比轨迹方法严格更具表达力，且不牺牲判定满足性问题的效率。我们还表明最大性问题可能是不可判定的。我们的不可判定性结果不仅适用于固定的DNA对合，也适用于任意固定的反形态置换。此外，我们还展示了对于任意固定反形态置换，Post对应问题的反形态版本的不可判定性。
引用
@article{arxiv.1503.00035,
title = {Transducer Descriptions of DNA Code Properties and Undecidability of Antimorphic Problems},
author = {Lila Kari and Stavros Konstantinidis and Steffen Kopecki},
journal= {arXiv preprint arXiv:1503.00035},
year = {2015}
}