关于 k-块确定性的可判定性
形式语言与自动机理论
2017-05-31 v1
摘要
Brüggemann-Klein 和 Wood 将单义正则语言定义为可被确定性 Glushkov 自动机识别的语言。他们给出了一个在最小 DFA 上执行的程序，即 BW 测试，以判定一个语言是否为单义的。块确定性是单义性的扩展，同时将非空词视为符号，并将前缀无关性视为确定性。如果一个块自动机没有两个等价状态（相同的右语言），则它是紧凑的。我们证明了，如果一个语言被某个通过 BW 测试的确定性 k-块自动机识别，则该语言是 k-块确定性的。在本文中，我们证明任何 k-块确定性语言都可被一个通过 BW 测试的紧凑确定性 k-块自动机识别。我们还给出了一个程序，用于枚举给定语言的有限紧凑确定性 k-块自动机集合。这为我们提供了一个可判定程序，用于测试一个语言是否为 k-块确定性的。
关键词
引用
@article{arxiv.1705.10625,
title = {On the decidability of $k$-Block determinism},
author = {Pascal Caron and Ludovic Mignot and Clément Miklarz},
journal= {arXiv preprint arXiv:1705.10625},
year = {2017}
}
备注
15 pages, 13 figures, Submitted to Information and Computation, Continuing arXiv:1512.05475