教资会网络 | UGC NET CS 2016 年 7 月 – III |问题 57
给定一个图灵机
M = ({q 0 , q 1 , q 2 , q 3 }, {a, b}, {a, b, B}, δ, B, {q 3 })
其中 δ 是一个转换函数，定义为
δ(q 0 , a) = (q 1 , a, R)
δ(q 1 , b) = (q 2 , b, R)
δ(q 2 , a) = (q 2 , a, R)
δ(q 3 , b) = (q 3 , b, R)
图灵机接受的语言 L(M) 为：
(A) aa*b
(B)巴布
(C) aba*b
(D)阿巴*答案： （C）
说明：根据给定的问题，我们有过渡：
δ(q 0 , a) = (q 1 , a, R)
δ(q 1 , b) = (q 2 , b, R)
δ(q 2 , a) = (q 2 , a, R)
δ(q 3 , b) = (q 3 , b, R)
我们可以画一个 DFA： 
语言为 aba*b。
所以，选项（C）是正确的。
这个问题的测验