计算理论 - DFA

时间:2017-11-13 21:29:39

标签: theory computation

我想设计一个字母{x,y,z}的DFA,它接受带有多个' z' 3的倍数(例如" xzyyxzzyy")

有人知道吗?或哪种语言接受它?

1 个答案:

答案 0 :(得分:0)

你需要三种状态来跟踪所见的z数,模3;状态将在输入z上相互循环,而#z(w)= 0(模式3)的状态将是唯一的接受状态。

为了允许任意x和y,每个状态都可以在这些输入上循环。

您可以将q0,q1和q2用于状态,使q0成为初始状态并且仅接受状态。然后,你有三个过渡f(qi,z)= wh,其中j = i + 1(mod 3),三个过渡f(q,x)= q和三个过渡f(q,y)= q总共九个转变。