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