摘要：决定是否一个由最小自动机或者语法半群给出的语言是局部可测试的一组程序的实施。确定过渡图的局部可测试顺序和过渡半群的局部可测试顺序界限。验证给定k的过渡图的k可测试性。使用了一些新的有效多项式时间算法。这些算法已被实现为一个C / C ++包。
作者：A.N.Trahtman
论文ID：2105.12583
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-05-27
PDF 下载： 英文版 中文版pdf翻译中