首页 文章

Epsilon闭合和自动机

提问于
浏览
2

我认为在确定非确定性自动机的语言时,我并不完全理解epsilon转换的概念 . 例如在这个自动机中:

automata-with-epsilon-transitions

语言是:' a 的双重序列或 b 的双重序列,其中可能存在 baa 序列' .

但是, a 这个词也属于自动机,不是吗? (也是 baaa 等等......)

1 回答

  • 0

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

    当你处于一个具有外向ε-转换的状态时,它就像存在于所有这些状态中,直到自动机执行可观察的事物,从这里开始非确定性 . 这种状态的集合是一个国家的ε-闭合 .

    根据布局,您可以拥有任意数量的 baa 前缀,后跟任意数量的 a s或 b s . 所以:

    • baa

    • baabaa

    • a

    • aa

    • ba

    • abab

    • baabab

    • ......

相关问题