Autómatas Finitos y Lenguajes Regulares
|
|
- María Luisa Montes Ayala
- hace 7 años
- Vistas:
Transcripción
1 Autómatas Finitos y Lenguajes Regulares Problema: Dado un lenguaje L definido sobre un alfabeto A y una cadena x arbitraria, determinar si x L o x L. Cadena x AUTOMATA FINITO SI NO Lenguaje Regular Autómatas Finitos Un Autómata Finito es un modelo matemático de una máquina abstracta con entradas y salidas discretas. Dos puntos de vista: Como dispositivo reconocedor de la pertenencia de una cadena a un lenguaje regular. Como traductor de una cadena en otra. Un AF puede leer símbolos de una cinta, y puede estar en un número finito de estados. 1
2 Autómatas Finitos Aplicaciones: Análisis de cadenas de caracteres (búsqueda de una cadena en un archivo de texto, reconocimiento de cadenas que satisfacen ciertos criterios, etc.) Reproductor de video, máquina expendedora de boletos, etc. esperando mostrando película pausa Autómatas Finitos Reconocedores cinta de entrada (contiene cadena a ser leída) a b c d cabeza lectora (se mueve a derecha) indicador de estado e 5 e 4 e 3 e 2 mecanismo de control Estados del AF: Cantidad finita. Representan la memoria del autómata. Un estado inicial. Al menos un estado final o de aceptación. Dada una cadena x en la cinta de entrada, si el AF: termina en un estado final cadena aceptada termina en un estado no final cadena rechazada 2
3 Autómatas Finitos Reconocedores L = { x / x {a, b, c}* y x termina en b } Cadenas que pertenecen a L b ab bb cb aab bab Dos situaciones para distinguir: - el último símbolo leído es distinto de b - el último símbolo leído es b Cadenas que no pertenecen a L ε a c aa ba Dos estados: Autómatas Finitos Reconocedores e : estado inicial (último símbolo leído b) 1 : estado final (último símbolo leído es b) b a b b a b Configuración de inicio b a b b a b Configuración de aceptación cadena aceptada 3
4 Autómatas Finitos Reconocedores e : estado inicial (último símbolo leído b) 1 : estado final (último símbolo leído es b) b a b a Configuración de inicio b a Configuración de no aceptación cadena rechazada Autómatas Finitos Reconocedores Para definir un AF reconocedor es necesario indicar: el alfabeto de entrada: A el conjunto finito de estados: E={,,.,e n } de estos estados, un único estado inicial: de estos estados, uno o varios estados finales: F una función de transición de estados: δ (indica a qué estado pasar luego de leer un símbolo en la cinta de entrada) 4
5 Autómatas Finitos Reconocedores Formalmente, un AF reconocedor determinístico (AFD) se define como una quintupla M = <E, A, δ, e i, F> E es un conjunto finito de estados; E A es el alfabeto de entrada δ es la función de transición de estados; δ: E x A E δ(e j, a) = e k la máquina puede pasar del estado e j al e k después de leer el símbolo a en la cinta (e j, e k E; a A) e i es el estado inicial; e i E F es el conjunto de estados finales o de aceptación; F E Autómatas Finitos Reconocedores Un AF reconocedor determinístico se puede representar gráficamente usando un diagrama de transición de estados. - cada estado e j E e j - estado inicial e i e i - cada estado final e f F e f -cada transición entre estados δ(e j, a) = e k para e j, e k E, a A e j a e k 5
6 Autómatas Finitos Reconocedores L = { x / x {a, b, c}* y x termina en b } : estado inicial (último símbolo leído b) : estado final (último símbolo leído es b) Diagrama de transición de estados a, c b b a, c Descripción instantánea α e i β donde e i estado actual, α cadena ya leída, β cadena que falta leer (α, β A * ) Ejemplos abcb a bcb ab cb abc b abcb ba b a ba lee ba y termina en estado no final. Luego, ba L lee abcb y termina en estado final. Luego, abcb L Autómatas Finitos Reconocedores L = { x / x {a, b, c}* y x termina en b } Diagrama de transición de estados a, c b b Función δ a, c δ(, a)= δ(, b)= δ(, c)= δ(, a)= δ(, b)= δ(, c)= Tabla de transición de estados: AFD = <{, }, {a, b, c}, δ,, { }> El AFD = <{, }, {a, b, c}, δ,, { }> acepta una cadena x si la secuencia de transiciones correspondientes a los símbolos de x conduce desde (el estado inicial) a (el único estado final). δ a b c 6
7 Lenguaje aceptado por un AFD Definición de δ * (extensión de la función de transición para cadenas) Sea M = <E, A, δ, e i, F> un AFD. Se define la función δ * : E x A * E δ * (e j, ε) = e j e j E δ * (e j, xa) = δ(δ* (e j,x), a) e j E, x A*, a A Una cadena x es aceptada por un AFD M = <E, A, δ, e i, F> si: δ * (e i, x) = e f para algún e f F Luego, el lenguaje aceptado por un AFD M = <E, A, δ, e i, F> es: L(M) = { x / x A* y δ * (e i, x) = e f y e f F} Los lenguajes aceptados por los Autómatas Finitos se denominan Lenguajes Regulares o de Tipo 3. Diseño de Autómatas Finitos No es conveniente proceder por prueba y error, pueden cometerse dos tipos de errores: - que sobren cadenas, es decir el AF acepta cadenas que no debería aceptar - que falten cadenas, es decir el AF no acepta todas las cadenas del lenguaje considerado Importante para un diseño sistemático: 1) Proponer un conjunto de estados que recuerdan condiciones importantes en el problema considerado 2) De estos estados, determinar cuál representa la condición inicial y cuál/cuáles la condición de aceptación 3) Proponer las transiciones que permiten pasar de un estado a otro 7
8 Autómatas Finitos Traductores - Producen una salida diferente de SI o NO - Permiten realizar cálculos a partir de una cadena de entrada traducen una cadena de entrada en una cadena de salida x AUTOMATA FINITO x TRADUCTOR Lenguaje Regular Ejemplos: AF que calcule la función f(x) = 2x +3 Analizador léxico de un compilador Autómatas Finitos Traductores Formalmente, un AF traductor determinístico (AFT) se define como una 7-tupla M T = <E, A, δ, e i, F, S, γ> E es un conjunto finito de estados; E A es el alfabeto de entrada δ es la función de transición de estados; δ: E x A E e i es el estado inicial; e i E F es el conjunto de estados finales o de aceptación; F E S es el alfabeto de salida γ es la función de traducción; γ : E x A S * 8
9 Autómatas Finitos Traductores Si existen δ (e i, a) = e k y γ (e i, a) = x donde e i, e k E; a A ; x S* se representa en el diagrama de transición de estados e i a / x e k Ejemplo: Autómata finito traductor que calcula f(x) = 2x + 3 para x N, x > 0, x representado en unario Ejemplos 1 / 11 1 / si x =1 traduc1111 si x =11 traduc si x =111 salida 1 9 si x =11111 salida 1 AFT = <{, }, {1}, δ,, { }, {1}, γ 13 > Autómatas Finitos Traductores Definición de γ * (función de traducción para cadenas) Sea M T = <E, A, δ,, F, S, γ > un AFT. Se define la función γ * : E x A * S * tal que γ * (e i, w) es la cadena que traducirá el autómata luego de leer w comenzando en e i γ * (e i, ε) = ε γ * (e i, wa) = γ * (e i, w). γ (δ* (e i, w), a) e i E, w A*, a A Nota: El autómata solo define la traducción, si el autómata finito reconocedor subyacente acepta la cadena. Es decir, la traducción T(w): A* S* asociada a M T está definida como: T(w)= γ * (, w) δ * (, w) F donde w A* 9
10 Autómatas Finitos Modelos Formalmente, un AF modelo se define como una 3-upla M M = < E, A, δ > E es un conjunto finito de estados; E A es el alfabeto de entrada δ es la función de transición de estados; δ: E x A E Ejemplo Modelo de Videograbadora esperando mostrando pausa M M = <{esperando, mostrando, pausa},{,, }, δ> Autómatas Finitos Modelos Ejemplo Modelo de Videograbadora δ: esperando mostrando pausa M M = <{esperando, mostrando, pausa},{,,}, δ> 10
AUTÓMATAS DE PILA. Nota: Si existe transición de tipo (2), sólo se garantiza que AP es determinístico si s A, δ( e i, s, X) está indefinida.
AUTÓMATAS DE PILA Los autómatas de pila, en forma similar a como se usan los autómatas finitos, también se pueden utilizar para aceptar cadenas de un lenguaje definido sobre un alfabeto A. Los autómatas
Más detallesDefinición formal de autómatas finitos deterministas AFD
inicial. Ejemplo, supóngase que tenemos el autómata de la figura 2.4 y la palabra de entrada bb. El autómata inicia su operación en el estado q 0 (que es el estado inicial). Al recibir la primera b pasa
Más detallesCiencias de la Computación I
Ciencias de la Computación I utómatas de Pila y Lenguajes Libres del Contexto Motivación - Es posible diseñar un F que reconozca el lenguaje L 1? L 1 = { a n b n / n > 0 } - Es posible diseñar un F que
Más detallesAutómatas finitos no deterministas (AFnD)
Autómatas finitos no deterministas (AFnD) Elvira Mayordomo Universidad de Zaragoza 1 de octubre de 2012 Contenido de este tema Introducción y ejemplos de autómatas finitos no deterministas Definición de
Más detallesSerafín Moral Departamento de Ciencias de la Computación. Modelos de Computación ITema 2: Autómatas Finitos p.1/88
Modelos de Computación I Tema 2: Autómatas Finitos Serafín Moral Departamento de Ciencias de la Computación Modelos de Computación ITema 2: Autómatas Finitos p./88 Contenido Autómata Finito Determinista
Más detallesCiencias de la Computación I
Ciencias de la Computación I Autómatas Linealmente Acotados Máquinas de Turing Motivación - Es posible diseñar un AP que reconozca el lenguaje L 1? L 1 = { a n b n c n / n > 0 } Ejemplo una estrategia
Más detallesTEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES
TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES (TALF) BLOQUE II: LENGUAJES REGULARES Tema 2: Autómatas Finitos Parte 2 (de 3). Autómatas Finitos No Deterministas (AFNDs) Grado en Ingeniería Informática URJC
Más detallesMáquinas Secuenciales, Autómatas y Lenguajes Formales. Tema 4: Autómatas finitos deterministas. Holger Billhardt holger.billhardt@urjc.
Formales Tema 4: Autómatas finitos deterministas Holger Billhardt holger.billhardt@urjc.es Sumario: Bloque 2: Autómatas Finitos 4. Autómatas Finitos Deterministas 1. Concepto y Definición 2. Autómata finito
Más detallesCiencias de la Computación I
Ciencias de la Computación I Autómatas Finitos No Determinísticos Minimización de Autómatas Finitos Determinísticos Agosto 2007 Autómatas Finitos Determinísticos Para cada estado y para cada símolo se
Más detallesTEMA 5. GRAMÁTICAS REGULARES.
TEMA 5. GRAMÁTICAS REGULARES. 5.1. Gramáticas Regulares. 5.2. Autómatas finitos y gramáticas regulares. 5.2.1. Gramática regular asociada a un AFD 5.2.2. AFD asociado a una Gramática regular 5.3. Expresiones
Más detallesClase 08: Autómatas finitos
Solicitado: Ejercicios 06: Autómatas finitos M. en C. Edgardo Adrián Franco Martínez http://computacion.cs.cinvestav.mx/~efranco @efranco_escom edfrancom@ipn.mx 1 Contenido Autómata finito Definición formal
Más detallesClase 09: AFN, AFD y Construcción de Thompson
Clase 09: AFN, AFD y Construcción de Thompson Solicitado: Ejercicios 07: Construcción de AFN scon Thompson M. en C. Edgardo Adrián Franco Martínez http://computacion.cs.cinvestav.mx/~efranco @efranco_escom
Más detallesDESARROLLO DE UN ENTORNO DE SIMULACIÓN PARA AUTÓMATAS DETERMINISTAS CAROLINA GONZÁLEZ NARANJO CÉSAR AUGUSTO MONTOYA ROMÁN
DESARROLLO DE UN ENTORNO DE SIMULACIÓN PARA AUTÓMATAS DETERMINISTAS CAROLINA GONZÁLEZ NARANJO CÉSAR AUGUSTO MONTOYA ROMÁN UNIVERSIDAD TECNOLÓGICA DE PEREIRA FACULTAD DE INGENIERÍAS: ELÉCTRICA, ELECTRÓNICA,
Más detallesTema 2: Autómatas finitos
Tema 2: Autómatas finitos Departamento de Sistemas Informáticos y Computación DSIC - UPV http://www.dsic.upv.es p. 1 Tema 2: Autómatas finitos Autómata finito determinista (AFD). Formas de representación
Más detallesTIPOS DE GRAMATICAS JERARQUIAS DE CHOMSKY
TIPOS DE GRAMATICAS JERARQUIAS DE CHOMSKY Para el estudio de este tema es necesario analizar dos tipos de gramáticas de la clasificación de Chomsky, las regulares y las independientes de contexto, las
Más detallesLenguajes y Compiladores Análisis Léxico
Facultad de Ingeniería de Sistemas Lenguajes y Compiladores Análisis Léxico 1 Análisis léxico La tarea del análisis léxico es reconocer símbolos dentro de la cadena de caracteres que es el programa fuente.
Más detallesAutómatas finitos con salidas
Agnatura: Teoría de la Computación Unidad : Lenguajes Regulares Tema 2: Autómatas con salidas Autómatas finitos con salidas Importancia y aplicación de los autómatas finitos Los Autómatas finitos constituyen
Más detallesTEORIA DE AUTOMATAS.
TEORIA DE AUTOMATAS. RELACION DE PROBLEMAS II.. Construir un AFND capaz de aceptar una cadena u {, }, que contenga la subcadena. Construir un AFND capaz de aceptar una cadena u {, }, que contenga la subcadena.
Más detallesIntroducción a la Teoría de Autómatas, Lenguajes y Computación
Introducción a la Teoría de Autómatas, Lenguajes y Computación Gustavo Rodríguez Gómez y Aurelio López López INAOE Propedéutico 2010 1 / 53 Capítulo 2 Autómatas Finitos 2 / 53 1 Autómatas Finitos Autómatas
Más detallesAUTÓMATAS DE ESTADO FINITO
AUTÓMATAS DE ESTADO FINITO Orlando Arboleda Molina Escuela de Ingeniería de Sistemas y Computación de La Universidad del Valle 12 de octubre de 2008 Contenido Autómatas de estado finito Concatenación de
Más detallesTemas. Objetivo. Que el estudiante logre: 1) Identificar conceptos constructivos de la Teoría de la Computabilidad. 2) Definir autómatas de pila.
0 Temas Definición de autómata de pila Autómata de pila determinístico y no determinístico Objetivo Que el estudiante logre: 1) Identificar conceptos constructivos de la Teoría de la Computabilidad. 2)
Más detallesProyecto Unico - Parte 1 - Solución
Universidad Simón Bolívar Dpto. de Computación y Tecnología de la Información CI3721 - Traductores e Interpretadores Abril-Julio 2006 Proyecto Unico - Parte 1 - Solución Revisión Teórico-Práctica 1. Presente
Más detallesTema 3.- Gramáticas formales
UNIVERSIDAD DE CÓRDOBA ESCUELA POLITÉCNICA SUPERIOR DEPARTAMENTO DE INFORMÁTICA Y ANÁLISIS NUMÉRICO INGENIERÍA TÉCNICA EN INFORMÁTICA DE SISTEMAS SEGUNDO CURSO, SEGUNDO CUATRIMESTRE TEORÍA DE AUTÓMATAS
Más detallesEJERCICIOS DE INECUACIONES
EJERCICIOS DE INECUACIONES REPASO DE DESIGUALDADES: 1. Dadas las siguientes desigualdades, indicar si son V o F utilizando la recta real. Caso de ser inecuaciones, indicar además la solución mediante la
Más detallesMÁQUINAS DE TURING CIENCIAS DE LA COMPUTACION I 2009
MÁQUINAS DE TURING Las máquinas de Turing, así como los AF y los AP se utilizan para aceptar cadenas de un lenguaje definidas sobre un alfabeto A. El modelo básico de máquina de Turing, tiene un mecanismo
Más detallesIntroducción a Autómatas Finitos
Introducción a e. Universidad de Cantabria Esquema 1 Introducción 2 3 Grafo de λ Transiciones Eliminación de las λ-transiciones 4 El Problema Podemos interpretar un autómata como un evaluador de la función
Más detallesTeoría de Autómatas y Compiladores [ICI-445] Capítulo 2: Autómatas Finitos
Teoría de Autómatas y Compiladores [ICI-445] Capítulo 2: Autómatas Finitos Dr. Ricardo Soto [ricardo.soto@ucv.cl] [http://www.inf.ucv.cl/ rsoto] Escuela de Ingeniería Informática Pontificia Universidad
Más detalles2: Autómatas finitos y lenguajes regulares.
2: Autómatas finitos y lenguajes regulares. Los autómatas finitos son el modelo matemático de los sistemas que presentan las siguientes características: 1) En cada momento el sistema se encuentra en un
Más detallesExpresiones Regulares y Derivadas Formales
Motivación e Ideas y Derivadas Formales La Derivación como Operación. Universidad de Cantabria Esquema Motivación e Ideas 1 Motivación e Ideas 2 3 Motivación Motivación e Ideas Sabemos como son los conjuntos
Más detallesÁrea Académica: Licenciatura en Sistemas Computacionales
Área Académica: Licenciatura en Sistemas Computacionales Asignatura: Lenguajes y Autómatas Profesor: Ing. Cristian Arturo Díaz Iruegas Periodo: Julio Diciembre 2011. Palabras Clave: Autómatas, Finito,
Más detallesTeoría de conjuntos. Tema 1: Teoría de Conjuntos.
Tema 1: Teoría de Conjuntos. La teoría de Conjuntos es actualmente una de las más importantes dentro de la matemática. Muchos de los problemas que se le han presentado a esta disciplina en los últimos
Más detallesMáquinas de Turing Definición y descripción
Capítulo 12 Máquinas de Turing 12.1. Definición y descripción Definición 1 Se llama máquina de Turing a toda séptupla M = (Γ,Σ,,Q,q 0,f,F), donde: Γ es el alfabeto de símbolos de la cinta. Σ Γ es el alfabeto
Más detallesMáquinas de estado finito y expresiones regulares
Capítulo 3 Máquinas de estado finito y expresiones regulares En este tema definiremos y estudiaremos máquinas de estado finito, llamadas también máquinas de estado finito secuenciales o autómatas finitos.
Más detallesUNIVERSIDAD AUTÓNOMA DE BAJA CALIFORNIA SUR. Ciencias de la ingeniería
UNIVERSIDAD AUTÓNOMA DE BAJA CALIFORNIA SUR DEPARTAMENTO ACADÉMICO DE SIS COMPUTACIONALES INGENIERÍA EN TECNOLOGÍA COMPUTACIONAL ASIGNATURA Teoría de la computación ÁREA DE Ciencias de la ingeniería CONOCIMIENTO
Más detallesUnidad 4. Autómatas de Pila
Unidad 4. Autómatas de Pila Una de las limitaciones de los AF es que no pueden reconocer el lenguaje {0n1n} debido a que no se puede registrar para todo n con un número finito de estados. Otro lenguaje
Más detallesSSL Guia de Ejercicios
1 SSL Guia de Ejercicios INTRODUCCIÓN A LENGUAJES FORMALES 1. Dado el alfabeto = {a, b, c}, escriba las palabras del lenguaje L = {x / x }. 2. Cuál es la cardinalidad del lenguaje L = {, a, aa, aaa}? 3.
Más detallesautómatas finitos y lenguajes regulares LENGUAJES FORMALES Y
CONTENIDO Reconocedores [HMU2.1]. Traductores [C8]. Diagramas de Estado [HMU2.1]. Equivalencia entre AF deterministas y no deterministas [HMU2.2-2.3]. Expresiones [HMU3]. Propiedades de [HMU4]. Relación
Más detallesTEORÍA DE AUTÓMATAS I Informática de Sistemas
TEORÍA DE AUTÓMATAS I Informática de Sistemas Soluciones a las cuestiones de examen del curso 22/3 Febrero 23, ª semana. Considere los lenguajes del alfabeto Σ={,}: L = { n n, n } y L 2 = {cadenas con
Más detalles09 Análisis léxico V Compiladores - Profr. Edgardo Adrián Franco Martínez
2 Contenido Autómata Definición formal de autómata Representación de un autómata Mediante tablas de transiciones Mediante diagramas de estados Autómata finito Definición formal de autómata finito Lenguaje
Más detallesCapítulo 9. Introducción a los lenguajes formales. Continuar
Capítulo 9. Introducción a los lenguajes formales Continuar Introducción Un lenguaje es un conjunto de símbolos y métodos para estructurar y combinar dichos símbolos. Un lenguaje también recibe el nombre
Más detallesNombre de la asignatura: Lenguajes y Autómatas I. Créditos: Aportación al perfil
Nombre de la asignatura: Lenguajes y Autómatas I Créditos: 2 3 5 Aportación al perfil Desarrollar, implementar y administrar software de sistemas o de aplicación que cumpla con los estándares de calidad
Más detallesExamen de Teoría de Autómatas y Lenguajes Formales
Examen de Teoría de Autómatas y Lenguajes Formales TAL 16 de Septiembre de 2008 (I) CUESTIONES: (Justifique formalmente las respuestas) 1. Pronúnciese acerca de la veracidad o falsedad de los siguientes
Más detallesDATOS DE IDENTIFICACIÓN DEL CURSO
DATOS DE IDENTIFICACIÓN DEL CURSO DEPARTAMENTO: Ciencias Computacionales ACADEMIA A LA QUE PERTENECE: Estructuras y Algoritmos NOMBRE DE LA MATERIA: Teoría de la Computación CLAVE DE LA MATERIA: CC209
Más detallesMáquinas de Turing, recordatorio y problemas
Máquinas de Turing, recordatorio y problemas Elvira Mayordomo, Universidad de Zaragoza 5 de diciembre de 2014 1. Recordatorio de la definición de máquina de Turing Una máquina de Turing, abreviadamente
Más detallesClase 17: Autómatas de pila
Solicitado: Ejercicios 14: Autómatas de pila de GLC M. en C. Edgardo Adrián Franco Martínez http://computacion.cs.cinvestav.mx/~efranco @efranco_escom edfrancom@ipn.mx 1 Contenido Autómata de pila Definición
Más detallesUnidad 4. Autómatas de Pila
Unidad 4. Autómatas de Pila Una de las limitaciones de los AF es que no pueden reconocer el lenguaje {0 n 1 n } debido a que no se puede registrar para todo n con un número finito de estados. Otro lenguaje
Más detalles1. Cadenas EJERCICIO 1
LENGUAJES FORMALES Y AUTÓMATAS CURSO 2006/2007 - BOLETÍN DE EJERCICIOS Víctor J. Díaz Madrigal y José Miguel Cañete Departamento de Lenguajes y Sistemas Informáticos 1. Cadenas La operación reversa aplicada
Más detallesMáquina de estado finito con salida sin salida
Máquina de estado finito con salida sin salida Máquina de estado finito Máquinas de estados finitos se utilizan ampliamente en aplicaciones en ciencias de la computación y redes de datos. Por ejemplo,
Más detallesANÁLISIS LÉXICO AUTÓMATAS FINITOS
Todos los derechos de propiedad intelectual de esta obra pertenecen en exclusiva a la Universidad Europea de Madrid, S.L.U. Queda terminantemente prohibida la reproducción, puesta a disposición del público
Más detallesAutómatas Deterministas. Ivan Olmos Pineda
Autómatas Deterministas Ivan Olmos Pineda Introducción Los autómatas son una representación formal muy útil, que permite modelar el comportamiento de diferentes dispositivos, máquinas, programas, etc.
Más detallesCiencias de la Computación I
Ciencias de la Computación I Gramáticas Regulares Expresiones Regulares Gramáticas - Intuitivamente una gramática es un conjunto de reglas para formar correctamente las frases de un lenguaje - Por ejemplo,
Más detallesDEFINICIÓN FORMAL DE UN AFP
Los AUTÓMATAS FINITOS CON PILA además de reconocer a los Lenguajes Regulares, tienen la capacidad de reconocer a los LICs, como las expresiones aritméticas y las sentencias de un Lenguaje de Programación.
Más detallesEspacios Normados (Normas en R n )
Espacios Normados (Normas en R n ) Uno de los conceptos más importantes del cálculo y del analisis matemático es el de métrica o distancia. En R n la noción de metrico depende a su vez del concepto de
Más detallesRepaso Clase Anterior
Mayo 22, Lunes Repaso Clase Anterior Glosario Tareas Prof. Esp. Ing. José María Sola 258 Agenda para esta clase Especificación Formal de Máquintas de Estado Expresiones Regulares Prof. Esp. Ing. José María
Más detallesDepartamento de Tecnologías de la Información. Tema 4. Máquinas de Turing. Ciencias de la Computación e Inteligencia Artificial
Departamento de Tecnologías de la Información Tema 4 Máquinas de Turing Ciencias de la Computación e Inteligencia Artificial Índice 4.1 Límites de los autómatas 4.2 Definición de Máquina de Turing 4.3
Más detallesLa Jerarquía de Chomsky
La Apuntes sobre la Complejidad Universidad de Cantabria Esquema Motivación 1 Motivación 2 Ideas y Nociones Motivación Como se ha mencionado anteriormente, los lenguajes son conjuntos de palabras definidos
Más detalles2 Autómatas finitos y gramáticas regulares.
2 Autómatas finitos y gramáticas regulares. Autómata RAE Instrumento o aparato que encierra dentro de sí el mecanismo que le imprime determinados movimientos. Algo autónomo que se comporta de determinada
Más detalles2 Autómatas finitos y gramáticas regulares.
2 Autómatas finitos y gramáticas regulares. Autómata RAE Instrumento o aparato que encierra dentro de sí el mecanismo que le imprime determinados movimientos. Algo autónomo que se comporta de determinada
Más detallesCONJUNTOS. Consideremos, por ejemplo, los siguientes conjuntos:
CONJUNTOS En una Teoría Intuitiva de Conjuntos, los conceptos de conjunto y pertenencia son considerados primitivos, es decir, no se definen de un modo formal; se les acepta como existentes de manera axiomática,
Más detallesCurso Propedéutico de Cálculo Sesión 2: Límites y Continuidad
y Laterales Curso Propedéutico de Cálculo Sesión 2: y Joaquín Ortega Sánchez Centro de Investigación en Matemáticas, CIMAT Guanajuato, Gto., Mexico y Esquema Laterales 1 Laterales 2 y Esquema Laterales
Más detallesCapítulo II Límites y Continuidad
(Apuntes en revisión para orientar el aprendizaje) INTRODUCCIÓN Capítulo II Límites y Continuidad El concepto de límite, después del de función, es el fundamento matemático más importante que ha cimentado
Más detallesAUTÓMATAS DE PILA Y LENGUAJES INDEPENDIENTES DEL CONTEXTO
Autómatas de pila y lenguajes independientes del contexto -1- AUTÓMATAS DE PILA Y LENGUAJES INDEPENDIENTES DEL CONTEXTO AUTÓMATAS DE PILA - Son autómatas finitos con una memoria en forma de pila. - Símbolos
Más detallesMáquinas Secuenciales, Autómatas y Lenguajes. Tema 3.1: Autómatas Finitos Deterministas
Tema 3.1: Autómatas Finitos Deterministas Luis Peña luis.pena@urjc.es http://www.ia.urjc.es/cms/es/docencia/ic-msal Sumario Tema 3.1: Autómatas Finitos Deterministas. 1. Concepto de AFD 2. Equivalencia
Más detallesEXPRESIONES REGULARES Y AUTOMATAS
EXPRESIONES REGULARES Y AUTOMATAS La fase de rastreo, o análisis léxico, de un compilador tiene la tarea de leer el programa fuente como un archivo de caracteres y dividirlo en tokens. Los tokens son como
Más detallesIntroducción www.themegallery.com
Introducción Definiciones: Proceso de negocio: Flujo de trabajo de la organización. Existe por sí mismo. Requisito: Característica que el sistema software debe tener. Caso de uso: Técnica para la definición
Más detallesTema 4. Autómatas Finitos
Tema 4. Autómatas Finitos 4.1. Autómatas finitos. 4.1.1. Introducción. 4.1.2. Máquinas secuenciales. 4.2. Autómatas finitos deterministas (A.F.D.). 4.2.1. Introducción. 4.2.2. Definición AFD. Representación.
Más detallesPRACTICA 5: Autómatas Finitos Deterministas
E. T. S. DE INGENIERÍA INFORMÁTICA Departamento de Estadística, I.O. y Computación Teoría de Autómatas y Lenguajes Formales PRACTICA 5: Autómatas Finitos Deterministas 5.1. Requisito de codificación Cada
Más detallesTema 1: Introducción
Tema 1: Introducción Procesamiento de Lenguajes Dept. de Lenguajes y Sistemas Informáticos Universidad de Alicante Procesamiento de Lenguajes Tema 1: Introducción 1 / 12 Definición de compilador Un compilador
Más detallesAUTOMATAS FINITOS Traductores
Universidd de Morón Lengujes Formles y Autómts AUTOMATAS FINITOS Trductores AUTOMATAS FINITOS Un utómt finito es un modelo mtemático que posee entrds y slids. Un utomát finito recie los elementos tester
Más detalles7. Máquinas de Turing.
7. Máquinas de Turing. Araceli Sanchis de Miguel Agapito Ledezma Espino José A. Iglesias Mar
Más detallesRepaso. Lenguajes formales
Repaso. Lenguajes formales Profesor Federico Peinado Elaboración del material José Luis Sierra Federico Peinado Ingeniería en Informática Facultad de Informática Universidad Complutense de Madrid Curso
Más detallesVALOR ABSOLUTO. Definición.- El valor absoluto de un número real, x, se define como:
VALOR ABSOLUTO Cualquier número a tiene su representación en la recta real. El valor absoluto de un número representa la distancia del punto a al origen. Observe en el dibujo que la distancia del al origen
Más detallesPRACTICA 10: Máquinas de Turing
ESCUELA TÉCNICA SUPERIOR DE INGENIERÍA INFORMÁTICA Departamento de Estadística, I.O. y Computación Teoría de Autómatas y Lenguajes Formales PRACTICA 10: Máquinas de Turing 10.1. Introducción La clase de
Más detallesIngeniería en Computación. Autómatas y Lenguajes Formales. Unidad de competencia III: Conocer, utilizar y manipular expresiones regulares
Universidad Autónoma del Estado de México Centro Universitario UAEM Texcoco Departamento de Ciencias Aplicadas. Ingeniería en Computación. Autómatas y Lenguajes Formales. Unidad de competencia III: Conocer,
Más detallesClase 25/09/2013 Tomado y editado de los apuntes de Pedro Sánchez Terraf
Clase 25/09/2013 Tomado y editado de los apuntes de Pedro Sánchez Terraf A pesar de haber ejercitado la realización de demostraciones en varias materias, es frecuente que el alumno consulte sobre la validez
Más detallesNotación de Conjuntos
1 A. Introducción UNIVERSIDAD INTERAMERICANA DE PUERTO RICO DEPARTAMENTO DE ADMINISTRACIÓN DE EMPRESAS MAEC 2140: Métodos Cuantitativos Prof. J.L.Cotto Conferencia: Conceptos Matemáticos Básicos Notación
Más detallesComplementos de Matemáticas, ITT Telemática
Introducción Métodos de punto fijo Complementos de Matemáticas, ITT Telemática Tema 1. Solución numérica de ecuaciones no lineales Departamento de Matemáticas, Universidad de Alcalá Introducción Métodos
Más detalles10 Análisis léxico VI Compiladores - Profr. Edgardo Adrián Franco Martínez
2 Contenido Clasificación de los autómatas finitos Autómata finito no determinista (AFND) Autómata finito determinista (AFD) Teorema sobre la transformación de AFND en AFD Transformación de una expresión
Más detallesTema: Autómatas de Estado Finitos
Compiladores. Guía 2 1 Facultad: Ingeniería Escuela: Computación Asignatura: Compiladores Tema: Autómatas de Estado Finitos Contenido En esta guía se aborda la aplicación de los autómatas en el campo de
Más detallesLenguajes No Regulares
Lenguajes No Regulares Problemas que los Autómatas No Resuelven. Universidad de Cantabria Esquema Lema del Bombeo 1 Lema del Bombeo 2 3 Introducción Todos los lenguajes no son regulares, simplemente hay
Más detallesPROGRAMACIÓN II AÑO 2009 TALLER 3: TEORÍA DE LENGUAJES Y AUTÓMATAS
Licenciatura en Sistemas de Información PROGRAMACIÓN II AÑO 2009 TALLER 3: TEORÍA DE LENGUAJES Y AUTÓMATAS UNSE FCEyT 1. DESCRIPCIÓN Este taller consta de tres partes. En cada una de ellas se especifican
Más detallesCiencias de la Computación I
Ciencias de la Computación I Propiedades de Clausura de los Lenguajes Regulares y Lenguajes Libres del Contexto Propiedades de Clausura de Lenguajes Regulares Los lenguajes regulares (LR son cerrados bajo
Más detallesEn este capítulo obtendremos los resultados básicos del cálculo diferencial para funciones reales definidas sobre R o sobre intervalos.
Capítulo 6 Derivadas 61 Introducción En este capítulo obtendremos los resultados básicos del cálculo diferencial para funciones reales definidas sobre R o sobre intervalos Definición 61 Sea I R, I, f :
Más detallesTEORÍA DE AUTÓMATAS Y LENGUAJES
TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Francisco Vico departamento Lenguajes y Ciencias de la Computación área de conocimiento Ciencias de la Computación e Inteligencia Artificial ETSI Informática Universidad
Más detallesMáquinas de Turing. Definición 2
Definición 1 La Máquina de Turing (MT) es el modelo de autómata com máxima capacidad computacional: la unidad de control puede desplazarse a izquierda o derecha y sobreescribir símbolos en la cinta de
Más detallesCurso Básico de Computación
Curso Básico de Computación Autómatas finitos y expresiones regulares Feliú Sagols Troncoso Matemáticas CINVESTAV-IPN 2010 Curso Básico de Computación (Matemáticas) Autómatas
Más detallesTeoría de Lenguajes // 1er. cuatrimestre de er. Parcial
Teoría de Lenguajes // er. cuatrimestre de 200 er. Parcial Dados los lenguajes: L = { w (a b)* para algún prefijo v de w: v a - v b > } (Ejemplos: Las cadenas ababaa y bbbaa pertenecen a L. Las cadenas
Más detallesMáquinas Secuenciales, Autómatas y Lenguajes. Tema 4: Expresiones Regulares. Luis Peña
Máquinas Secuenciales, Autómatas y Lenguajes Tema 4: Expresiones Regulares Luis Peña Sumario Tema 4: Expresiones Regulares. 1. Concepto de Expresión Regular 2. Teoremas de Equivalencia Curso 2012-2013
Más detallesAutómatas y Lenguajes Formales. Tema 3.2: Autómatas Finitos No Deterministas. Luis Peña luis.pena@urjc.es
Autómatas y Lenguajes Formales Tema 3.2: Autómatas Finitos No Deterministas Luis Peña luis.pena@urjc.es Sumario Tema 3.2: Autómatas Finitos No Deterministas. 1. Concepto de AFND 2. Teoremas de Equivalencia
Más detallesSintaxis y Semántica. Un repaso
Sintaxis y Semántica Un repaso Definición: Alfabeto Un conjunto finito de símbolos: {a,b,c,d} {0,1,2,34,5,6,7,8,9} {identificador, número, +,-,*, /} {while, if, {, }, >, >=,
Más detalles1. Define que es un Autómatas finitos determinanticos y cuáles son sus elementos constitutivos (explique cada uno de ellos).
Unidad 2.- Lenguajes Regulares Los lenguajes regulares sobre un alfabeto dado _ son todos los lenguajes que Se pueden formar a partir de los lenguajes básicos?, {_}, {a}, a 2 _, por medio De las operaciones
Más detallesMáquinas Secuenciales, Autómatas y Lenguajes Tema 5: Propiedades de los Lenguajes Regulares. Luis Peña
Máquinas Secuenciales, Autómatas y Lenguajes Tema 5: Propiedades de los Lenguajes Regulares Luis Peña Lenguaje Regular Definición 1 (Lenguaje Regular) Un lenguaje L se denomina regular si y sólo si existe
Más detallesTeoría de Lenguajes - Primer Parcial
Teoría de Lenguajes - Primer Parcial Primer cuatrimestre de 2002. (30 pts) Dado el autómata M = {q 0,q,q 2,q 3 },{a,b},δ,q 0,{q 3 } δ = a b q 0 {q 0,q } {q 0 } q {q 2 } q 2 {q 3 } q 3 a) Encontrar una
Más detallesLenguaje Regular. Sumario. Lenguaje Regular. Autómatas y Lenguajes Formales. Capítulo 8: Propiedades de los Lenguajes Regulares
Lenguaje Regular Capítulo 8: Propiedades de los Lenguajes Regulares José Miguel Buenaposada Josemiguel.buenaposada@urjc.es Definición 1 (Lenguaje Regular) Un lenguaje L se denomina regular si y sólo si
Más detallesNOTAS PARA LA MATERIA LENGUAJES DE PROGRAMACIÓN
NOTAS PARA LA MATERIA LENGUAJES DE PROGRAMACIÓN G r a m á t i c a s UNIVERSIDAD DE SONORA DEPARTAMENTO DE MATEMÁTICAS LICENCIATURA EN CIENCIAS DE LA COMPUTACIÓN Dra. María de Guadalupe Cota Ortiz Lenguaje
Más detallesGramáticas tipo 0 o Estructura de frase En este tipo de gramáticas no hay restricción en su producciones y tienen la forma siguiente.
Gramáticas Libres de Contexto 1. Gramáticas. Como vimos en el capítulo anterior una gramática es un conjunto finito de reglas que describen todas las secuencias de símbolos que pertenecen a un lenguaje.
Más detallesdescripción del argumento identificador tipo longitud condición restricción
Recuerde que estos son apuntes muy simplificados que deberá completar con la bibliografía PROGRAMACIÓN 0 Prof. Dolores Cuiñas H. recomendada APUNTES Nº. METODOLOGÍA PARA LA CONSTRUCCIÓN DE PROGRAMAS. Presentaremos
Más detallesNuestro objetivo es demostrar que autómata = lógica. IIC3260 Una Aplicación de Teoría de Modelos Finitos: Lógica = Autómata 35 / 60
Autómata = Lógica Nuestro objetivo es demostrar que autómata = lógica IIC3260 Una Aplicación de Teoría de Modelos Finitos: Lógica = Autómata 35 / 60 Autómata = Lógica Nuestro objetivo es demostrar que
Más detalles