PARTE 1: hallar el autómata mínimo correspondiente al autómata finito que representa la

siguiente expresión regular Expresión regular.

1. Realice la descripción (notación) (caracterización) matemática del autómata. (Antes

de minimizar)

El autómata finito es de quíntupla no determinística, ya que a partir del estado actual y del
símbolo actual de entrada no se puede determinar de forma exacta cuál será el estado
siguiente.

M es un quíntuplo (K, Σ, δ, s, F), donde:

K = {q0, q1, q2, q3, q4, q5, q6, q7, q8,q9}, identifica el conjunto de estados del autómata

Σ = {0,1}, es el alfabeto de entrada

S = {q0}, es el estado inicial

F = {q3, q4, q8} es un conjunto de estados finales o de aceptación.

δ : K x ∑ → K es la función de transición, que a partir de un estado y un símbolo del
alfabeto obtiene un nuevo estado.

Donde la función

δ: {q0, q1, q2, q3, q4, q5, q6, q7, q8, q9} x {0,1} → {q0, q1, q2, q3, q4, q5, q6, q7, q8}
Viene dada por:

δ (q0, 0)= q2 δ (q0, 1)= q1

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

M= ({q0, q1, q2, q3, q4, q5, q6, q7, q8}, {0,1}, δ, {q0}, {q3, q4, q8}

2. Plasme la tabla de transición del autómata. (No es la que generas VAS). (Antes de
minimizar)

0 1
→ q0 q2 q1
q1 q5 q3
q2 q4
# q3 q9 q6
#q4 q7 q9
q5 q9 q2
q6 q8 q9
q7 Q9
# q8 q7
q9