(s,{)->(s,{,R)
(s,1)->(string_of_ones,1,R)
(s,0)->(string_of_zeroes,0,R)
(s,)->(t,,)
(s,?)->(r,,)

(string_of_ones,1)->(string_of_ones,1,R)
(string_of_zeroes,0)->(string_of_zeroes,0,R)
(string_of_ones,)->(t,,)
(string_of_zeroes,)->(t,,)
(string_of_ones,?)->(r,,)
(string_of_zeroes,?)->(r,,)