Watson-Crick上下文无关文法的成员问题的实际方面
摘要：基于DNA计算的Watson-Crick语言及其模型和确定语言成员的算法的研究 一种基于广度优先搜索的状态空间搜索算法，利用多种优化和启发式方法在实际应用中高效地分析更长的输入 根据死胡同的启发式方法和选择最有希望的分支继续搜索的启发式方法对状态空间进行修剪 这两种算法已经在20种不同的Watson-Crick语法上进行了测试（包括它们的乔姆斯基范式版本），而且在几乎所有种类的语法和输入上，WK-CYK能够在合理的时间内确定语言成员，并且其性能非常稳定，而状态空间搜索通常（89-98％的情况下）更高效，并能够计算数百甚至数千个符号长度的输入。因此，状态空间搜索具有成为实际Watson-Crick成员测试的良好工具的潜力，并且为今后提高算法效率构建了良好基础。
作者：Jan Hammer, Zbynv{e}k Kv{r}ivka
论文ID：2209.03655
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-09-09