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

d1->r1

d2->r2

dn->rn

donde cada d1 es un nombre distinto, y cada r1 es una expresión regular sobre los símbolos de∑ U {d1, d2, … , d1_1}, por ejemplo, los símbolos básicos y los nombres previamente definidos. Al limitar cada r1 a los símbolos de ∑ y a los nombres previamente definidos, se puede construir una expresión regular en ∑ para cualquier r1, reemplazando una y otra vez los nombres de las expresiones regulares por las expresiones que designan. Si r1 utilizara d¡ para alguna j≥ i, entonces ri 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.