Слово в дискретной математике — это любой конечный упорядоченный набор (кортеж) символов из данного алфавита. Число символов в слове называют его длиной и обозначают . Существует единственное слово длины 0, называемое пустым словом. Оно не содержит ни одного символа и обозначается буквой , или .

Множество всех слов длины в алфавите обозначают через (см. также Декартово произведение множеств). Множество всех слов в алфавите (произвольной длины) обозначают через . Из определения следует, что

На словах в данном алфавите определена операция конкатенации (склеивания слов). Множество всех слов в алфавите с операцией конкатенации образует моноид. Множество всех непустых слов в алфавите с операцией конкатенации образует полугруппу.