Un alfabeto es un conjunto finito de símbolos. Una palabra es una secuencia finita de símbolos de un alfabeto. Un lenguaje es un conjunto de palabras sobre un alfabeto. La cerradura de estrella de un alfabeto es el lenguaje formado por todas las posibles palabras que se pueden formar utilizando ese alfabeto y es siempre un lenguaje infinito.