Example 12 : PDA for L = { 0^m 1^m+n | m,n >= 1 }. - edufulness