Convert the PDA for the language of palindromes over {0, 1} into an equivalent CFG