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

Question

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

Λ, a, aabc, acba and accb

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

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

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

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

Answer 1

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

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