Símbolos y meta-símbolos

Resolvemos el problema de tener símbolos iguales en $\Sigma$ y en el meta-alfabeto:

Se suele usar un símbolo de escape en el meta-lenguaje, normalmente el símbolo \. Si \ aparece delante de otro símbolo, entonces se considera un símbolo de $\Sigma$, sino un meta-símbolo. (Entonces, si \ es en $\Sigma$, se anotaría como \\.)

Entonces podemos escribir la expresión regular $\eta$ que define una dirección de correo electrónico sintácticamente correta como:

$$\begin{eqnarray*} \alpha &=& [a-zA-Z][a-zA-Z0-9\backslash-\_]^* \\ \eta &=& (\alpha\backslash.)^*\alpha@(\alpha\backslash.)^+[a-zA-Z]^{\{2,4\}} \end{eqnarray*}$$

donde unimos adicionalmente varios rangos en uno.