Neprázdnu konečnú množinu symbolov nazývame abeceda. Konečná postupnosť symbolov z je slovo nad abecedou . Množina slov nad abecedou je jazyk nad abecedou . prázdne slovo označujeme symbolom . Mohutnosť množiny, vytvárajúcej slovo, sa nazýva dĺžka slova.