Die Grammatik aus den Terminalsymbolen <math>\lbrace a,\,b \rbrace</math>, den Nichtterminalsymbolen <math>\lbrace S \rbrace\,</math> (ein einziges) und den Ersetzungsregeln <math>\lbrace S \rightarrow aSa , S \rightarrow bSb , S \rightarrow a , S \rightarrow b , S \rightarrow \varepsilon \rbrace</math> sowie dem Startsymbol <math>S\,</math> erzeugt die Menge aller Palindrome über dem Alphabet <math>\Sigma = \lbrace a, b \rbrace\,</math>. Das ''leere Wort'' <math>\varepsilon \,</math> ist Element der von dieser Grammatik erzeugten Sprache.
{{K|Theoretische Informatik|ft=[[formale Sprache]]n}} Zeichenkette, welche aus keinem [[Symbol]] besteht