2 任选如下语言中的一个语言，为其构造下推自动机，并简述构造正确性

形式语言与自动机作业求解┭┮﹏┭┮

任选如下语言中的一个语言，为其构造下推自动机，并简述构造正确性：

a) 所有0的个数是1的个数两倍的串的集合

b) {aibjck|i=j  or  j=k}

c) {aibjck|i≠j  or  j≠k}

这道题太难了，我不会做┭┮﹏┭┮ （雪花飘飘~）