Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Expresiones Regulares
Expresiones Regulares
DSIC - UPV
http://www.dsic.upv.es
p.1/14
DSIC - UPV
http://www.dsic.upv.es
p.2/14
AFD
AFN
AF
Expresiones regulares
DSIC - UPV
http://www.dsic.upv.es
p.3/14
DSIC - UPV
http://www.dsic.upv.es
p.4/14
DSIC - UPV
http://www.dsic.upv.es
p.5/14
DSIC - UPV
http://www.dsic.upv.es
p.6/14
DSIC - UPV
http://www.dsic.upv.es
p.7/14
DSIC - UPV
http://www.dsic.upv.es
p.8/14
= rr s + s = (rr + )s
prop.10
r s
r s + r t
DSIC - UPV
X =r (s+t)
X
p.9/14
http://www.dsic.upv.es
la resolucin viene tras aplicar el mtodo de Gauss utilizando el Lemma de Arden para reducir. til para obtener una E.R. a partir de un A.F. o una gramtica regular.
DSIC - UPV
http://www.dsic.upv.es
p.10/14
DSIC - UPV
http://www.dsic.upv.es
p.11/14
0 1 q1 1
0 q2
b q2
DSIC - UPV
http://www.dsic.upv.es
p.12/14
DSIC - UPV
http://www.dsic.upv.es
p.13/14
DSIC - UPV
http://www.dsic.upv.es
p.14/14