这种语言的DFA

时间:2014-08-30 19:17:33

标签: computer-science finite-automata dfa computation-theory automata-theory

Σ= {a,b,c,d} L = {x∈Σ* | x不以“bab”}

开头或结尾

应该接受的例子:

  • ababa
  • ababc
  • bbabb
  • bbaba
  • ab
  • BA
  • AAAA
  • ɛ

应该拒绝的例子:

  • BAB
  • 巴巴
  • BABC
  • CBAB
  • ABAB

我试了几次,到目前为止得到了这个:my try

我的dfa的主要问题是它接受“bbab”

谢谢。

1 个答案:

答案 0 :(得分:1)

这是我可以快速提出来的。

Slightly less gritty drawing