Sea \(\sum\) un alfabeto. Una expresión regular sobre \(\sum\) toda cadena que satisfaga la definición recursiva siguiente:
- \(\Lambda\) y \(\phi\) son expresiones regulares.
- Para cada símbolo \(a\) de \(\sum\), \(a\) es una expresión regular
- si \(r_1\) y \(r_2\) son expresiones regulares, también lo son \( (r_1+r_2)\) y \( (r_1 \cdot r_2 ) \)
- Si \(r\) es una expresión regular, también lo es \( (r^* ) \).
- Todas las expresiones regulares sobre \(\sum\) se obtiene aplicando 1,2,3 y 4