{0,1}*:

{0,1}*:corresponds to the binary encoding,without leading 0s,of natural numbers that are evenly divisible by 4