2017-06-06 40 views
0

我需要这种语言的DFA和正则表达式。 My dfa{w在{a,b} * | w中仅包含b在某些可能位置}

我认为DFA是这个,但是我得到的正则表达式是这个((aUb)a)*,我认为这是不正确的。

+0

它应该是'((A | b)A)*一个?' – Bergi

+0

谢谢,但我认为它不是,因为你的正则表达式不会接受b,现在使用DFA到正则表达式转换,我想我知道了:((aa | ba)* a)|((aa | ba)* b)|(aa | ba)* –

回答

1

使用DFA现在正则表达式转换,我想我明白了:

((AA | BA)* A)|((AA | BA)* B)|(AA | BA)*

简化为@Bergi说:

(AA | BA)* |(A | b |ε)

+0

我简化为'(aa | ba)*(a | b |)' – Bergi

+0

当然,为什么不呢@Bergi –

相关问题