UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD.

Autmatas y Lenguajes Formales

Actividad No. 6.

TRABAJO COLABORATIVO No. 1

AUTOMATAS Y LENGUAJES FORMALES Tutor: JAIME JOSE VALDES Grupo: 301405_76

PRESENTADO POR: EDWIN ALBERTO PALMA LEON Cd. 86.054.717 palmeras28@hotmail.com JOSE GABRIEL CARDENAS MOYA Cd. 93.296.319

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ABRIL 2013

Trabajo Colaborativo No. 1

Pgina 1

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

INTRODUCCION

Los autmatas vienen a ser mecanismos formales que realizan derivaciones en gramticas formales. La manera en que las realizan es mediante la nocin de reconocimiento. Una palabra ser generada en una gramtica si y slo si la palabra hace transitar al autmata correspondiente a sus condiciones terminales. Por esto es que los autmatas son analizadores lxicos (llamados en ingls parsers'') de las gramticas a que corresponden.

Trabajo Colaborativo No. 1

Pgina 2

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

OBJETIVOS

Objetivo general Reconocer los lenguajes regulares, autmatas finitos y su aplicacin.

Objetivos especficos

Analizar la aplicacin de los lenguajes regulares y los autmatas finitos. Adquirir las habilidades necesarias para desarrollar autmatas y mquinas que reconozcan lenguajes o computen funciones. Distinguir los diferentes tipos de lenguajes formales existentes. Adquirir el conocimiento y competencia para poder recrear autmatas sencillos en un simulador. De igual forma verificar el lenguaje que reconoce.

Trabajo Colaborativo No. 1

Pgina 3

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

Si tomamos como A un alfabeto, unas posibles expresiones regulares sobre ese alfabeto podran ser: (identifique que lenguaje reconoce esa ER)
a) es una ER que denota el Lenguaje = EL CONJUNTO VACIO = L() =

b) es una ER que denota el lenguaje = DENOTA EL LENGUAJE { }

si A = {a,b,c}

c) (a +b)*(a+b) = { a } , { aaa } , { b } , { bbb } , { ab } , { ba } d) (a* + b ) * = { a } , { b } , { aba } , { ab } , { } e) (a + )ba* = { ab } , { aba } f) b (aba)* = { b } , { baba } g) * = { } , { }

si A = {0,1} h) 0*+1*(01) = { 0 } , { } , { 101 } , { 00 } , { 1101 } , { 11101 } i) 10* + 10 = { 1 } , { 10 } , { 100 } , { 1000 } , { 10000 } j) 01* + 0 = { 0 } , { 01 } , { 011 } , { 0111 } , { 01111 } k) (1-11*0)* = { } , { 1-110 } , { 1-1110 } , { 1-11110 } , { 1-111110 } l) (1 + 10) + 0 = { 0 } , { 1 } , { 10 } m) 1* 0*10 = { 110 } , { 1110 } , { 010 } , { 0010 } , { 110010 } n) 00* 11* = { 01 } , { 011 } , { 0011 } , { 000111 } , { 00111 } o) (0+1)*11(1+0)* = { 11 } , { 011 } , { 111 } , { 110 } , { 1110 }

2.

PARTIENDO DE LA DEFINICIN DE QUE UN AUTMATA FINITO DETERMINSTICO (AFD) ESTDADO POR LA QUNTUPLA:

A = (Q, , f, q 0 , F)
dnde:
Trabajo Colaborativo No. 1 Pgina 4

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

Q es un conjunto de estados. es el alfabeto de entrada f: Q X Q es la funcin (total) de transicin. q 0 Q es el estado inicial. F Q es el conjunto de estados finales.
Y que para el ejercicio, el autmata se define como: A = ({q 0 , q1 , q 2 , q 3 } , {0,1} , f , q 0 , { q 2 })

Plsmelo en el simulador

Realice la tabla de transicin correspondiente.

Compruebe el lenguaje aceptado El lenguaje aceptado es = { 0,1 }

Identifique la expresin regular que permite identificar que cadenas son vlidas y que acepta el autmata.

Las expresin est dada por ( 01) *

Trabajo Colaborativo No. 1 Pgina 5

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

Identifique que denotacin de estados est errada y corrjala.

Autmata inicial

Autmata corregido

Se corrigi la direccin de la transicin del estado No.3, para que pueda hacer su recorrido normal y pueda llegar al estado final o de aceptacin.

3. ACORDE AL AUTMATA DEL EJERCICIO N 2, REALICE:

Identifique si es un AFD o AFND y justifique por qu.

Es un autmata AFND, ya que el estado q0, tienes dos salidas una por ( q0, 0 ) = q0 y ( q0, 0 ) = q1 , ya que dicho estado tiene ms de una transicin.
Si dado el caso es un AFND convirtalo en el simulador a un AFD y plsmelo en el trabajo sus cadenas vlidas. Analice si son las mismas cadenas que acepta al autmata antes de convertirlo. Autmata AFND AFND
Trabajo Colaborativo No. 1

Cadenas aceptadas por el automata

Pgina 6

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

Nuevo autmata al convertirlo de AFND a ADF

Cadenas aceptadas por el nuevo autmata, acepta las misma cadenas del autmata anterior

El nuevo AFND debe plasmarlo en el simulador.

Trabajo Colaborativo No. 1

Pgina 7

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

Compruebe el lenguaje aceptado El lenguaje aceptado es = { 0,1 }

Un ejemplo puede ser el siguiente donde se determina el lenguaje aceptado

Trabajo Colaborativo No. 1

Pgina 8

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

Identifique la expresin regular que permite identificar que cadenas son vlidas y que acepta el autmata. Las expresin est dada por 0+01(0)*

Analice si la ER y el Lenguaje aceptado es el mismo o no al ejercicio Nmero 2. Justifique sus respuestas.

El lenguaje si es el mismo, pero la expresin regular si cambia

4. Para el siguiente Autmata que acepta el lenguaje:

L = { {x,y,z}* = x*yz2 , i >= 0}

Realice las siguientes actividades: Determine si es un AFD o AFND Es un autmata AFD, porque del autmata inicial o de cualquiera de sus estados sale una sola letra o smbolo, para cualquier otro estado y se determina con exactitud cul es su llegada. Encuentre la ER ER = W(X)*YZ2 Grfico en un diagrama de Moore
Pgina 9

Trabajo Colaborativo No. 1

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

Realice la tabla de transicin

f q0 q1 q2 q3 q4

w q1

= q2

x q2

y q3

z q4

2 q5

De cinco (05) ejemplos de cadenas vlidas que acepte el autmata

Trabajo Colaborativo No. 1

Pgina 10

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

Recrelo en el simulador

5. Construya un autmata que reconozca cadenas enmarcadas dentro de la expresin regular: (1 + 0)* Tenga en cuenta que debe incluir cadenas vacas del tipo Identifique los elementos de la tupla a que corresponda ese autmata y descrbalos.

Es una mquina de estados finitos M, la cual es un quntuplo (Q, , , s, F) Q = es un conjunto de identificadores (smbolos) de estados = {1,0} es el alfabeto de entrada q0 = es el estado inicial q1= es el estado final =QxQ

Realice el diagrama de Moore en el simulador y plsmelo en el trabajo.

Construya Tabla de Transicin.

Trabajo Colaborativo No. 1

Pgina 11

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

En el simulador demuestre una cadena vlida haciendo el recorrido por cada paso de estado. La cadena ( 1 )

La cadena ( 0 )

Trabajo Colaborativo No. 1

Pgina 12

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

La cadena ( )

Identifique el lenguaje que reconoce. El lenguaje que reconoce es = { 0,1 }

6. Construya un Autmata que acepte el siguiente Lenguaje: L = 00*11*

Identifique sus componentes (la tupla que es)

Es una mquina de estados finitos M, la cual es un quntuplo (Q, , , s, F) Q = es un conjunto de identificadores (smbolos) de estados = {L,=,0,1} es el alfabeto de entrada q0 = es el estado inicial q4= es el estado final =QxQ

Constryalo en los simuladores.

Trabajo Colaborativo No. 1

Pgina 13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

Demustrelo con al menos cinco cadenas vlidas. Demuestre tres cadenas no vlidas y justifquelas por qu no son vlidas comparadas con la expresin regular.

CADENAS VALIDAS

CADENAS NO VALIDAS

Estas cadenas no son vlidas porque la primera cadena de transicin es el smbolo L, y porque todas las cadenas deben empezar con este smbolo y terminar en 1 y aparte de eso se debe tener en cuenta su expresin regular que es ER = L=(0+1)* Identifique y justifique si su diseo de Autmata es AFD o AFND

Trabajo Colaborativo No. 1

Pgina 14

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

Es un autmata AFD, porque del autmata inicial o de cualquiera de sus estados sale una sola letra o smbolo, para cualquier otro estado y se determina con exactitud cul es su llegada Cree las tablas de transicin

Plasme el diagrama de Moore

7. Para el siguiente autmata:

Trabajo Colaborativo No. 1

Pgina 15

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

Identifique sus componentes (la tupla que es)

Es una mquina de estados finitos M, la cual es un quntuplo (Q, , , s, F) Q = es un conjunto de identificadores (smbolos) de estados = {0,1, } es el alfabeto de entrada q0 = es el estado inicial y es tambin un estado de aceptacin de otro autmata q0 , q6 , q7 = son estados de aceptacin o salida =QxQ

Identifique si es un AFD o un AFND o si es un autmata de landa transiciones. Justifique sus repuestas. Es un estado AFD, porque de cualquiera de sus estados sale un solo smbolo o letra.

Constryalo en el simulador

Identifique claramente las cadenas y subcadenas vlidas y justifquelas.

Pgina 16

Trabajo Colaborativo No. 1

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

CADENAS PRIMARIAS

SUBCADENAS

Plasme en el trabajo los grficos generados.

Identifique la expresin regular y el lenguaje que representa

Las expresin est dada por ( 0) + ( 1 0)

Plasme la tabla de transicin.

Pgina 17

Trabajo Colaborativo No. 1

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

8. Construya un Autmata Finito Determinstico (AFD) de tres (3) estados que acepta dentro de su lenguaje la palabra Unad Identifique sus componentes (la tupla que es)

Es una mquina de estados finitos M, la cual es un quntuplo (Q, , , s, F) Q = es un conjunto de identificadores (smbolos) de estados = {U,N,A,D } es el alfabeto de entrada q0 = es el estado inicial q2 = es el estados de aceptacin =QxQ

Constryalo en los simuladores.

Cree las tablas de transicin

Trabajo Colaborativo No. 1

Pgina 18

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

Plasme el diagrama de Moore

Escriba la expresin regular que represente.

Las expresin est dada por (UA)*(ND) 9. 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 (q1, 0) = q0 (q2, 0) = q3 (q3, 0) = q3 (q0, 1) = q1 (q1, 1) = q2 (q2, 1) = q1 (q3, 1) = q2

Plsmelo en los simuladores.

Trabajo Colaborativo No. 1

Pgina 19

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

Realice el diagrama de Moore.

Identifique la tabla de transicin correspondiente.

Verifique el lenguaje aceptado

El lenguaje aceptado es = { 0,1 }

Trabajo Colaborativo No. 1

Pgina 20

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

y las cadenas vlidas para el autmata.

Identifique la expresin regular que lo representa.

Las expresin est dada por (0)*(110)

10. Para el siguiente autmata:

Identifique sus componentes (la tupla que es)

Es una mquina de estados finitos M, la cual es un quntuplo (Q, , , s, F) Q = es un conjunto de identificadores (smbolos) de estados = { 0,1 } es el alfabeto de entrada A = es el estado inicial C = es el estados de aceptacin =QxQ Recrelo en los simuladores

Trabajo Colaborativo No. 1

Pgina 21

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

Realice la tabla de transicin.

Qu tipo de Autmata es (Justifquelo). Es un autmata ADF

Identifique la ER y el Lenguaje que acepta Las expresin est dada por (01)*(01) El lenguaje aceptado es = { 0,1 }

Que cadena reconoce. (Demustrelo y grafquelo en el simulador).

Trabajo Colaborativo No. 1

Pgina 22

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

Trabajo Colaborativo No. 1

Pgina 23

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

CONCLUSIONES

Despus de realizar el siguiente trabajo podemos concluir lo siguiente:

Est claro que cualquier AFD tambin es un AFND, es decir, si L es un lenguaje aceptado por un AFD, tambin est aceptado por un AFND.

Trabajo Colaborativo No. 1

Pgina 24

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

Simplemente existe como mucho una sola transicin para cada smbolo del alfabeto y para cada estado. Pero tambin podemos construir para cada AFND un AFD equivalente, es decir, un autmata determinista que acepta el mismo lenguaje.

REFERENCIAS BIBLIOGRFICAS

DEL MODULO Mdulo de autmatas y lenguajes formales, QUIROGA ROJAS, EDGAR, BOGOTA DC, COLOMBIA, 2008.

Web grafas
Trabajo Colaborativo No. 1 Pgina 25

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

http://alipso.com/monografias/2561_automatas2/ http://www.sc.ehu.es/jiwnagom/MAC1-ALF/MAC-archivos/Tema2-parte2.pdf http://users.dsic.upv.es/asignaturas/eui/alc/ER.pdf http://www.youtube.com/watch?v=pk17OhAoAOM http://www.youtube.com/watch?v=IDZkd2571gU http://www.youtube.com/watch?NR=1&feature=endscreen&v=pfJSqvQFOxI http://www.youtube.com/watch?v=pV1m831fg3M http://conferencia.unad.edu.co/p32899187/

Trabajo Colaborativo No. 1

Pgina 26