AUTOMATAS Y LENGUAJES FORMALES

UNIDAD 1: FASE 1 - DEBATIR Y DESARROLLAR LOS EJERCICIOS

PLANTEADOS SOBRE LENGUAJES Y EXPRESIONES REGULARES

PRESENTADO POR:

JOHAN ALBERTO GUERRERO CARREO_ CODIGO: 1.064.719.142

ASUNCION MEZA VILLANUEVA _ CODIGO: 18.971.869

CSAR ENRIQUE ARGUMEDO SUESCUN _ CODIGO: 1.116.855.300

CARLOS ALFREDO NUEZ_CODIGO:1.117.545.243

GRUPO: 301405_98

TUTOR: EDGAR ANTONIO CORTES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

SEPTIEMBRE 29 DEL 2017

TAME ARAUCA
 INTRODUCCION

La teora de autmatas es una rama de las ciencias de la computacin que estudia las

mquinas abstractas y los problemas que stas son capaces de resolver. La teora de autmatas

est estrechamente relacionada con la teora del lenguaje formal ya que los autmatas son

clasificados a menudo por la clase de lenguajes formales que son capaces de reconocer.

Un autmata es un modelo matemtico para una mquina de estado finito, la entrada es leda

smbolo por smbolo, hasta que es consumida completamente una vez la entrada se ha

agotado, el autmata se detiene. Dependiendo del estado en el que el autmata finaliza se dice

que este ha aceptado o rechazado la entrada. Si ste termina en el estado acepta, el autmata

acepta la palabra. Si lo hace en el estado rechaza, el autmata rechaz la palabra, el conjunto

de todas las palabras aceptadas por el autmata constituyen el lenguaje aceptado por el

mismo.
OBJETIVOS

Identificar los conceptos generales sobre Autmatas y Lenguajes regulares,

expresiones regulares y Lenguajes Formales.

Utilizar los simuladores jflap y vas para la realizacin de los ejercicio.

. Demostrar la asimilacin de los conceptos fundamentales mediante la resolucin de

ejercicios.
 ACTIVIDADES A DESARROLLAR

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 autmata realizar paso a paso el procedimiento de:

1. Hallar la expresin regular

Se puede observar que el autmata tiene mltiples bucles del estado inicial al final

tales como:

a b
 q0 q4 q3

q2 q0 q3

q3 q3 q2

q4 q3 q3

a(a+b)(a+bb)*baa

(b(a+bb)*ba)*a

(a(a+b)(a+bb)*ba)*(b(a+bb)*ba)*))*a

2. Hallar el lenguaje regular

(a(a+b)(a+bb)*ba)*(b(a+bb)*ba)*))*a

3. Justificar el tipo de autmata que es

El autmata es un autmata finito No determinista AFND ya que hay transacciones no

especificadas en algunos estados del autmata

Ejercicio 2:

Realizar la conversin del siguiente autmata, si el autmata es AFD convertirlo a AFND y si

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

Es (NFA) y se convirti a (DFA)

a b

q0 q4 q3

q1 q4 q1

q2 q0 q3

q3 q3 q2

q4 q3 q3

q5 q3 q2, q6

q6 q1 q3
 a b

q0 q4 q3

q3 q3 q2

q4 q3 q3

q2 q0 q3

Ejercicio 3:

Teniendo en cuenta el ejercicio anterior, seleccionar el autmata finito determinista (AFD).

Con base en ese autmata desarrolle:

1. Describa la forma matemtica del autmata,

A = [(Q0, Q2, Q3, Q4), (a,b),, Q0,( Q2,)]

2. Plasme la tabla de transicin.

a b

q0 q4 q3
 q3 q3 q2

q4 q3 q3

q2 q0 q3

3. Identifique los elementos (tupla, estado final, inicial, alfabeto, etc.). Debe explicar y

describir cada elemento y la funcin y significado en el autmata. Conceptos y

definiciones adicionales.

Q= conjunto de estados que el autmata toma

= alfabeto que lee el autmata o el que este acepta

I = estado inicial

F = estado Final

= transiciones del autmata

Q = {0, 2, 3 4}

= {a, b}

I = {0}

F = {4}

= {((0,a)4),((0,b),3),((2,a),0),((2,b),3), ((3,a),3), ((3,b),2), ((4,a),3), ((4,b),3)}

4. Muestre en el simulador (grficamente) como recorre una cadena vlida.

Explique cada secuencia. (No se trata solo de captura las imgenes, estas deben

ser explicadas en pi de pgina o de lo contrario no tienen validez)

El autmata inicia en el estado q0

En q0 con la transaccin (a) cambia al estado q4

En q4 con la transaccin (b) cambia al estado q3

En q2 con la transaccin (b) cambia al estado q3

En q4 con la transaccin (b) cambia al estado q3

En q3 con la transaccin (a) cambia al estado q3

En q3 con la transaccin (b) cambia al estado q2

En q2 con la transaccin (a) cambia al estado q0

 En q0 con la transaccin (a) cambia al estado q4 llegando al estado final, la entrada es

aceptada por el autmata

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 ofrezcan uno

u otro).
 Con JFLAP se pueden correr varias cadenas de entrada al tiempo y evaluar su grado

de aceptabilidad.

Con JFLAP se permite convertir a gramtica.

si se compara el diagrama de Moore con Jflap, podemos decir que se ve mejor con

Vas pero, no permite muchas otras simulaciones.

 CONCLUSIONES

En el anterior trabajo se adquirieron conocimientos necesarios para el desarrollo de los

ejercicios planteados para esta actividad.

Adems se logr entender mejor los lenguajes formales como tambin sus identificaciones

como lo son los modelos AFD y AFND.

En el desarrollo de la presente actividad adquirimos conocimientos bsicos del curso teniendo

como objetivo dar introduccin a temas fundamentales como Autmatas y Lenguajes

regulares y expresiones regulares.

 BIBLIOGRAFIAS

Carrasco, R., Calera, R., Forcada, M. (2016). Teora De Lenguajes, Gramticas Y Autmatas

Para Informticos. Recuperado

de:http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&AN=318032

&lang=es&site=eds-live&ebv=EB&ppid=pp_Cover

Hernndez, R. (2010). Practique la teora de autmatas 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., Mariyn, S. (2009). Teora de autmatas y lenguajes

formales. (pp. 7-797). Recuperado

de:http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10498456&ppg=