Embed Size (px)
Citation preview
C ompiladoresE l comi enzo …
Conversión de autómata finito no determinista a autómata finito determinista
Estados
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a b
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 }
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 }
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 }
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 }
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 }
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 }
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 }
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 }
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 }
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 } qC{ q1,q4 }
qC{ q1,q4 }
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 } qC{ q1,q4 }
qC{ q1,q4 }
qD{ q2,
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 } qC{ q1,q4 }
qC{ q1,q4 }
qD{ q2 }
qD{ q2 }
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 } qC{ q1,q4 }
qC{ q1,q4 }
qD{ q2 }
qD{ q2 }
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 } qC{ q1,q4 }
qC{ q1,q4 }
qD{ q2 }
qD{ q2 }
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 } qC{ q1,q4 }
qC{ q1,q4 }
qD{ q2 }
qD{ q2 }
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 } qC{ q1,q4 }
qC{ q1,q4 }
qD{ q2 }
qD{ q2 }
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 } qC{ q1,q4 }
qC{ q1,q4 }
qD{ q2 }
qD{ q2 }
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 } qC{ q1,q4 }
qC{ q1,q4 }
qD{ q2 }
qD{ q2 }
{ q2,
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 } qC{ q1,q4 }
qC{ q1,q4 }
qD{ q2 }
qD{ q2 }
qD{ q2 }
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 } qC{ q1,q4 }
qC{ q1,q4 }
qD{ q2 }
qD{ q2 }
qD{ q2 }
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 } qC{ q1,q4 }
qC{ q1,q4 }
qD{ q2 }
qD{ q2 }
qD{ q2 }
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 } qC{ q1,q4 }
qC{ q1,q4 }
qD{ q2 }
qD{ q2 }
qD{ q2 }
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 } qC{ q1,q4 }
qC{ q1,q4 }
qD{ q2 }
qD{ q2 }
qD{ q2 }
qE{ q1 }
qE{ q1 }
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 } qC{ q1,q4 }
qC{ q1,q4 }
qD{ q2 }
qD{ q2 }
qD{ q2 }
qE{ q1 }
qE{ q1 }
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 } qC{ q1,q4 }
qC{ q1,q4 }
qD{ q2 }
qD{ q2 }
qD{ q2 }
qE{ q1 }
qE{ q1 }
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 } qC{ q1,q4 }
qC{ q1,q4 }
qD{ q2 }
qD{ q2 }
qD{ q2 }
qE{ q1 }
qE{ q1 }
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 } qC{ q1,q4 }
qC{ q1,q4 }
qD{ q2 }
qD{ q2 }
qD{ q2 }
qE{ q1 }
qE{ q1 } qD{ q2 }
a
q1
q2
q3 q4
a
cc
c
b
b
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 } qC{ q1,q4 }
qC{ q1,q4 }
qD{ q2 }
qD{ q2 }
qD{ q2 }
qE{ q1 }
qE{ q1 } qD{ q2 }
a
q1
q3 q4
a
cc
c
b
b
q2
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 } qC{ q1,q4 }
qC{ q1,q4 }
qD{ q2 }
qD{ q2 }
qD{ q2 }
qE{ q1 }
qE{ q1 } qD{ q2 }
a
q1
q2
q3 q4
a
cc
c
b
b
qA
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 } qC{ q1,q4 }
qC{ q1,q4 }
qD{ q2 }
qD{ q2 }
qD{ q2 }
qE{ q1 }
qE{ q1 } qD{ q2 }
a
q1
q2
q3 q4
a
cc
c
b
b
qAqB
a
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 } qC{ q1,q4 }
qC{ q1,q4 }
qD{ q2 }
qD{ q2 }
qD{ q2 }
qE{ q1 }
qE{ q1 } qD{ q2 }
a
q1
q2
q3 q4
a
cc
c
b
b
qAqB
ab
cqD
qC
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 } qC{ q1,q4 }
qC{ q1,q4 }
qD{ q2 }
qD{ q2 }
qD{ q2 }
qE{ q1 }
qE{ q1 } qD{ q2 }
a
q1
q2
q3 q4
a
cc
c
b
b
qAqB
ab
c
qC
c
qD
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 } qC{ q1,q4 }
qC{ q1,q4 }
qD{ q2 }
qD{ q2 }
qD{ q2 }
qE{ q1 }
qE{ q1 } qD{ q2 }
a
q1
q2
q3 q4
a
cc
c
b
b
qAqB
ab
c
qC
c
qD qE
c
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 } qC{ q1,q4 }
qC{ q1,q4 }
qD{ q2 }
qD{ q2 }
qD{ q2 }
qE{ q1 }
qE{ q1 } qD{ q2 }
a
q1
q2
q3 q4
a
cc
c
b
b
qAqB
ab
c
qC
c
qE
c
c
qD
C ompiladoresE l comi enzo …
Estados
Entradas
a b c
qA{ q0 } qB{ q1,q3 }
qB{ q1,q3 } qC{ q1,q4 }
qC{ q1,q4 }
qD{ q2 }
qD{ q2 }
qD{ q2 }
qE{ q1 }
qE{ q1 } qD{ q2 }
a
q1
q2
q3 q4
a
cc
c
b
b
qAqB
ab
c
qC
c
qE
c
c
qD
