我认为在确定非确定性自动机的语言时,我并不完全理解epsilon转换的概念 . 例如在这个自动机中:
语言是:' a 的双重序列或 b 的双重序列,其中可能存在 baa 序列' .
a
b
baa
但是, a 这个词也属于自动机,不是吗? (也是 b , aaa 等等......)
aaa
ε-转换只是一种不消耗任何输入的即兴转换 .
当你处于一个具有外向ε-转换的状态时,它就像存在于所有这些状态中,直到自动机执行可观察的事物,从这里开始非确定性 . 这种状态的集合是一个国家的ε-闭合 .
根据布局,您可以拥有任意数量的 baa 前缀,后跟任意数量的 a s或 b s . 所以:
空
baabaa
aa
ba
abab
baabab
......
1 回答
ε-转换只是一种不消耗任何输入的即兴转换 .
当你处于一个具有外向ε-转换的状态时,它就像存在于所有这些状态中,直到自动机执行可观察的事物,从这里开始非确定性 . 这种状态的集合是一个国家的ε-闭合 .
根据布局,您可以拥有任意数量的
baa
前缀,后跟任意数量的a
s或b
s . 所以:空
baa
baabaa
a
aa
ba
abab
baabab
......