Design a PDA (giving brief pseudocode and showing the statediagram) for each of the following languages over the inputalphabet {0, 1}.
3a. {w : |w| ≥ 2 is even and the middle two bits match}
3b. {0i 1j 0k : i = j or j >k}