例6-1用TM接收 语言{a2nln≥0}
例6-1 用TM接收 语言{a2n |n≥0}
图灵机带上符号串为： -aaa...aaaB... 图灵机初始处于状态even,将要扫描 第一个a,则
图灵机带上符号串为： ┣aaa…aaaB… 图灵机初始处于状态even，将要扫描 第一个a，则
<even,a,( dd,B(或a),R> <odd,a, even,B(或a),R> <odd,B,odd,B,R>/可省略 <even,B,accept,B,R(N)>
<even，a，odd，B(或a)，R > <odd，a，even，B (或a) ，R > <odd，B，odd，B，R > //可省略 <even，B，accept，B，R(或N) >
若带上a的个数为偶数， 侧图灵机经过多个动作后，处于 接收状态accept;
l若带上a的个数为偶数， 则图灵机经过多个动作后，处于 接收状态accept；
若带上a的个数为奇数， 根据<odd B odd BR> 图灵机将不会停机 这与其它的自动机不同，即图灵 机可能会导致永不停机
l若带上a的个数为奇数， 根据 <odd B odd B R > 图灵机将不会停机 这与其它的自动机不同，即图灵 机可能会导致永不停机