AUTOMATAS Y LENGUAJES FORMALES

UNIDAD 2: FASE 3

PRESENTADO POR

DANIELA RENGIFO SANCHEZ

CODIGO: 1077453396

COMPAÑERO--------------

COMPAÑERO--------------

COMPAÑERO--------------

GRUPO

19

PRESENTADO A

ROLANDO FABIAN JUNCO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

  Teniendo en cuenta el siguiente autómata realice

EJERCICIO A
TRABAJAR

El autómata está compuesto por la quíntupla con los símbolos (K, Σ,

Procedimiento δ, s, F), donde
de minimización
M={q0, q1,q2,q3,q4,q5,q6,q7,q8}
Σ={0,1}
K={ q0, q1,q2,q3,q4,q5,q6,q7,q8} (Estados)
Σ={0,1} (alfabeto)
S= q0 (Estado inicial)
F= q2,q4,q8 (Estado final)

δ (q0, 0)=q3
δ (q0, 1)=q1
δ (q1, 0)=q2
δ (q1, 1)=q1
δ (q2, 0)=q4
δ (q2, 1)=q5
δ (q3, 0)=q0
δ (q3, 1)=q1
δ (q4, 0)=q4
δ (q4, 1)=q8
δ (q5, 0)=q2
δ (q5, 1)=q8
δ (q6, 0)=q7
δ (q6, 1)=q3
δ (q7, 0)=q8
δ (q7, 1)=q3
δ (q8, 0)=q7
δ (q8, 1)=q4

Estados aceptadores (estados finales)

X= {q2}, A {q4}, B{q8}
A
 X
0 1
0 1 q4 x x
q2 x y

0 1
q8 y x

No aceptadores (conjunto de estados iniciales)

Y= {q0,q1,q3,q5,q6,q7}

Para:
X= {q2}
A {q4}
B{q8}
M={q0,q3,q6}
Z={q1,q7}
C= {q5}
Para:
X={q2}
B ={q8}
C={q5}
A={q4}
P={q0,q3}
L={q6}
F={q1}
V={q7}

Validación de conjuntos final

X 0 1
q2 A C
q2 A C

B 0 1
q8 V A

C 0 1
q5 X B

A 0 1
q4 A B

P 0 1
q0 P F
q3 P F

L 0 1
q6 V P

F 0 1
q1 X F

V 0 1
q7 B P

TABLA DE TRANSICION

0 1
X A C
B V A
C X B
A A B
P P F
L V P
F X F
V B P
 Resultado del MINIMIZACIÓN DEL AUTÓMATA
Autómata
minimizado

𝑀 = {𝐾 ′ , Σ, 𝛿, 𝑠 ′ , 𝐹 ′ }
donde
Notación formal
𝐾 ′ = {𝐴, 𝐵, 𝐶, 𝑋, 𝐹, 𝑃, 𝑉, 𝐿}
Σ = {0, 1}
𝑠′ = 𝐴
𝐹 ′ = 𝐴, 𝐵}

Lenguaje
Regular

Gramática del
autómata
 REFERENCIAS BIBLIOGRAFICAS

González, A. [Ángela] (2017, mayo 16). Minimización de un

autómata.Unadhttps://www.youtube.com/watch?time_continue=9&v=eOynYG8Ibk0