AUTOMATAS Y LENGUAJES FORMALES

FASE 3: MODELAR PROBLEMAS DE LENGUAJES INDEPENDIENTES DEL

CONTEXTO

PRESENTADO A:
ROLANDO JUNCO

PRESENTADO POR:
FREDY ANDRES MORA
CODIGO: 1121887852
EDWIN ARIAS CRUZ
CODIGO: 1070015880

GRUPO: 301405_2

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PROGRAMA DE INGENIERIA DE SISTEMAS
OCTUBRE DE 2019
EJERCICIO A Registre aquí el Ejercicio a trabajar. Por favor
TRABAJAR agregue la imagen

Procedimiento Realice de manera detallada el procedimiento paso

de a paso de la minimización del autómata.
minimización - Paso 1.
5-tupla 𝑀 = (𝐾, ∑, 𝛿, 𝑠, 𝐹)
M {q0, q1, q2, q3, q4, q5,}
alfabeto {a, b} 𝛿, q0, {q2}
S= q0 (estado inicial)
F= {q3, q4} (estado final)
K= {q0, q1, q2, q3, q4, q5,} estados
∑, ={a, b} (alfabeto)
- Paso 2.
𝛿, q0, {q2}
𝛿 (q0, a)= q1
𝛿 (q0, b)= q5
𝛿 (q1, a)= q4
𝛿 (q2, a)= q0
𝛿 (q2, b)= q3
𝛿 (q5, b)= q5
𝛿 (q5, a)= q4
𝛿 (q4, b)= q1
𝛿 (q3, a)= q2
𝛿 (q3, b)= q4
- Paso 3.
Agrupamos los estados de aceptación en X y los demás estados
en Y
X{q3,q4}Y{q0,q1,q2,q5}
 - Paso 4.
Procedemos hacer tablas de transición para encontrar estados
equivalentes
a b
q3 Y X
q4 Y

a b
q0 Y Y
q1 X
q2 Y X
q5 X Y
Como no hay estados equivalentes no se puede hacer
minimización
Resultado del Como el autómata nunca toma los estados q2 y q3 se retiran de
Autómata la ecuación
minimizado

Notación En este espacio agrega la notación formal del

formal autómata.
5-tupla 𝑀 = (𝐾, ∑, 𝛿, 𝑠, 𝐹)
M {q0, q1, q4, q5,}
alfabeto {a, b}
S= q0 (estado inicial)
F= {q4} (estado final)
K= {q0, q1, q4, q5,} estados
∑, ={a, b} (alfabeto)

Lenguaje En este espacio agrega el lenguaje regular del

Regular autómata.
ER=aa+bb*a
Gramática del En este espacio agrega la gramática del autómata.
autómata Identifique su gramática (de forma manual) por la
derecha y caracterícela. Debe incluir el diagrama de
estados con los componentes de la gramática
asociados a las variables y a las constantes.

LHS RHS
C bC
B λ
C aB
S bC
S aA
B bA
A aB