(4) {w € [0, 1]* : w does not have 001 as a substring} Testing strings: €, 0, 1, 01, 000, 001, 0001, 0010, 0101, 11000, 110010 The accepted strings are:

a. Give an informal description of a pushdown automaton that recognizes the language: Language = {aibjck| i = j or j = k where i, j, k ≥ 0}.   b. Draw the state diagram of PDA that recognizes the language State diagram for PDA: Language = {aibjck| i = j or j = k where i, j, k ≥ 0}.

Please solve complete