“"x" puede ser sustituido por "y" si "x" está, ya sea, en los símbolos No Terminales o los símbolos Terminales, sin incluir la cadena vacía e "y" está en los símbolos No Terminales o Terminales, incluyendo la cadena vacía.”