Unidad 1- Fase 2 - Conocer formalismos usados para definir lenguajes

formales

ELABORADO POR:

DIDIER CANTILLO CÓDIGO: 92530866

PARA: VERMER RAINER AYALA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

AUTOMATAS Y LENGUAJES FORMALES
INGENIERIA DE SISTEMAS
2019
 EJERCICIOS DE LA FASE 1
ACTIVIDAD INDIVIDUAL

De acuerdo al último dígito de su cédula o tarjeta de identidad,

identifique el ejercicio asignado en la siguiente tabla:

Último dígito Ejercicio

de la Cédula o
TI
1y9 Ejercicio 1
2y8 Ejercicio 2
3y7 Ejercicio 3
4y6 Ejercicio 4
5y0 Ejercicio 5

Cédula: 92530866, como el número de cédula termina en 6, me

corresponde hacer el ejercicio 4
ACTIVIDAD 1: Conversión de un Autómata Finito a Expresión
Regular
El diseño solicitado corresponde al diligenciamiento de la siguiente
tabla:

EJERCICIO A
TRABAJAR

Caracterizació El autómata es determinista porque desde el

n del autómata estado q0 con cada transición “a”, “b” y “c”, se
dirige a tres estados diferentes, con la misma
transición no llega a dos estados; y lo mismo
sucede con los cuatros estados.

Procedimiento El autómata no se puede llevar a expresión regular

de conversión por el método de eliminación de estados, por la
de Autómata transición que hay del estado q2 a q1. Por lo que,
Finito a para hallar la expresión, se van a ver todos los
Expresión caminos posibles por los que se pueden llegar
Regular paso a desde el estado inicial al estado final, y se suman
paso todas aquellas expresiones:

Camino 1: El que solo pasa por q1

c*ab*a

Camino 2: El que pasa solo por q2:

c*ba

Camino 3: Pasa primero por q2 y luego por q1:

c*bbb*a

Al sumar las ecuaciones de los tres caminos

tenemos la expresión regular del sistema:

c*ab*a + c*ba + c*bbb*a

Autómata Final
convertido c*ab*a + c*ba + c*bbb*a

 Lenguaje Conjunto de estados {q0, q1, q2, q3}

regular Alfabeto {a, b, c}
Estado inicial: q0
Estado Final: q3

ACTIVIDAD 2: Conversión de Autómatas Finitos Deterministas a

Autómatas Finitos No deterministas (AFD a AFND) y viceversa

EJERCICIO
A TRABAJAR

Caracterizac El autómata es no determinista porque desde el

ión del estado q1 con la transición “b”, se dirige a dos
autómata estados diferentes (q1 y q2); y desde el estado q2
con la transición “a”, se dirige a dos estados
diferentes (q0 y q3)
Procedimient Tabla de transiciones
o de
conversión Tabla de transiciones
paso a paso a b c
q0 q1 q2 q0
q1 q3 q1, q2 -
q2 q0, q3 - -
q3 q2 q1 -

Nueva tabla de transiciones por grupos

Tabla de transiciones por grupos

a b c
q0 q1 q2 q0
q1 q3 q1, q2 -
q2 q0, q3 - -
q3 q2 q1 -
q1, q2 q0, q3 q1, q2
q0, q3 q1, q2 q1, q2 q0

Con la tabla anterior, se forman los nuevos grupos y

transiciones y se arma el nuevo autómata.

Autómata
Final
convertido

 Practicar y
verificar lo
aprendido

REFERENCIAS
Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes,
Gramáticas Y Autómatas Para Informáticos. (pp. 127 - 142).
Recuperado de http://bibliotecavirtual.unad.edu.co:2051/login.aspx?
direct=true&db=nlebk&AN=318032&lang=es&site=edslive&ebv=EB&ppi
d=pp_Cover

Hernández, R. (2010). Practique la teoría de autómatas y lenguajes

formales. (pp. 1 -124). Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=10566114&ppg=10

Alfonseca, C., Alfonseca, M., Mariyón, S. (2009). Teoría de autómatas y

lenguajes formales.  (pp. 71 - 115). Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=10498456&ppg=6

Alemán. H. [Helena]. (2017, Junio 19). Conceptualización de automáta

[Archivo de video]. Recuperado de https://www.youtube.com/watch?
time_continue=1&v=zMhwYlXAHE4

PREGUNTAS DE VERIFICACIÓN

1. Dentro de las aplicaciones de autómatas se tiene:

 
A. Alimentación
B. Medicina
C. Fabricación de calzado
D. Educación
 

2. Dentro de la clasificación jerárquica de los autómatas se

encuentran los intermedios en primer nivel, a su vez dentro
de ellos están:

A. Memoria Linealmente limitada

B. Autómatas Finitos
C. Máquinas de Turing
D. Códigos convolucionales
 

3. Cuando se realiza la Conversión de AFN a AFD con

transiciones vacías el resultado de C = {1, 3, 4} U {0, 1, 3}
con transición X es:

D = {1,2,3,4} U {0,1,3}
C = {1,3,4} U {0,1,3}
B = {1,2} U {0,1,3}
D = {1,2} U {0,1,3}
 

4. Teniendo en cuenta la siguiente imagen cual es la

respuesta:

A.

B.

C.

D.