Example 17 : PDA for L = { a^m b^n c^p | m = n or n = p }. - edufulness