Die Menge der Palindrome mit dem Alphabet <math>\Sigma\,</math> ist die ''formale Sprache'' <math>\lbrace w w^R | w \in \Sigma^*\rbrace \cup \lbrace w a w^R | a \in \Sigma, w \in \Sigma^*\rbrace\,</math>, wobei <math>w^R</math> das Kehrwort zu <math>w</math> bezeichnet.
''[[Informatik]], [[Linguistik]], [[Mathematik]]'': eine (endliche oder unendliche) Menge von Zeichenfolgen über einem endlichen Alphabet von Zeichen