28、文本索引数据结构与可测试性检查工具

文本索引数据结构与可测试性检查工具

在文本处理和自动机理论领域，有两个关键的研究方向：一是用于文本索引的数据结构，二是用于检查自动机和半群各种可测试性的工具。下面将详细介绍相关内容。

1. 可测试性检查工具 TESTAS

TESTAS 是一个用于检查自动机和半群多种可测试性的工具包，它实现了一系列程序，可以判断由最小自动机或语法半群给出的语言是否具有局部可测试性、左右局部可测试性、阈值局部可测试性、严格局部可测试性或分段可测试性，还能找到转移图和转移半群的局部可测试性阶的边界，并验证给定 k 下转移图的 k - 可测试性。

1.1 相关概念和已有研究

• 局部可测试语言 ：长文本是否属于局部可测试语言，仅取决于对文本短子模式的扫描。例如，可以类比为对二维图像进行分类的计算过程，通过一个相对较小的窗口在图像上移动，记录通过窗口观察到的图像的各种属性，而不记录属性的观察顺序、出现位置或出现次数。
• 局部阈值可测试语言 ：由 Beauquier 和 Pin 引入，是局部可测试语言概念的推广，近年来得到了广泛研究。
• 左右局部可测试性 ：由 K¨onig 以及 Garcia 和 Ruiz 引入并研究，这里采用 Garcia 和 Ruiz 的定义：有限半群 S 是右（左）局部可测试的，当且仅当它是局部幂等的，并且局部满足等式 xyx = xy（xyx = yx）。

已有一些用于操作自动机和半群的系统，如 REGPACK、AUTOMATE、AMoRE 等，但 TESTA