Give a context-free description for the set of words of the form
w1aw2aw3 such that
w1,w2,w3 are constructed over the alphabet
{0,1}, the sizes of
w1 and
w3 coincide,
w1w3 represent a multiple of
12 in binary (in particular, the empty word represents
0, which is multiple of
12),
and
w2 is a sequence of
0’s followed by
a sequence of
1’s where the number
0’s and
1’s coincide.