2014年秋季语言理论作业.pdfVIP

4

CSC

6500

语言理论，自动机与计算

201秋季作业

#5（截止日期：2014年10月20日）

注意：你必须独立完成这些问题，不得参考书籍、互联网或同学帮助。这是掌握知识的唯一途

径。

问题1

最高得分8分（每部分2分）

考虑以下图灵机（q,为初始状态，表示空白；F为接受状态；S表示读写

1

头不动）：(q,1)→(q,1,R)；(q,0)→(q2,,R)；(q,1)→(q,1,R)；(q,0)→(q3,,

111222

L)；(q2,)→(F,,S)；(q,0)→(q,0,L)；(q,1)→(q,1,L)；(q3,)→(q1,,S)

3333

对于以下每个字符串，展示最终磁带内容并说明图灵机是否接受：(a)

0011；(b)

101010；

(c)

110；(d)

00100

Q.2

最高得分20分（(a)题3分