Está en la página 1de 11

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería


Curso Académico de Autómatas y Lenguajes Formales

Unidad 1: Fase 1: Debatir y Desarrollar los ejercicios planteados sobre


lenguajes y expresiones regulares

PRESENTADO POR:

Nombres y Apellidos
Código
Nombres y Apellidos
Código
Nombres y Apellidos
Código
Nombres y Apellidos
Código
Nombres y Apellidos
Código

GRUPO: 301405_471_XX

PRESENTADO A:

TUTOR CESAR ORLANDO JIMENEZ ANGARITA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD


ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA ECBTI
BOGOTA D.C. XX de XX de 2018
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Curso Académico de Autómatas y Lenguajes Formales

INTRODUCCION

Xxxxx xxxxx xxxxx xxxxx xxxxx xxxx xxxxx xxxxx xxxxx xxxxx xxxx xxxxx xxxxx
xxxxx xxxxxxxxx xxxxx xxxxx xxxxx xxxxx xxxx xxxxx xxxxx xxxxx xxxxx xxxx
xxxxx xxxxx xxxxx xxxxx xxxx xxxxx xxxxx xxxxx xxxxx.

Xxxxx xxxxx xxxxx xxxxx xxxxx xxxx xxxxx xxxxx xxxxx xxxxx xxxx xxxxx xxxxx
xxxxx xxxxxxxxx xxxxx xxxxx xxxxx xxxxx xxxx xxxxx xxxxx xxxxx xxxxx xxxx
xxxxx xxxxx xxxxx xxxxx xxxx xxxxx xxxxx xxxxx xxxxx.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Curso Académico de Autómatas y Lenguajes Formales

OBJETIVOS

Xxxxx xxxxx xxxxx xxxxx xxxxx xxxx xxxxx xxxxx xxxxx xxxxx xxxx xxxxx xxxxx
xxxxx xxxxxxxxx xxxxx xxxxx xxxxx xxxxx xxxx xxxxx xxxxx xxxxx xxxxx xxxx
xxxxx xxxxx xxxxx xxxxx xxxx xxxxx xxxxx xxxxx xxxxx.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Curso Académico de Autómatas y Lenguajes Formales

Muestra de Ejercicio planteado Paso a paso, que también está en el video

Muestra de Ejercicio planteado Paso a paso


Conversión de Autómata Finito No Determinista a
Autómata Finito Determinista.
Definición:

Estados (q0,q1,q2,q3,q4)
Transiciones (a,b)
Alfabeto (a,b)
Estado Inicial (q0)
Estados Finales (q0,q1)

Paso 1 Tabla de Transición


Estados a b
q0 q1,q2 ----

Paso 2 Tabla de Transición


Estados a b
q0 q1,q2 ----
q1 q1,q2 ----

Paso 3 Tabla de Transición


Estados a b
q0 q1,q2 ----
q1 q1,q2 ----
q2 q1
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Curso Académico de Autómatas y Lenguajes Formales
Paso 4 Tabla de Transición
Estados a b
q0 q1,q2 ----
q1 q1,q2 ----
q2 q1 q3,q4

Paso 5 Tabla de Transición


Estados a b
q0 q1,q2 ----
q1 q1,q2 ----
q2 q1 q3,q4
q3 q1 q3,q4

Paso 6 Tabla de Transición


Estados a b
q0 q1,q2 ----
q1 q1,q2 ----
q2 q1 q3,q4
q3 q1 q3,q4
q4 ---- ----

Paso 7 Tabla de Transición


Estados a b
q0 q1,q2 ----

Paso 8 Tabla de Transición


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Curso Académico de Autómatas y Lenguajes Formales
Estados a b
q0 q1,q2 ----
q1,q2 q1(q1,q2) q1(----) U
U q2(q1) q2(q3,q4)

Tabla de Transición
Estados a b
q0 q1,q2 ----
q1,q2 q1,q2 q3,q4

Paso 9 Tabla de Transición


Estados a b
q0 q1,q2 ----
q1,q2 q1,q2 q3,q4
q3,q4 q3(q1) U q3(q3,q4)
q4(----) U
q4(----)

Paso 10 Tabla de Transición


Estados a b
q0 q1,q2 ----
q1,q2 q1,q2 q3,q4
q3,q4 q1 q3,q4

Paso 11 Tabla de Transición


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Curso Académico de Autómatas y Lenguajes Formales
Estados a b
q0 q1,q2 ----
q1,q2 q1,q2 q3,q4
q3,q4 q1 q3,q4
q1 q1,q2 ----

Paso 12 Nueva Tabla de Transiciones


Estados a b
q0 q1,q2 ----
q1,q2 q1,q2 q3,q4
q3,q4 q1 q3,q4
q1 q1,q2 ----
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Curso Académico de Autómatas y Lenguajes Formales

Actividades a desarrollar

Actividades Individuales:

Actividad 1:

El estudiante selecciona un tema de los siguientes y realiza una presentación con la


definición, características, propiedades y ejemplos propios de:

 Lenguaje regular,
 Expresión regular,
 Autómata finito,
 Autómata finito determinista
 Autómata finito no determinista

Nota: Por Favor se deben pegar todas las diapositivas para la entrega final

Actividades Colaborativas:

El trabajo se desarrolla demostrando el procedimiento realizado paso a paso, no se


tendrá en cuenta las respuestas o simulaciones en jFlap o VAS.

Ejercicio 1: Teniendo en cuenta el autómata realizar paso a paso el procedimiento


de:

1. Hallar la expresión regular


2. Hallar el lenguaje regular
3. Justificar el tipo de autómata que es

Nota: Por Favor aquí se debe pegar el ejercicio paso a paso completamente
desarrollado por favor mirar el ejercicio muestra

Ejercicio 2:
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Curso Académico de Autómatas y Lenguajes Formales

Realizar la conversión del siguiente autómata, si el autómata es AFD convertirlo a


AFND y si es AFND convertirlo a AFD, Se debe mostrar el procedimiento paso a
paso.

Nota: Por favor aquí se debe pegar el ejercicio paso a paso completamente
desarrollado por favor mirar el ejercicio muestra

Ejercicio 3:

Teniendo en cuenta el ejercicio anterior, seleccionar el autómata finito determinista


(AFD). Con base en ese autómata desarrolle:

1. Describa la forma matemática del autómata,


2. Plasme la tabla de transición.
3. Identifique los elementos (tupla, estado final, inicial, alfabeto, etc.). Debe
explicar y describir cada elemento y la función y significado en el autómata.
Conceptos y definiciones adicionales.
4. Muestre en el simulador (gráficamente) como recorre una cadena válida.
Explique cada secuencia. (No se trata solo de captura las imágenes, estas
deben ser explicadas en pie de página o de lo contrario no tienen validez)
5. Muestre el diagrama de Moore generado en JFLAP y en VAS y comente tres
similitudes y tres diferencias que encuentra al realizarlo en los dos
simuladores. (Ventajas que ofrezca uno u otro).

Nota: Por favor aquí se debe pegar el ejercicio paso a paso completamente
desarrollado por favor mirar el ejercicio muestra
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Curso Académico de Autómatas y Lenguajes Formales

CONCLUSIONES

Xxxxx xxxxx xxxxx xxxxx xxxxx xxxx xxxxx xxxxx xxxxx xxxxx xxxx xxxxx xxxxx
xxxxx xxxxxxxxx xxxxx xxxxx xxxxx xxxxx xxxx xxxxx xxxxx xxxxx xxxxx xxxx
xxxxx xxxxx xxxxx xxxxx xxxx xxxxx xxxxx xxxxx xxxxx.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Curso Académico de Autómatas y Lenguajes Formales

REFERENCIAS BIBLIOGRAFIA

Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes, Gramáticas Y


Autómatas Para Informáticos. Recuperado
de http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&AN
=318032&lang=es&site=edslive&ebv=EB&ppid=pp_Cover

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


1 -124). Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10566
114&ppg=10

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


formales. (pp. 7-797). Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10498
456&ppg=6

Millán, J., Antonio J. (2009). Compiladores y procesadores de lenguajes. (pp. 28-


62). Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/detail.action?docID=10844
351

Ferrando, J.C., and Gregori, V. (2012). Matemática discreta (2a. ed.). (pp. 207-
232). Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=260&do
cID=10751543&tm=1481476339478

También podría gustarte