Context-free grammar for palindrome
w =
Grammar
S → 0S0 | 1S1 | p