AUTÓMATAS Y LENGUAJES FORMALES

301405_1

Unidad 1, 2 y 3 - Fase 5
Desarrollar aplicaciones con Autómatas.

Alumno:
WILMER ROMINGUER CORTES GONZALEZ
Código: 1.070.968240

Presentado a:
Rolando Fabian Junco

Universidad Nacional Abierta y a Distancia UNAD

CEAD Facatativá
Escuela De Ciencias Básicas, Tecnología e Ingeniería (ECBTI)
Mayo 2020
Ejercicio 1:
De cada uno de los siguientes autómatas, realizar el procedimiento
paso a paso de hallar la expresión regular, el lenguaje regular y
explicar el tipo de autómata que es:
EJERCICIO A Ejercicio 1
TRABAJAR

Caracterizació - Autómata Finito No Determinista

n del autómata - Características
 El resultado de la función de transición puede
ser el conjunto vacío (pares estado/símbolo
terminal para las que el autómata no puede
transitar). Se suelen omitir estas entradas en
las tablas de transiciones δ(q0,ε),…
 El autómata puede transitar sin leer ningún
símbolo de entrada: δ(q1,ε)={q0,q1 }
 El no determinismo del autómata proviene
del hecho de que en cada momento (para
cada símbolo de entrada y estado) pueden
existir varias posibilidades de transición (o
ninguna).
 Permite transiciones con cadenas vacías
 No siempre se permite el uso de back
tracking
 Requiere menos espacio.
 Una cadena es aceptada si solo unas de
todas sus posibles transiciones son hacia un
estado final.


Procedimiento -
de conversión
de Autómata
Finito a
Expresión
Regular paso a
paso Paso 1
Tabla de transición
 q a b
q0 q1 q0
q1 -- q2
q2 -- --

Paso 2 convertir por medio de eliminacion

- observamos que el estado final es el q2.

Además también analizamos que para
despeje del autómata el primer estado que
se puede eliminar es q1 pues el otro estado a
parte de q2 es q0 y como este es el estado
inicial no debe eliminarse aun.

- Paso 2: se procede a eliminar el estado q1 y

se agregan los canales o variables al estado
q0.

- Paso 3: Una vez que solo queda q0 y q2

analizamos si es posible reducir aún mas el
autómata. En nuestro caso vemos que no es
posible pues ya se redujeron al máximo las
transiciones del autómata. Así que, hemos
encontrado la expresión regular

Autómata Final
convertido

ER=a+(a+b¿ b)
Lenguaje ε ={ A , B }
regular
Teniendo en cuenta el siguiente autómata realizar los puntos
siguientes:

Ejercicio 2: Realizar la conversión de AFD a AFND o de AFND a AFD

según corresponda
EJERCICIO
A TRABAJAR

Caracterizac Autómata Finito No Determinista: Es el autómata finito

ión del que tiene transiciones vacías o que por cada símbolo
autómata desde un estado de origen se llega a más de un
estado destino.

Se dice que A es un autómata finito determinista

(AFND) si y sólo si se satisface en g las siguientes
propiedades:

 Cada combinación (estado, símbolo de entrada)

puede estar en varios estados de manera
simultánea.

Por ejemplo, el estado inicial q0 con símbolo 0 puede

ir a los estados q0 o a q2. O el estado final q1 con
símbolo 0 puede ir a los estados q1 o a q2.

Procedimien - Paso 1: Primero pasamos a realizar una

to de identificación de los estados y los canales que siguen
conversión para determinar que nuevos estados pueden surgir.
paso a paso Por consiguiente identificamos el estado inicial y el
estado final. Para nuestro ejemplo el estado inicial es
q0 y los finales q4 y q2. Además reconocemos que el
alfabeto está compuesto de a,b. Ahora con estos
datos realizamos una tabla como la siguiente donde
determinamos las transiciones de cada estado.

a b λ
Q0 Q1 Q0,Q3
Q1 Q1 Q2
Q3 Q4 Q2
Q2 Q1 Q3
Q4 Q0 Q1 Q4

- Paso 2:para la transformación nos ubicamos en el

estado inicial y hallaremos que al validar salen nuevos
valores, estos nuevos valores deben validarse
también. Con estos valores realizamos una nueva
tabla.
a b λ
Q0 Q1, Q0,Q3
Q1 Q1 Q2
Q0,Q3 Q1,Q4 Q0,Q3,Q2
Q2 Q1 Q3
Q1,Q4 Q1,Q0 Q2,Q1 Q4
Q0,Q3,Q2 Q1,Q4 Q0,Q3,Q2
Q3 Q4 Q2
Q1,Q0 Q1 Q0,Q3,Q2
Q2,Q1 Q1 Q3,Q2
Q4 Q0 Q1 Q4
Q3,Q2 Q4,Q1 Q2,Q3

- Paso 3: esta nueva tabla de transición nos brinda la

información necesaria para construir nuestro nuevo
autómata. Así para construir el autómata tomamos los
nuevos estados y graficamos las transformaciones que
estos tienen indicados en la tabla.

a b λ
Q0 Q1, Q5
Q1 Q1 Q2
Q5 Q6 Q7
Q2 Q1 Q3
Q6 Q8 Q9 Q4
 Q7 Q6 Q7
Q3 Q4 Q2
Q8 Q1 Q7
Q9 Q1 Q10
Q4 Q0 Q1 Q4
Q10 Q6 Q10
Autómata
Final
convertido

Validación cadenas en autómata original

 Practicar y
verificar lo
aprendido

Validación cadenas en autómata convertido