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