/* Strings of 0's and 1's with an even number of 0's. */

a --> {true}.
a --> [1], a.

b --> [0], a, [0].

c --> {true}.
c --> b, c.

s --> a, c, a.