Epsilon封闭和自动机

Question

我认为我不太了解epsilon转换的概念 确定不确定的自动机的语言时。 例如，在此自动机中：

语言为：“ a的双序列或b的双序列，其中可能有baa序列”。

但是a一词也属于自动机，不是吗？ （还有单词b和aaa等）

Answer 1

一个ε-transition只是一个临时过渡，它不消耗任何输入。

当您处于有传出的ε-过渡的状态时，就好比在所有这些中，直到自动机执行了可观察到的操作（从这里开始是不确定性）。这种状态的集合是一个状态的ε闭包。

根据布局，您可以有任意数量的baa前缀，后跟任意数量的a s或b s。所以：

• 空
• baa
• baabaa
• a
• aa
• ba
• abab
• baabab
• ...