Solução do Exercício 6f:

Gramática que gera $\{wxw^R \vert x,w\in\{{\tt a},{\tt b}\}^* \mbox{ e } \vert w\vert=\vert x\vert\}$.

$P \rightarrow {\tt a}XP{\tt a} \vert {\tt b}XP{\tt b} \vert M$

$X{\tt a} \rightarrow {\tt a}X$

$X{\tt b} \rightarrow {\tt b}X$

$X M \rightarrow M{\tt a} \vert M{\tt b}$

$M \rightarrow \lambda$

A variável $M$ marca o local em que $X$ pode ser substituída por ${\tt a}$ ou ${\tt b}$.