El conjunto de símbolos es el siguiente: