donde | es un "operador lógico" y es usado para separar múltiples opciones para el mismo no terminal, ε indica una cadena vacía.