我想设计一个接受语言L = {a ^ 2b ^ 2n：n＆gt; = 1}的图灵机 ：。正方形b平方（n）
答案 0 :(得分：1)
如果您的语言为a^2 b^2n = {aabb, aabbbb, aabbbbbb, ...}，则该语言是常规语言，并且TM首先会读取两个a，然后是两个b，然后是空白或另外两个{{1}一直到找到一个空白。
b如果您的语言为q t q' t' d
-----------------------
q0 a q1 a right // read two a's from the
q1 a q2 a right // beginning of the tape
q2 b q3 b right // read at least two b's
q3 b q4 b right
q4 # hA # left // read more pairs of b's
q4 b q3 b right // or halt if input is done
，则该语言不受上下文限制，并且TM与其匹配a^2n b^2n = {aabb, aaaabbbb, aaaaaabbbbbb, ...}和aa s，直到您的符号用完为止。
bb