有限自动机和循环的逻辑是什么

Question

我必须画一个接受以下字符串的有限自动机

Λ, a, aabc, acba and accb

在我看来a(a+b+c)* 这可能是它的正则表达式，因为字符串从a 开始并且还包含一个空字符串。

现在我没有找到如下图绘制 FA 的逻辑

问题 1： 如果字符串以 a 开头，那么在 FA 中，我们在阅读 b 时从 x 移动到 y 为什么我们不在这里阅读a。

问题 2： 为什么我们在状态 y 和 z 上使用 a,b 循环

Answer 1

语言L = {λ, a, aabc, acba, accb} 是有限的。因此，L不等价于正则表达式a(a + b + c)的Kleene闭包表示的语言，即无限。有一个简单的算法可以生成接受有限语言的非确定性有限自动机，它由接受语言中每个字符串的绘制路径组成。

不清楚这两种语言与原帖中的图表之间的关系是什么，因为图表中的自动机不接受任何一种语言。假设节点标有名称，圆圈节点表示接受，图中自动机接受的语言为(a + b)*。在这种情况下，循环用于接受 (a + b) 的 Kleene 闭包。也就是说，如果您能阐明图表的含义，那将会很有用。