Alfabeto (ciência da computação)

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 .

Por exemplo, usando o alfabeto binário , as cadeias estariam no fechamento do alfabeto; representa a cadeia vazia.

Alfabetos são importantes em linguagens formais, autômatos e semiautômatos.

Ver também

editar