为常规语言绘制 NFA

Question

在这里，我找到了一个常规语言的例子。

L = { a^n | n>=2 } 是常规的。 显然，我们可以画出具有 3 个状态的有限自动机。

我在问自己这个图表会是什么样子。 如果我选择 n=11，这意味着该语言包含所有具有 11 个 a 序列的单词。 这不能用具有 3 个状态的图表来解决，还是我错了？

Answer 1

给定的语言是 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 个状态求解

Answer 2

给定的语言 L 不能使用 3 个状态来解决您的条件，即 11a。 对于包含 11 个 a 的序列的每个单词，至少应该有 11 个 a。 所以该图应该包含 (11+1)=12 个状态。 因此它不能使用 3 个状态来解决。