这是证明一种语言不是正则的泵浦引理：如果L是正则语言，则存在一个常量N，使得对于L中的每个z，|z|>=N，可以将z划分为三个子字符串（uvw=z），使得：
1)|uv|<=N;
2)|v|>=1;
3)For each k>=0, uv^kw in L.
N必须小于或等于DFA接受L的最小状态数。因此，为了应用泵浦引理，我需要知道有多少个状态将具有最小DFA接受L.有办法知道有多少状态将具有反向吗？那么，在不构建最小DFA的情况下，是否有可能知道最小数量的状态？
N必须小于或等于DFA的最小状态数接受L
N不能小于接受L的最小DFA中的状态数；否则，DFA不能接受L（如果可以的话，那么DFA接受的L将小于接受L的最小DFA，这是一个矛盾）。我们可以放心地假设N等于接受L的最小DFA中的状态数（这样的DFA是唯一的）。
因此，为了应用泵浦引理，我需要知道有多少个态接受L 的最小DFA
这并非完全正确。在大多数抽运引理证明中，N实际上是什么并不重要；您只需要确保目标字符串满足其他属性。给定DFA，可以确定最小DFA将具有多少状态；然而，如果你有一个DFA，就不需要麻烦抽运引理，因为你已经知道L是正则的。事实上，确定一个N，使得存在一个最小DFA，其中N个状态接受L，构成了所讨论的语言确实是正则的有效证明。
因此，有可能知道没有建筑的州的最小数量最小DFA？
通过分析语言的描述并使用Myhill-Nerod定理，可以构建一个语言是正则的证明，并找到最小DFA中的状态数，而无需实际构建最小DFA（尽管一旦使用Myhill Nerode完成了这样的证明，构建最小DFA。您还可以使用Myhill Nerode作为泵浦引理的替代方案，通过显示最小DFA来证明语言不是正则的，因为语言需要有无限多个状态，这是一个矛盾。
请让我知道这些观察是否回答了你的问题；我很乐意提供更多的澄清。