construct a cfg for the set of all binary strings of the form 0^i 1^j 0^k, where where i,j,k > 0 and i k