作者jigfopsda (jigfopsda)
看板b97902HW
标题[情报] 单班自动机HW3
时间Wed Oct 21 10:37:59 2009
HW3: 1.47, 1.53, due on November 3, 2009
1.47 Let Σ = {1, #} and let
Y = {w | w = x1#x2#... #xk for k ≧ 0, each xi 属於 l*, and xi ≠ xj
for i ≠ j}. Prove that Y is not regular.
1.53 Let Σ = {0, 1, +, =} and
ADD = {x=y+z| x, y, z are binary integers, and x is the sum of y and z}.
Show that ADD is not regular.
有错请指正。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 203.73.239.160