AUTOMATAS Y LENGUAJES FORMALES FASE 1

Presentación del tema: "AUTOMATAS Y LENGUAJES FORMALES FASE 1 "— Transcripción de la presentación:

1 AUTOMATAS Y LENGUAJES FORMALES FASE 1 PRESENTADO A: TUTOR: HELENA CLARA ISABEL ALEMAN POR:VEIRA LUZ VILLALBA CAVADIA CODIGO: 50.877.883 GRUPO No. 301405_10 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA “UNAD” PROGRAMA DE INGENIERIA DE SISTEMAS CEAD SAHAGUN SEPTIEMBRE DE 2017.

2 ACTIVIDADES INDIVIDUALES: Actividad 1: El estudiante 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.

3 LENGUAJE REGULAR

4

5

6 EXPRESION REGULAR DEFINICION Estas expresiones proporcionan una forma concisa y relativamente sencilla (aunque menos intuitiva) para describir los lenguajes regulares, poniendo de manifiesto algunos detalles de su estructura que no quedan tan claros en otro tipo de caracterizaciones. Su uso es habitual en editores de texto, para búsqueda y sustitución de cadenas CARACTERISTICAS  Cada expresión regular tiene un autómata finito asociado.  Son una forma de representar los lenguajes regulares y se constituyen utilizando caracteres del alfabeto sobre el cual se define el lenguaje.  Son una secuencia de caracteres que forma un patrón de búsqueda.  Existe una equivalencia entre un DFA (Autómata finito determinístico) y un NFA (Autómata finito no determinístico).

7 EXPRESION REGULAR

8 AUTOMATA FINITO

9 AUTOMATA FINITO DETERMINISTA - AFD DEFINICION Un autómata finito es un modelo matemático de una máquina que acepta cadenas de un lenguaje definido sobre un alfabeto. Consiste en un conjunto finito de estados y un conjunto de transiciones entre esos estados, que dependen de los símbolos de la cadena de entrada. El autómata finito acepta una cadena x si la secuencia de transiciones correspondientes a los símbolos de x conduce desde el estado inicial a un estado final. CARACTERISTICAS  Un AFD es una maquina de estados que tiene acceso a una secuencia de símbolos de entrada (mediante una cabeza lectora).  Un AFD se encuentra en cada momento en un estado determinado.  Un AFD detiene el procesamiento, cuando no le quedas mas símbolos en la entrada.

10 AUTOMATA FINITO DETERMINISTA - AFD

11 AUTOMATA FINITO NO DETERMINISTA - AFND CARACTERISTICAS  El resultado de la función de transición puede ser el conjunto vacío.  El autómata puede transitar sin leer ningún símbolo de entrada: (_1,)={_0,_1}  El no determinismo del autómata proviene del hecho de que en cada momento puede existir varias posibilidades de transición.

12 AUTOMATA FINITO NO DETERMINISTA - AFND

13 REFERENCIAS BIBLIOGRAFICAS  Quiroga, E. (2008). Modulo: Autómatas y lenguajes formales. Universidad Nacional Abierta y a Distancia. Escuela de ciencias básicas, tecnología e ingeniería.  Billhardt, H. Teoría de Autómatas y Lenguajes Formales. Capítulo 8: Propiedades de lenguajes regulares. Universidad Rey Juan Carlos. [Artículo de internet]. Recuperado de http://www.ia.urjc.es/grupo/docencia/automatas_itis/apuntes/capitulo8.pdf http://www.ia.urjc.es/grupo/docencia/automatas_itis/apuntes/capitulo8.pdf  Billhardt, H. Teoría de Autómatas y Lenguajes Formales. Capítulo 7: Expresiones Regulares. Universidad Rey Juan Carlos. [Artículo de internet]. Recuperado de http://www.ia.urjc.es/grupo/docencia/automatas_itis/apuntes/capitulo7.pdf http://www.ia.urjc.es/grupo/docencia/automatas_itis/apuntes/capitulo7.pdf  (2009). CIENCIAS DE LA COMPUTACION I: Autómatas finitos. [Artículo de internet]. Recuperado de http://www.exa.unicen.edu.ar/catedras/ccomp1/ApunteAutomatasFinitos.pdf  Billhardt, H. Teoría de Autómatas y Lenguajes Formales. Capítulo 5: Autómatas finitos deterministas. Universidad Rey Juan Carlos. [Artículo de internet]. Recuperado de http://www.ia.urjc.es/grupo/docencia/automatas_itis/apuntes/capitulo5.pdf http://www.ia.urjc.es/grupo/docencia/automatas_itis/apuntes/capitulo5.pdf  Billhardt, H. Teoría de Autómatas y Lenguajes Formales. Capítulo 6: Autómatas finitos no deterministas. Universidad Rey Juan Carlos. [Artículo de internet]. Recuperado de http://www.ia.urjc.es/grupo/docencia/automatas_itis/apuntes/capitulo6.pdf http://www.ia.urjc.es/grupo/docencia/automatas_itis/apuntes/capitulo6.pdf