不可能的有限狀態自動機？

Question

我完全相信從我的所有嘗試中都不可能實現這種不確定的FSA。 FSA（非確定性）：一種語言是由字符串中只有2個和3個字母組成的字母，該字符串中只有奇數個數字（223，32232），並且數字的總和必須被5整除。例如：22222、33333、2222222）。

有人能夠用圖形化的接受狀態來構造這種不確定的FSA嗎？ 我會留下深刻的印象，因為從我所有的嘗試以及我的一位同事那里，唯一的結果就是它無法完成。

Answer 1

首先，我認為它被稱為NFA而不是FSA。 任何正則表達式都可以轉換為NFA。 但是並非所有語言都可以由RE指定。 您的例子可能就是這樣。 這里有兩個簡單的示例：RE不能用於檢查括號是否平衡或檢查字符串中A和B的數目是否相等。 因此，如果您能找到解決問題的RE，那么您就完成了。