Propiedades bsicas de los operadores en

trminos de equivalencia de expresiones

regulares
1) asociatividad de + :
(r + s) + t r + (s + t)
2) conmutatividad de + :
r+ss+r
3) idempotencia de + :
r+rr
4) elemento neutro de + :
r+0r0+r
4) asociatividad de :
(r s) t r (s t)
5) elemento neutro de :
r1r1r
6) cero de :
r000r
7) distributividad de con respecto a + :
(r + s) t r t + s t
t (r + s) t r + t s
8) propiedades de :
rrr
r (r )
r1+rr

Para todo a ;
sem : ER P ( )
sem (0) =
sem (1) = {}
sem (a) = {a}
sem (r + s) = sem (r) sem (s)
sem (r s) = sem (r) sem (s)
sem (r ) = sem (r)
Se define entonces la relacin
equivalencia en ER :
r s sem (r) = sem (s)

de

Derivada de una expresin regular:

Da : ER ER
Da0 0
Da1 0
1 ; si a = b
Dab
0 ; si a = b
Da(r + s) Dar + Das
Da(r s) (Dar) s + (r) Das
Da(r ) (Dar) r
que cumple, por hiptesis, la siguiente
propiedad: para todo r ER
sem (Dar) = Da(sem (r))