El alfabeto de un sistema formal es el conjunto de símbolos que pertenecen al lenguaje del sistema.