Example 1 : PDA for L = a* - edufulness