Palindrome

Context-free grammar for unary addition