2.1 - Definición formal de una ER

Una expresión regular (ER) sobre un alfabeto finito Σ se define recursivamente
como sigue:

1. Para todo c ∈ Σ, c es una ER
2. Φ es una ER
3. Si E1 y E2 son ERs, E1 | E2 es una ER
4. Si E1 y E2 son ERs, E1 · E2 es una ER
5. Si E1 es una ER, E1 ⋆ es una ER
6. Si E1 es una ER, (E1) es una ER

Cuando se lee una expresión regular, hay que saber qué operador debe leerse
primero.