计算非确定性自动机的宽度
摘要：度量自动机中的非确定性量的计量称为宽度。宽度推广了游戏符合性自动机（GFG）的概念，它对应于宽度为1的NFA，并且可以在任何接受输入上即时构建一个接受的运行。我们描述了一种增量确定化构造方法，该方法可以比完全幂集确定化方法更高效，取决于输入NFA的宽度。该构造方法可以推广到无穷字，并且特别适用于coB"uchi自动机。对于coB"uchi自动机，可以使用此过程计算确定性自动机或GFG自动机，并且在后一种情况下算法更高效。我们通过证明通过修剪检查coB"uchi自动机是否可以通过修剪确定化为NP完全来证明这一事实。对于有限或无限字，我们证明了计算自动机宽度的问题是EXPTIME完全的。这暗示了在NFA上进行多Pebble模拟游戏是EXPTIME完全的。
作者：Denis Kuperberg and Anirban Majumdar
论文ID：1811.00483
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-06-22