/*
?- alan.
[b,b,b,b,b,1,1,1,1,1,1]

*/

intape([1,0,1]).

rule(q0, 1, q0, 1, right). 
rule(q0, 0, q0, 0, right).
rule(q0, b, q0b, x, right).

rule(q0b, b, a1, 1, left).

rule(a1, 1, a1, 1, left).  
rule(a1, 0, a1, 0, left).
rule(a1, x, a1, x, left).
rule(a1, b, p0, b, right).

rule(p0, 0, p1, 0, right). 
rule(p0, 1, p1, 1, right).
rule(p0, x, qf, b, right).  

rule(p1, 0, p1, 0, right). 
rule(p1, 1, p1, 1, right).
rule(p1, x, v0, x, right). 

rule(p2, 0, p0, b, right). 
rule(p2, 1, p3, b, right). 

rule(p3, 0, p3, 0, right). 
rule(p3, 1, p3, 1, right).
rule(p3, x, p3, x, right).
rule(p3, b, p4, 1, left).  

rule(p4, 1, p4, 1, left).  
rule(p4, 0, p4, 0, left).
rule(p4, b, p0, b, right).
rule(p4, x, p4, x, left).

rule(v0, b, v1, b, left).  
rule(v0, 1, v0, 1, right).

rule(v1, 1, v2, *, left).

rule(v2, 1, v3, a, right).
rule(v2, a, v2, a, left).
rule(v2, x, v5, x, right).

rule(v3, a, v3, a, right).
rule(v3, *, v3, *, right).
rule(v3, 1, v3, 1, right).
rule(v3, b, v4, 1, left).

rule(v4, 1, v4, 1, left).
rule(v4, *, v2, *, left).

rule(v5, a, v5, 1, right). 
rule(v5, *, v6, 1, left).  

rule(v6, 1, v6, 1, left).  
rule(v6, 0, v6, 0, left).  
rule(v6, b, p2, b, right).
rule(v6, x, v6, x, left).