与相同常规语言的最小无歧义有限自动机（UFA）相比，NFA有多小？

明确的有限自动机（UFA）是非确定性有限自动机（NFA）的特殊类型。

一个NFA被称为明确，如果每一个字最多有一个接受的路径。$w\in \Sigma^*$

这意味着。$DFA\subset UFA\subset NFA$

已知的相关自动机结果：

1. NFA最小化是PSPACE-Complete。
2. 有限语言上的NFA最小化是DP-Hard。
3. UFA最小化是NP-Complete。
4. 存在比最小DFA指数小的NFA。（此外-存在比最小DFA小得多的UFA-RB）。

现在的问题是：我们能找到一个正规语言使得存在一个NFA接受大号是成倍比最小小（国家明智）UFA的大号？有限的语言会发生这种情况吗？$L$$L$$L$

我相信存在（有限），但是我的证明目前依赖于指数时间假设，并且想知道是否有人有不依赖它的证明。$L$

另外，有人可以描述存在这种大小差异的语言集吗？

编辑：@Shaull很好地链接到处理无限语言的论文。有谁知道有限语言的类似结果？

我认为Leung的IJFCS'05论文：不同歧义性的nfa的描述复杂性 提供了一个例子，即NFA系列接受有限的语言，涉及“歧义消歧”的指数爆炸（定理5的证明）。

而且，这些自动机具有特殊的结构（具有多个初始状态的DFA）。

结果甚至比您的要求还强：

存在指数歧义的NFA，其最小多项式歧义的NFA尤其是最小的UFA呈指数增长。

查阅梁兴良的这篇论文。