4. [20 points] Consider the following PDA 11-> 00-SE 4a. [5 points] write out the formal description. (No need to write in tabular form; just write what each of the non-0 entries is.) 4b. [5 points] Exhibit an accepting computation path for the input 0110 by saying what the state and contents of the stack are, at each of the following 5 points in time: the beginning, between reading any consecutive input symbols, and at the end. 4c. [5 points] Informally explain (in English) how this PDA operates. 4d. [5 points] What language is recognized by this PDA