Example 3 : PDA for L = (ab)*a - edufulness