FSA可以接受{a,b,c} * a ^ n {a,b,c} * b ^ n {a,b,c} * c ^ n {a,b,c}吗?

时间:2017-04-25 11:29:12

标签: finite-automata state-machine

我正在研究一些训练FSA的练习,而我的老师正在给出语言的奇怪解决方案

enter image description here

我会用Not-Deterministic TM解决这种语言,因为你必须记住a,b和c的n。

这是给定的解决方案 enter image description here 这个解决方案不正确吗?

1 个答案:

答案 0 :(得分:0)

上面的示例确实有效,因此是正确的。 很明显,对于n = 1,上面发布的FSA确实有效。 现在让我们考虑案例n> 1,我们必须在由{a,b,c}组成的每个可能的字符串之间具有相同数量的a,b和c。这个字符串可以看作是n = 1的相同字符串,其他n - 1个重复可以放在{a,b,c} *字符串组中,因此这个FSA可以正确接受该语言。