engl.: alphabet
Ein Alphabet A ist ein endliche Menge von Zeichen. Die Menge der Zeichenreihen über A wird mit A* bezeichnet.