确定有限确定性自动机的局部阈值可测试性的算法
摘要：本文介绍了一个称为“局部阈值可检验语言 L”的语言，其特点是对于某些非负整数 k 和 l，一个词 u 是否属于语言 L 取决于以下两个因素：(1) 长度为 k > 1 的词 u 的前缀和后缀，以及 (2) 长度为 k 的词 u 的中间子串集合，其中至少出现 j 次的子串的集合相同，其中 j <= L。对于给定的 k 和 L，该语言称为 l-threshold k-testable。如果自动机接受一个 l-threshold k-testable 语言，则称该有限确定性自动机为 l-threshold k-testable。本文找到了自动机成为局部阈值可检验的必要和充分条件。我们还引入了第一个基于此特征的多项式时间算法，用于验证自动机的局部阈值可检验性。此外，还将介绍一个新版本的多项式时间算法来验证局部可检验性。
作者：A.N. Trahtman
论文ID：2105.10654
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-05-25