不可能的有限状态自动机？

Question

我完全相信这种非确定性FSA不可能来自我的所有尝试。 FSA（非确定性）：一种语言由字符串中只有2和3的字母组成，字符串中只有奇数位数（223,32232），并且数字之和必须可以被5整除。（最终包含）例子：22222,333332,2222322）。

是否有人能够以图形方式构建具有接受状态的非确定性FSA？我会非常感动，因为无论是我的所有尝试还是我的同事，唯一的结果就是它无法完成。

Answer 1

首先，我认为它被称为NFA而不是FSA。任何正则表达式都可以转换为NFA。但并非所有语言都可以由RE指定。你的可能就是这样一个例子。这里有两个简单的例子：RE不能用于检查括号是否平衡或检查字符串是否具有相同数量的A和B＆＃39; s。因此，如果您能找到问题的RE，那么您就完成了。