AUTOMATAS Y LENGUAJES FORMALES GRUPO: 301405_02

TRABAJO COLABORATIVO .1

PRESENTADO POR: EDWIN OMAR ORTIZ MANRIQUE COD: 13927687 Edwinortiz555@hotmail.com ORGE HUMBERTO DE LA CRUZ CORTS COD: 13927687 cocomltda@hotmail.com

PRESENTADO A: JAIME JOSE VALDES

UNIVERSIDAD NACIONALABIERTAYADISTANCIA.UNAD. ESCUELADECIENCIASBASICASEINGENIERIA PROGAMADE INGENIERIAELECTRONICA 2011

INTRODUCCION

Los lenguajes regulares son la buena manera de validar campos del texto tales como nombres, las direcciones, los nmeros de telfono, y otra informacin del usuario. Podemos utilizarlas para obligar la entrada, aplicar reglas del formato, y mucho ms; hay varios mtodos de cmo validar informacin y entre ellos, se encuentran los Autmatas Finitos y los Lenguajes Regulares que contienen las expresiones regulares, que tienen parecido a una especie de lenguaje que se puede usar para buscar, remplazar y sobreponer ciertos patrones en un texto. Los lenguajes regulares nos dotan de los fundamentos o las bases para describir o buscar coincidencias de acuerdo de unas reglas de sintaxis predefinidas. Una expresin regular es un patrn de caracteres que comparamos con una determinada cadena o parcela de texto. La estructura de una expresin regular es similar a una tpica expresin aritmtica: varios elementos son combinados para conseguir una expresin ms compleja. El potencial de las expresiones regulares se basa en esto, en poder realizar mltiples combinaciones de los distintos elementos que la pueden conformar.

OBJETIVOS

OBJETIVO GENERAL Reconocer los lenguajes regulares, autmatas finitos y su aplicacin. OBJETIVOS ESPECIFICOS Analizar las expresiones regulares como mtodo de descripcin de lenguajes regulares. Conocer los lenguajes formales y su clasificacin en orden creciente de complejidad, as como los autmatas reconocedores y las gramticas generadoras. Adquirir las habilidades necesarias para desarrollar autmatas y mquinas que reconozcan lenguajes o computen funciones. Distinguir los diferentes tipos de lenguajes formales existentes y su clasificacin en orden creciente de complejidad, as como los autmatas reconocedores y las gramticas generadoras

DESARROLLO DE LA ACTIVIDAD

1. Construya un autmata que reconozca las cadenas las cadenas que contienen la subcadena aba y cuya definicin formal sera la siguiente: Q = {1,2} = {a, b} I = {1} F = {2} = {((1,a),1),((1,b),1),((1,aba),2),((2,a),2),((2,b),2)} Realice el diagrama de Moore Construya Tabla de Transicin. En el simulador demuestre las cadenas de entrada vlidas (aba).

q 1 2

a 1 2

b 1 1

Ejercicio No1

1, ababa 1, baba, 1, ababa 2, ba,

2, ba 2, a 2, a 2,

2. Para el siguiente AFND representado en el diagrama, identifique la tabla de transicin correcta que lo representa: Constryalo en los simuladores. Cree las tablas de transicin Verifique el lenguaje aceptado por el autmata en el simulador Ejercicio 2

En la tabla de transicin, alguna celda contiene 0 o un conjunto no unitario

Tabla de Transicin.

Q0 Q1 #Qz Q3 #q4

a { q0,q3 } 0 {qz} {q4} {q4}

b {q0,q1} {qz} {qz} 0 {q4}

3. Para el siguiente autmata, constryalo en el simulador, identifique claramente las cadenas y sub cadenas vlidas y justifquelas.

Ejercicio 3

El autmata reconoce las cadenas que comienzan con la subcadena aba. Note que si llega a comenzar con algo diferente a aba llega a un sumidero del cual no puede salir. Una vez ha recibido la subcadena aba ya no importa qu sigue, acepta la cadena.

4. Para el siguiente autmata, M = (Q, A, q0, , F) donde: Q = {q0, q1, q2, q 3} A = {a, b} q Es el estado Inicial 0 Ejercicio 4

Identifique: Las igualdades que son vlidas para la funcin de transicin

Tabla de transicin

q0 q1 q2 q3

q0 b a

q1 b a

q2 a b

q3 a b

La funcin de transicin

(q0, a) = {q0, q1} ( q0, b) = { q1 } ( q1, a ) = { q2 } ( q2, b) = { q3} ( q3, ab ) =

5. Para el siguiente autmata finito determinista dado por: M = ({q0, q1, q2, q3}, {0, 1}, , q0, {q1}) Donde la funcin : {q0, q1, q2, q3 } {0, 1} {q0, q1, q2, q3} viene dada por: (q0, 0) = q0 (q0, 1) = q1 (q1, 0) = q0 (q1, 1) = q2 (q2, 0) = q3 (q2, 1) = q1 (q3, 0) = q3 (q3, 1) = q2

Plsmelo en los simuladores Realice el diagrama de Moore. Identifique la tabla de transicin correspondiente Verifique el lenguaje aceptado y las cadenas vlidas para el autmata. Identifique el estado inicial y final respectivamente para el autmata

f q0 * q1 q2 q3

0 q1 q0 q1 q2

1 q0 q2 -

Los estados finales estarn sealados mediante el smbolo * , o donde representemos los estados como.

Estado Final

q0

Estado Inicial

q1

Estado Intermedio

6. Para el siguiente autmata:

 Realice la tabla de transicin. Que tipo de Autmata es (Justifquelo). Que cadena reconoce. (Demustrelo y grafquelo en los simuladores).

q0 q1 q2 q3 q4

0 {q0, q1} {q3, q4}

1 q0 q2

0 {q0,q4}

1 q1 q2 q3

Es un autmata no determinstico porque se puede representar con claridad la estructura de la expresin regular (11 + 110) * 0. Es una cadena 010010 la cadena se reconoce hay que registrar los datos anteriores.

7. Construir un autmata que reconozca las cadenas sobre {a, b, c} donde c slo puede aparecer si la cadena comienza con a. Realice el Diagrama de Moore. (con los simuladores) Encuentre las tablas de transicin (con los simuladores) Solucin y justificacin En este caso, se debe resaltar que lo que se dice es que c puede aparecer si comienza con a, no dice que debe aparecer. Dicho en otras palabras, c no puede aparecer si la cadena no comienza por a. Otra caracterstica que se puede deducir es que las cadenas que pertenecen al lenguaje no pueden comenzar con c, pues si comienzan con c no comienza por a y al no comenzar por a no puede contener c. Tambin se puede deducir que el autmata acepta cualquier cadena que no contiene c. El autmata entonces se compone de dos sub-autmatas, uno que acepta c y otro que no. Ahora si comienza con a, entonces pasa al autmata que acepta las cadenas que contienen c, si comienza con b pasa al que no acepta c. Todos los estados son finales menos el estado de error.

q aIb

a ab

b bc

c c c

aIbIc abc bc

8. Dado el autmata de la figura, construya un autmata equivalente (AFD) partiendo del estado inicial {q0}, y determine el conjunto de estados alcanzables con cada smbolo del alfabeto. Realice el diagrama de Moore del nuevo autmata. Realice las respectivas transiciones

Sea A = ({q0, q1, q2}, {a, b, c}, , q0, {q0, q1, q2}) donde la funcin de transicin viene definida por:

(q0, a) = {q0, q1,q2} (q1,a) = 0 (q2,a) = 0 (q0,b) = { q1,q2} (q1,b) = { q1,q2} (q2,b) = 0 (q0,c) = { q2} (q1,c) = { q2} (q2,c) = { q2}

La tabla de transicin correspondiente es:

a q0 q1 q2 {q0 ,q1,q2} 0 0

b { q1,q2} { q1,q2} 0

c { q2} { q2} { q2}

9. Dado el siguiente Autmata Finito

(a) Construir el AFD mnimo equivalente (b) Deducir el lenguaje que reconoce

Tabla de equivalencias: 1 p* Q r* s q q s r 0 r q r s p -

Escogemos los finales (p* y r*) = C1 y no finales (q, s)= C2

Nueva tabla: 1 p* r* q s 0 C1 C1 C2 NUEVO ESTADO C1 C1 C2 C3 A2 *z *y x a y z x b x y x

C2 C2 C2 C1 C1

C2 -

Nuevo autmata:

Lenguaje admitido: a. Todas las palabras que inicien y/o terminen en 1 b. Todas las palabras que terminen en 0

10. Defina y justifique si los dos autmatas siguientes son equivalentes.

A1 p
*q

*r s

a q r q s

b s q s s

Justifique sus respuestas (explique el procedimiento). Realice los diagramas de Moore

Si A1 y A2 dos autmatas A1=A2 si sus autmatas mnimos son iguales salvo su renombramiento de estado L ( A1) = L (A1) y L ( A2) y L (A2) = L (A2) SOLO SI = SI A1 Y A2 son iguales (salvo el renombramiento de estado) se cumpla L (A1) = L (A2) y entonces L ( A1)= L(A2) si: si A1 y A2 son iguales salvo el nombramiento de estado.

CONCLUSINES

Los lenguajes regulares nos dotan de los fundamentos o las bases para describir o buscar coincidencias de acuerdo de unas reglas de sintaxis predefinidas. La connotacin del trabajo abordado en las pginas anteriores nos permite conocer que a travs de procesos y teniendo en cuenta las entradas inciales.

los estados de los autmatas podemos obtener las salidas respectivas de los Procesos.

BIBLIOGRAFA

Edgar Alberto Quiroga rojas. Autmatas y lenguajes formales, modulo UNAD, Bogot D.C 2011. Aho, A V. Sethi, R., Ullman, J.D., Compililadores: Principios, tcnicas y herramientas, Addison-Wesley, 1990. Lewis, R.L., Papadimitriou, C.H., Elements of the Theory of Computation, PrenticeHall, 1981. Lpez Rodrigo, Notas del curso de Compiladores, Universidad de los Andes, Bogot, Colombia, 1986-1993. Taylor, Gregory R., Models of Computation and Formal Languages.
Lenguajes, Gramticas y Autmatas: Curso bsico. CASES MUZ, Rafal; MRQUEZ VILLODRE, Llus. Editorial Planeta. 2007.