Math epsilonclosure&；自动机

我想我不太理解ε跃迁的概念 当确定非确定性自动机的语言时。 例如，在此自动机中：

该语言为：“

A

的双序列或

b

的双序列，其中可能存在

baa

序列”

但是，

a

这个词也属于自动机，不是吗？（还有单词

b

，和

aaa

等等…

ε-转换只是一个不消耗任何输入的即兴转换

当你处于一个有向外的ε-跃迁的状态时，它就像处于所有的ε-跃迁中，直到自动机做了一些可以观察到的事情，从这里开始，非确定性。这类状态的集合是状态的ε-闭包

根据布局，您可以有任意数量的

baa

前缀，后跟任意数量的

a

s或

b

s。因此：

• 空的
• 咩
• 巴巴
• a
• aa
• ba
• 阿巴布
• 巴巴布

---

你说得对，

a、b、aaa、bbb、aa..

是此自动机可接受的字符串，可能描述不完全正确。好的！那是一种解脱…谢谢你！自动机语言解释的来源是什么？这在我看来是不正确的。如前所述，NFA接受（a | b）*--同时，结合ε跃迁和正常跃迁也是非常罕见的。我认为那些a，ε和b，ε转换可能是错误的。谢谢！我还有一个问题，关于epsilon变换——在我发送的这张图片中，如果我想把它变成“DFA”自动机——他们有什么方法可以让它发生吗？把NFA转换成DFA总是有可能的，这有多种算法