当前位置:
X-MOL 学术
›
Int. J. Found. Comput. Sci.
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Left is Better Than Right for Reducing Nondeterminism of NFAs
International Journal of Foundations of Computer Science ( IF 0.8 ) Pub Date : 2021-04-23 , DOI: 10.1142/s0129054121410069 Sang-Ki Ko 1 , Yo-Sub Han 2
International Journal of Foundations of Computer Science ( IF 0.8 ) Pub Date : 2021-04-23 , DOI: 10.1142/s0129054121410069 Sang-Ki Ko 1 , Yo-Sub Han 2
Affiliation
We study the NFA reductions by invariant equivalences and preorders. It is well-known that the NFA minimization problem is PSPACE-complete. Therefore, there have been many approaches to reduce the size of NFAs in low polynomial time by computing invariant equivalence or preorder relation and merging the states within same equivalence class. Here we consider the nondeterminism reduction of NFAs by invariant equivalences and preorders. We, in particular, show that computing equivalence and preorder relation from the left is more useful than the right for reducing the degree of nondeterminism in NFAs. We also present experimental evidence for showing that NFA reduction from the left achieves the better reduction of nondeterminism than reduction from the right.
中文翻译:
在减少 NFA 的不确定性方面,左比右好
我们通过不变的等价和预定来研究 NFA 的减少。众所周知,NFA 最小化问题是 PSPACE 完全的。因此,有许多方法可以通过计算不变等价或前序关系并合并同一等价类中的状态来在低多项式时间内减小 NFA 的大小。在这里,我们考虑通过不变等价和预序对 NFA 的非确定性减少。特别是,我们表明从左侧计算等价和前序关系比从右侧计算对于降低 NFA 中的非确定性程度更有用。我们还提供了实验证据,表明从左侧减少 NFA 比从右侧减少更能减少不确定性。
更新日期:2021-04-23
中文翻译:
在减少 NFA 的不确定性方面,左比右好
我们通过不变的等价和预定来研究 NFA 的减少。众所周知,NFA 最小化问题是 PSPACE 完全的。因此,有许多方法可以通过计算不变等价或前序关系并合并同一等价类中的状态来在低多项式时间内减小 NFA 的大小。在这里,我们考虑通过不变等价和预序对 NFA 的非确定性减少。特别是,我们表明从左侧计算等价和前序关系比从右侧计算对于降低 NFA 中的非确定性程度更有用。我们还提供了实验证据,表明从左侧减少 NFA 比从右侧减少更能减少不确定性。