C ompiladoresE l comi enzo …

Conversión de autómata finito con transiciones-ε a autómata finito determinista

Estados

q3

q2

q0

q1

q4

a

b

c

c

c

C ompiladoresE l comi enzo …

Estados

Entradas

q3

q2

q0

q1

q4

a

b

c

c

c

a b c

C ompiladoresE l comi enzo …

Estados

Entradas

qA{ q0, }

q3

q2

q0

q1

q4

a

b

c

c

c

a b c

C ompiladoresE l comi enzo …

Estados

Entradas

qA{ q0,q3 }

q3

q2

q0

q1

q4

a

b

c

c

c

a b c

C ompiladoresE l comi enzo …

Estados

Entradas

qA{ q0,q3 ,q4 }

q3

q2

q0

q1

q4

a

b

c

c

c

a b c

C ompiladoresE l comi enzo …

Estados

Entradas

a b c

qA{ q0,q3 ,q4 } qB{ q1 }

qB{ q1 }

q3

q2

q0

q1

q4

a

b

c

c

c

C ompiladoresE l comi enzo …

Estados

Entradas

a b c

qA{ q0,q3 ,q4 } qB{ q1 } qB{ q1 }

qB{ q1 }

q2q1

a

b

c

c

c

q0

q3 q4

C ompiladoresE l comi enzo …

Estados

Entradas

a b c

qA{ q0,q3 ,q4 } qB{ q1 } qB{ q1 } qC{ q2 }

qB{ q1 }

qC{ q2 }

q3

q2

q0

q1

q4

a

b

c

c

c

C ompiladoresE l comi enzo …

Estados

Entradas

a b c

qA{ q0,q3 ,q4 } qB{ q1 } qB{ q1 } qC{ q2 }

qB{ q1 }

qC{ q2 }

q3

q2

q0

q1

q4

a

b

c

c

c

C ompiladoresE l comi enzo …

Estados

Entradas

a b c

qA{ q0,q3 ,q4 } qB{ q1 } qB{ q1 } qC{ q2 }

qB{ q1 }

qC{ q2 }

q3

q2

q0

q1

q4

a

b

c

c

c

C ompiladoresE l comi enzo …

Estados

Entradas

a b c

qA{ q0,q3 ,q4 } qB{ q1 } qB{ q1 } qC{ q2 }

qB{ q1 }

qC{ q2 }

qC{ q2 }

q3

q2

q0

q1

q4

a

b

c

c

c

C ompiladoresE l comi enzo …

Estados

Entradas

a b c

qA{ q0,q3 ,q4 } qB{ q1 } qB{ q1 } qC{ q2 }

qB{ q1 }

qC{ q2 }

qC{ q2 }

q3

q2

q0

q1

q4

a

b

c

c

c

C ompiladoresE l comi enzo …

Estados

Entradas

a b c

qA{ q0,q3 ,q4 } qB{ q1 } qB{ q1 } qC{ q2 }

qB{ q1 }

qC{ q2 }

qC{ q2 }

q3

q2

q0

q1

q4

a

b

c

c

c

C ompiladoresE l comi enzo …

Estados

Entradas

a b c

qA{ q0,q3 ,q4 } qB{ q1 } qB{ q1 } qC{ q2 }

qB{ q1 }

qC{ q2 }

qC{ q2 }

qB{ q1 }

q3

q2

q0

q1

q4

a

b

c

c

c

C ompiladoresE l comi enzo …

Estados

Entradas

a b c

qA{ q0,q3 ,q4 } qB{ q1 } qB{ q1 } qC{ q2 }

qB{ q1 }

qC{ q2 }

qC{ q2 }

qB{ q1 }

q3

q2

q0

q1

q4

a

b

c

c

c

C ompiladoresE l comi enzo …

Estados

Entradas

a b c

qA{ q0,q3 ,q4 } qB{ q1 } qB{ q1 } qC{ q2 }

qB{ q1 }

qC{ q2 }

qC{ q2 }

qB{ q1 }

q3

q2

q0

q1

q4

a

b

c

c

c

qA

C ompiladoresE l comi enzo …

Estados

Entradas

a b c

qA{ q0,q3 ,q4 } qB{ q1 } qB{ q1 } qC{ q2 }

qB{ q1 }

qC{ q2 }

qC{ q2 }

qB{ q1 }

qA

a,b

qB

q3

q2

q0

q1

q4

a

b

c

c

c

C ompiladoresE l comi enzo …

Estados

Entradas

a b c

qA{ q0,q3 ,q4 } qB{ q1 } qB{ q1 } qC{ q2 }

qB{ q1 }

qC{ q2 }

qC{ q2 }

qB{ q1 }

q3

q2

q0

q1

q4

a

b

c

c

c

qA

a,b

qB

qC

c

C ompiladoresE l comi enzo …

Estados

Entradas

a b c

qA{ q0,q3 ,q4 } qB{ q1 } qB{ q1 } qC{ q2 }

qB{ q1 }

qC{ q2 }

qC{ q2 }

qB{ q1 }

q3

q2

q0

q1

q4

a

b

c

c

c

qA

a,b

qB

qC

c

C ompiladoresE l comi enzo …

Estados

Entradas

a b c

qA{ q0,q3 ,q4 } qB{ q1 } qB{ q1 } qC{ q2 }

qB{ q1 }

qC{ q2 }

qC{ q2 }

qB{ q1 }

q3

q2

q0

q1

q4

a

b

c

c

c

qA

a,b

qB

qC

c

C ompiladoresE l comi enzo …

Estados

Entradas

a b c

qA{ q0,q3 ,q4 } qB{ q1 } qB{ q1 } qC{ q2 }

qB{ q1 }

qC{ q2 }

qC{ q2 }

qB{ q1 }

q3

q2

q0

q1

q4

a

b

c

c

c

qA

a,b

qB

qC

c

c

C ompiladoresE l comi enzo …

Estados

Entradas

a b c

qA{ q0,q3 ,q4 } qB{ q1 } qB{ q1 } qC{ q2 }

qB{ q1 }

qC{ q2 }

qC{ q2 }

qB{ q1 }

q3

q2

q0

q1

q4

a

b

c

c

c

qA

a,b

qB

c

c

qC

C ompiladoresE l comi enzo …

Estados

Entradas

a b c

qA{ q0,q3 ,q4 } qB{ q1 } qB{ q1 } qC{ q2 }

qB{ q1 }

qC{ q2 }

qC{ q2 }

qB{ q1 }

q3

q2

q0

q1

q4

a

b

c

c

c

qA

a,b

qB

c

c

qC

C ompiladoresE l comi enzo …

Estados

Entradas

a b c

qA{ q0,q3 ,q4 } qB{ q1 } qB{ q1 } qC{ q2 }

qB{ q1 }

qC{ q2 }

qC{ q2 }

qB{ q1 }

q3

q2

q0

q1

q4

a

b

c

c

c

qA

a,b

qB

c

c

qC

c

C ompiladoresE l comi enzo …

Estados

Entradas

a b c

qA{ q0,q3 ,q4 } qB{ q1 } qB{ q1 } qC{ q2 }

qB{ q1 }

qC{ q2 }

qC{ q2 }

qB{ q1 }

q3

q2

q0

q1

q4

a

b

c

c

c

qA

a,b

qB

c

c

qC

c