V teorii formálních jazyků, jedné z oblastí teoretické informatiky, slovo označuje konečnou posloupnost znaků dané abecedy.Speciálním případem je prázdné slovo, což je posloupnost znaků nulové délky.Obvykle se označuje ε, e nebo λ.Souvislá část slova je podslovo.