Epsilon 闭包和自动机
Epsilon closure & automata
我想我不太明白epsilon转换的概念
在确定非确定性自动机的语言时。
例如在这个自动机中：
语言是：'A double sequence of a or a double sequence of b where there is a possibility of a baa sequence'.
但是，a这个词也属于自动机，不是吗？ （还有 b 和 aaa 等等...）
一个ε-transition只是一个不消耗任何输入的即兴转换。
当你处于一个有传出 ε-transitions 的状态时，就像处于所有这些状态中，直到自动机做一些可观察到的事情，从这里开始非确定性。这些状态的集合是一个状态的ε-闭包。
根据布局，您可以有任意数量的 baa 前缀，后跟任意数量的 as 或 bs。所以：
- 空
- 咩
- 咩咩
- 一个
- aa
- 吧
- 阿巴
- baabab
- ...
我想我不太明白epsilon转换的概念 在确定非确定性自动机的语言时。 例如在这个自动机中：
语言是：'A double sequence of a or a double sequence of b where there is a possibility of a baa sequence'.
但是，a这个词也属于自动机，不是吗？ （还有 b 和 aaa 等等...）
一个ε-transition只是一个不消耗任何输入的即兴转换。
当你处于一个有传出 ε-transitions 的状态时，就像处于所有这些状态中，直到自动机做一些可观察到的事情，从这里开始非确定性。这些状态的集合是一个状态的ε-闭包。
根据布局，您可以有任意数量的 baa 前缀，后跟任意数量的 as 或 bs。所以：
- 空
- 咩
- 咩咩
- 一个
- aa
- 吧
- 阿巴
- baabab
- ...