2.4.2. Definiciones Regulares

Por conveniencia de notación, puede ser deseable dar nombres a las expresiones regulares y definir expresiones regulares utilizando dichos nombres como si fueran símbolos. Si ∑ es un alfabeto de símbolos básicos, entonces una definición regular es una secuencia de definiciones de la forma

d₁->r₁

d₂->r₂

…

d_n->r_n

donde cada d₁ es un nombre distinto, y cada r₁ es una expresión regular sobre los símbolos de∑ U {d₁, d₂, … , d_{1_1}}, por ejemplo, los símbolos básicos y los nombres previamente definidos. Al limitar cada r₁ a los símbolos de ∑ y a los nombres previamente definidos, se puede construir una expresión regular en ∑ para cualquier r₁, reemplazando una y otra vez los nombres de las expresiones regulares por las expresiones que designan. Si r₁ utilizara d_¡ para alguna j≥ i, entonces r_i se podría definir recursivamente y este proceso de sustitución no tendría fin.

Para distinguir los nombres de los símbolos, se imprimen en negritas los nombres de las definiciones regulares.