Example 4 : PDA for L = { w ∈ (a+b)* | number of a's = Even } - edufulness