Example 5 : PDA for L = { w ∈ (a+b)* | |w| = 0 (mod 3) } - edufulness