為常規語言繪制 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 個狀態來解決。