Modelled language containing all words consisting of binary numbers that
can be divided by three.