Академический Документы
Профессиональный Документы
Культура Документы
Actividad No. 6.
PRESENTADO POR: EDWIN ALBERTO PALMA LEON Cd. 86.054.717 palmeras28@hotmail.com JOSE GABRIEL CARDENAS MOYA Cd. 93.296.319
ABRIL 2013
Pgina 1
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.
Pgina 2
OBJETIVOS
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.
Pgina 3
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() =
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
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
Identifique la expresin regular que permite identificar que cadenas son vlidas y que acepta el autmata.
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.
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 nuevo autmata, acepta las misma cadenas del autmata anterior
Pgina 7
Pgina 8
Identifique la expresin regular que permite identificar que cadenas son vlidas y que acepta el autmata. Las expresin est dada por 0+01(0)*
f q0 q1 q2 q3 q4
w q1
= q2
x q2
y q3
z q4
2 q5
Pgina 10
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
Pgina 11
En el simulador demuestre una cadena vlida haciendo el recorrido por cada paso de estado. La cadena ( 1 )
La cadena ( 0 )
Pgina 12
La cadena ( )
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
Pgina 13
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
Pgina 14
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
Pgina 15
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
CADENAS PRIMARIAS
SUBCADENAS
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
Pgina 18
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
Pgina 19
Pgina 20
Pgina 21
Identifique la ER y el Lenguaje que acepta Las expresin est dada por (01)*(01) El lenguaje aceptado es = { 0,1 }
Pgina 22
Pgina 23
CONCLUSIONES
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.
Pgina 24
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
Pgina 26