Em
ciência da computação e em
lógica matemática, um
alfabeto é um conjunto de
símbolos, como letras ou dígitos. O alfabeto mais comum é , o alfabeto binário. Uma cadeia finita é uma sequência finita de letras de símbolos de um determinado alfabeto; por exemplo, uma cadeia binária é uma cadeia formada pelo alfabeto binário.
Dado um alfabeto , escreve-se para definir o conjunto de todas as cadeias formadas a partir do alfabeto . Neste caso, define o operador
fecho de Kleene. Escreve-se (ou, ocasionalmente, ou ) para definir o conjunto de todas as sequências infinitas formadas a partir do alfabeto .