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

Question

我必须绘制一个接受以下字符串

的有限自动机

Λ, a, aabc, acba and accb

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

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

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

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

Answer 1

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

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