这里我找到了一个正则语言的例子。
L={a^n|n>=2}是正则的。显然，我们可以画出一个有3个状态的有限自动机。
我在问自己这个图会是什么样子。如果我选择n=11，这意味着该语言包含序列为11a的所有单词。这不能用一个有3个状态的图来解决，或者我错了吗？
给定的语言是L={a^n|n>=2}。这里a的最小数量是2，所以有限自动机包含3个状态(2+1(=>(q0，a(->(q1，a(->(qf，a*(。类似地，如果所需的最小a数为11(n>＝11(，则有限自动机包含12个状态(11+1(
因此，L＝｛a^n|n>＝11｝无法使用3种状态求解
给定的语言L不能使用3种状态来解决您的条件，即11a。对于每个包含11个a的序列的单词，至少应该有11个a。因此，该图应该包含(11+1(=12个状态。因此，它不能用3种状态来解决。