Autómata finito y Expresiones regulares A* C. B
|
|
- Julio Ojeda Castro
- hace 5 años
- Vistas:
Transcripción
1 Autómata finito y Expresiones regulares A* C. B
2 Conceptos Alfabeto ( ): es el conjunto finito no vacío de símbolos. Ejemplo: = {0,1}, el alfabeto binario Cadenas: secuencia finita de símbolos pertenecientes a un alfabeto Por ejemplo: es una cadena del anterior. = {ASCII}
3 Cadena vacía(ε): cadena que contiene 0 símbolos. Longitud de una cadena cad :numero de símbolos. Ejemplo: 011 =3 y ε = 0
4 Potencia de alfabeto Potencias de un alfabeto k :conjunto de cadenas de longitud k, tal que todos los símbolos que las forman pertenecen al 0 = {ε} sea cual sea el 1={0,1} 2 = {00,01,10,11} Si ={0,1}, entonces
5 Lenguaje Regular los que se pueden generar a partir de los lenguajes básicos({},{ε},{a}), con la aplicación de las operaciones de unión, concatenación y * de Kleene un número finito de veces 5
6 Lenguaje: Conjunto de cadenas, todas elegidas de algún *. L(r) Lenguaje generado por la e.r r con ={a,b} L(r) = {ε, a, bb, aa, abb, }
7 Operadores Sean L y M lenguajes regulares entonces (L U M) es un lenguaje regular Unión de L y M (L U M): conjunto de cadenas que pertenecen a L, a M, o a ambos. Por ejemplo: Si L={001,10,111} y M={ε, 001}, entonces L U M = {ε,10,001,111} 7
8 Concatenación de L y M(L.M) (L.M) es un lenguaje regular Conjunto de cadenas que pueden formarse tomando cualquier cadena de L y concatenándola con cualquier cadena de M Por ejemplo Si L={001,10,111} y M={ε, 001}, entonces L. M = {001,10,111,001001,10001,111001}
9 Clausura de Kleen de (L*) L* es un lenguaje regular Cualquier conjunto de cadenas que se pueden formar (quizá con repeticiones) L(r*) = L(r)* cero o mas concatenaciones L*= U L i i=0 Ejemplo: Si L = {0,11} L*={ε,011,11110}
10 Expresiones Regulares(e.r.) Representa una descripción algebraica de los lenguajes regulares. Son un conjunto de secuencias de símbolos válidas que se construyen en base al alfabeto del lenguaje. Ejemplo: dir *.* donde el patrón * coincide con cualquier cadena de caracteres.
11 Expresión Regular(e.r) Forma compacta para definir un lenguaje regular. Ejemplo: Sea el = {a,b} La e.r r = (a bb)* se define en base al alfabeto del lenguaje L(r) 11
12 Expresiones regulares básicas λ o ε, L(ε) = {ε} a ε Σ, L(a) = { a } Si E y F son e.r. 1. E + F es una e.r. que representa la unión de L(E) y L(F). Es decir L(E+F)= L(E)UL(F) 12
13 2. EF es una e.r. que representa la concatenación de L(E) y L(F). Es decir L(E.F)= L(E).L(F). 3. E* es una e.r. que representa la clausura de L(E). Es decir, L(E*) = (L(E))*. 4. E es una e.r. entonces (E) es una e.r. que denota el mismo lenguaje que E. Es decir, L((E)) = L(E).
14 Cerradura positiva L(r+) = L(r)+ una o mas concatenaciones L + = U L i i=1 14
15 Prioridad 1. () 2. * 3.. o nada 4. = U=+
16 Formas abreviadas Digito = { } = [0-9]=D o d Letra = {a b z,a B Z}=[a-zA-Z]=L o l Signo = {+ - ε} =S o s ConstanteEntera = signo digito + =CE o ce (r)? = ε U L(r) 0 ó 1 vez G= { _ } 16
17 Ejemplos 1. r = a*.(b c) + y Σ= {a,b,c} L(r)= {b,c,bb,cc,bc,cb,ab,ac,cbc,bcc, abb,acc, aac,ccc,ccb,...} 2. r = [0-9]*.[0-9] + y Σ= {1..9,.} L(r)= {.2,1.2,12.3, , , ,...} 17
18 Ejemplo 3. Identificadores en ADA inician con letra seguido de letra o dígito o guión bajo (éste no puede ser el último) r=l(l D)*(G*(L D) + )* y Σ= {L,D,G} L(r)={a,s,a_f,k d,suma, sum12s,s2a_a} 18
19 Leyes algebraicas de e.r. LEY r s = s r r (s t) = (r s) t r.(s.t) = (r.s).t DESCRIPCIÓN es conmutativo es asociativo. es asociativa r.(s t) = r.s r.t. se distribuye sobre ε.r = r. ε = r ε es la identidad para la concatenación r* = (r ε)* ε se garantiza en una cerradura
20 Leyes algebraicas 1) r Φ Φ r r 2) r r r 3) Φ * ε 4) r. Φ Φ. r Φ 5) r. r* r*. r 6) r. r* ε r* 7) (r*. s*)* (r s)* 8) (r*)* r*
21 Algunas e.r [abc] = {a,b,c} ^a es cualquier símbolo que no sea la a Ejemplo ^[a-az-z] cualquier símbolo menos una letra a? es {ε,a} \ c el carácter c literalmente Ejemplo \$ftp= { $ftp }
22 Práctica 2 Dadas las e.r s y el Σ= {a,b,c,d} definir los L(r) definidos por dichas e.r. 1. r=ab 5. r=(ab c)*d 2. r=a b 6. r=(ab)* 3. r=a* 7. r=a a*b 4. r=ab* 8. r=(a ab)* 22
23 Práctica 2 9. r=(a b)* 10. r=(a b)*aa(a b)* 11. r=(a ε) (a ab)* 12. r=(a* b)*abb 13. r=(c d) + (a + db)* 14. r=(d.c)* (b ad + )* 15. r=(c* ε) (a ab)* 23
24 Práctica 3 Define los alfabetos y modela mediante una e.r los siguientes lenguajes: 1. cadenas con a lo mas una pareja de 0's consecutivos y a lo mas una pareja de 1's consecutivos. 2. cadenas de uno o mas dígitos pero que no contienen dos dígitos pares consecutivos. 3. Cadenas de comentarios que empiezan por un asterisco y un uno y terminan con el fin de esa línea o bien empiezan por un asterisco y un dos y terminan con el fin de la línea siguiente.
25 4. Lenguaje formado por todas las cadenas de caracteres que cumplen simultáneamente las tres condiciones siguientes: a) Sus tres primeros caracteres son, por este orden, una letra i, una n y otra i. b) Sus tres últimos caracteres son, por este orden, una letra f, una i y una n. c) Entre las tres letras iniciales y las tres letras finales de la cadena aparece una secuencia de uno o mas caracteres, pero ninguno de los cuales es ni una letra ni un salto de línea. Observa que cada una de las seis letras de la cadena debe poder ser, indistintamente, mayúscula o minúscula, ya que no se ha impuesto ninguna restricción al respecto.
26 5. L1 el lenguaje de todas las cadenas que pueden formarse utilizando únicamente cero o mas dígitos binarios y asteriscos con la restricción de que no se permiten mas de dos asteriscos consecutivos. Así, por ejemplo, las siguientes cadenas pertenecerán a L1: 101, **, *1*1*1, *00*1*,. Pero no estas otras: +001, 1****1, 000***,
27 6. L2 el lenguaje de todas las cadenas que pueden formarse utilizando únicamente dígitos decimales y asteriscos con la restricción de que en cada cadena debe haber un único grupo de varios asteriscos consecutivos. Así, por ejemplo, las siguientes cadenas pertenecerán a L2: 2**, *10*1**, 19***99. Pero no estas otras: **1**, x****x, , 1*1,...
28 7. L3 el lenguaje de todas las cadenas formadas por una o mas letras minúsculas y que no tienen tres b s seguidas. Así, por ejemplo, las siguientes cadenas pertenecerán a L3: xyz, bb, bebebe, baobab,. Pero no estas otras: Gato, abbbba, xxxbbb, salu2...
29 8. Conjunto de cadenas numéricas de tres dígitos formados por todos los posibles excepto 007. Así, por ejemplo, o33,921 y 777 pertenecen a este lenguaje, pero no efe, 33, etc. 9. El lenguaje de todas las cadenas que se pueden formar con los dígitos 0,1 y 2 respetando las 2 condiciones siguientes: la cadena no será vacía ni habrá ninguna subcadena 01 en ella. Por ejemplo pertenece al lenguaje pero no
30 Autómatas Finitos Modelo matemático de un sistema que recibe una cadena y determina si esta pertenece al lenguaje que el autómata reconoce
31 Clasificación Deterministas (AFD):no puede estar en mas de un estado simultáneamente No deterministas (AFND):puede estar en varios estados al mismo tiempo
32 AFD consta de A = (Q, Σ, δ, q0,f) Q conjunto finito de estados. Σ conjunto finito de símbolos de entrada. δ función de transición que recibe como argumentos un estado y una entrada y devuelve un estado. q0 estado inicial (uno de los estados de Q). Conjunto F de estados finales o de aceptación.
33 Ejemplo 1 AFD que acepta únicamente todas las cadenas de 0 s y 1 s que contienen la secuencia 01 en algún lugar de la cadena. δ( q0,1)= q0 δ(q2,1)= q1 δ(q0,0)= q2 δ(q2,0)= q2 δ(*q1,0)=δ(q1,1)= q1
34 Representación de autómatas Formal: Quintupla Diagarama de Transición Tabla de Transición Formal: A=({q0, q1, q2},{0,1},δ,q0,{q1})
35 Diagrama de Transición 1 0 Inicio q0 0 1 q2 q1 0,1
36 Tabla de transición 0 1 Inicial q0 q2 q0 Final *q1 q1 q1 q2 q2 q1
37 Ejemplo 2 AFD que acepta únicamente todas las cadenas con un número par de 0 s y/o 1 s. δ( *q0,0)= q2 δ(q2,0)= q0 δ(q0,1)= q1 δ(q2,1)= q3 δ(q1,0)= q3 δ(q3,0)= q1 δ(q1,1)= q0 δ(q3,1)= q2
38 Representación Formal A=({q0, q1, q2, q3 },{0,1},δ,q0,{q0})
39 Diagrama de Transición Inicio 1 q0 q q2 q3 1
40 Tabla de transición 0 1 * q0 q2 q1 q1 q3 q0 q2 q0 q3 q3 q1 q2
41 AFND consta de A = (Q, Σ, δ, q0,f) Q conjunto finito de estados. Σ conjunto finito de símbolos de entrada. δ función de transición que recibe como argumentos un estado y una entrada y devuelve un conjunto con 0,1 o mas estados. q0 estado inicial (uno de los estados de Q). Conjunto F de estados finales o de aceptación.
42 Ejemplo 1 AFND que acepta únicamente las cadenas de 0 s y 1 s que terminan en 01. δ( q0,0) = {q0, q1} δ(q1,0) = Φ δ(q0,1) = {q0} δ(q1,1) = {q2} δ(*q2,0) = Φ δ(q2,1) = Φ
43 Representación de autómatas Formal: Quintupla Diagarama de Transición Tabla de Transición Formal: A=({q0, q1, q2},{0,1},δ,q0,{q2})
44 Diagrama de Transición 0,1 Inicio q0 0 1 q1 q2
45 Tabla de transición 0 1 q0 {q0, q1} {q0} q1 Φ {q2} *q2 Φ Φ
46 Equivalencia entre AFND y AFD Construcción de subconjuntos Parte de un AFND = (QN, Σ, δn, q0,fn) Resultado: la descripción de AFD = (QD, Σ, δd, {q0},fd)
47 Construcción 1. QD es el conjunto de subconjuntos de QN, es decir es el conjunto potencia de QN. 2. FD es el conjunto de subconjuntos S de QN tal que S FN Φ, es decir, FD contiene todos los conjuntos de estados de N que incluyen al menos un estado de aceptación de N.
48 Función de transición 3. Para cada conjunto S QN y para cada símbolo de entrada a en Σ, δd ( S,a) = p ens δn ( p,a)
49 Ejemplo 0,1 Inicio q0 0 1 q1 q2 0 1 Φ Φ Φ {q0} {q0,q1} {q0} {q1} Φ {q2} *{q2} Φ Φ {q0,q1} {q0,q1} {q0,q2} *{q0,q2} {q0,q1} {q0} *{q1,q2} Φ {q2} *{q0,q1,q2} {q0,q1} {q0,q2}
50 AFD 1 0 Inicio {q0} 0 1 {q0,q1} {q0,q2} 1 0 Nota: no todos los estados son accesibles
51 Práctica 4 1. Construye el AFD o AFND que acepte el siguiente lenguaje. Todas las cadenas compuestas de cualquier letra pero que inician con a y tiene la restricción que nunca pueden llevar 3 b s seguidas.
52 Práctica 4. Construye AFD 2. Que acepte el conjunto de todas las cadenas terminadas en Que acepte el conjunto de todas las cadenas con tres ceros consecutivos.(no necesariamente al final). 4. Que acepte el conjunto de cadenas con 011 como subcadena.
53 1. Convertir el siguiente AFND a AFD( manera formal y DT a) b) c) 0 1 p {p,q} {p} q {r} {r} r {s} Φ *s {s} {s} 0 1 p {q,s} {q} *q {r} {q,r} r {s} {p} *s Φ {p} 0 1 p {p,q} {p} q {r,s} {t} r {p,r} {t} *s Φ Φ *t Φ Φ
54 2. Construir AFND para los lenguajes a) conjunto de cadenas de dígitos cuyo último dígito haya aparecido antes en la misma entrada. b) conjunto de cadenas de dígitos cuyo último dígito no haya aparecido antes en la misma entrada.
55 3. Para el ejercicio 2 convertir el AFND a AFD( manera formal y DT)
56 Tarea 3 Investigar algún método para encontrar el AFND equivalente de un AFD y 2 ejemplos aplicando el método. Investigar algún método para encontrar la e.r. equivalente a AFND y 2 ejemplos aplicando el método. Investigar algún método para encontrar la e.r. equivalente a AFD y 2 ejemplos aplicando el método.
Compiladores: Sesión 3. Análisis léxico, expresiones regulares
Compiladores: Sesión 3. Análisis léxico, expresiones regulares Prof. Gloria Inés Alvarez V. Departamento de Ciencias e Ingeniería de la Computación Pontificia Universidad Javeriana Cali 29 de enero de
Más detallesESPECIFICACIÓN DE SÍMBOLOS
1 UNIVERSIDAD DE MAGALLANES FACULTAD DE INGENIERÍA DEPARTAMENTO DE COMPUTACIÓN ESPECIFICACIÓN DE SÍMBOLOS Elaborado el Sábado 24 de Julio de 2004 I.- COMPONENTES LÉXICOS, PATRONES Y LEXEMAS (extraído de
Más detallesRecopilación de ejercicios sobre expresiones regulares en exámenes de Compiladores e intérpretes
Recopilación de ejercicios sobre expresiones regulares en exámenes de Compiladores e intérpretes IG29: Compiladores e intérpretes Segunda sesión de teoría Bloque 1: Modelado Ejercicio 1 Modela mediante
Más detallesAutómatas de Estados Finitos
Asignatura: Teoría de la Computación Unidad 1: Lenguajes Regulares Tema 1: Autómatas de Estados Finitos Autómatas de Estados Finitos Definición de Autómatas de estados finitos: Tipo Lenguaje Máquina Gramática
Más detallesCAPITULO 2: LENGUAJES
CAPITULO 2: LENGUAJES 2.1. DEFINICIONES PREIAS SIMBOLO: Es una entidad indivisible, que no se va a definir. Normalmente los símbolos son letras (a,b,c,.., Z), dígitos (0, 1,.., 9) y otros caracteres (+,
Más detallesTema 3: Gramáticas regulares. Teoría de autómatas y lenguajes formales I
Tema 3: Gramáticas regulares Teoría de autómatas y lenguajes formales I Bibliografía Hopcroft, J. E., Motwani, R., y Ullman, J. D. Introducción a la Teoría de Autómatas, Lenguajes y Computación. Addison
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 detallesNo todos los LRs finitos se representan mejor con ERs. Observe el siguiente ejemplo:
1 Clase 3 SSL EXPRESIONES REGULARES Para REPRESENTAR a los Lenguajes Regulares. Se construyen utilizando los caracteres del alfabeto sobre el cual se define el lenguaje, el símbolo y operadores especiales.
Más detallesIgualdad de cadenas. Las nociones de sufijo y prefijo de cadenas sobre un alfabeto son análogas a las que se usan habitualmente.
Igualdad de cadenas Si w y z son palabras, se dice que w es igual a z, si tiene la misma longitud y los mismos símbolos en la misma posición. Se denota por w = z. Las nociones de sufijo y prefijo de cadenas
Más detallesLenguajes, Gramáticas y Autómatas Conceptos
Lenguajes, Gramáticas y Autómatas Conceptos Departamento de Informática e Ingeniería de Sistemas C.P.S. Universidad de Zaragoza Última revisión: Febrero. 2004 11/02/2004 1 Índice Alfabetos, palabras y
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 detallesExpresiones regulares, gramáticas regulares
Expresiones regulares, gramáticas regulares Los LR en la jerarquía de Chomsky La clasificación de lenguajes en clases de lenguajes se debe a N. Chomsky, quien propuso una jerarquía de lenguajes, donde
Más detallesExpresiones regulares, gramáticas regulares
Expresiones regulares, gramáticas regulares Los LR en la jerarquía de Chomsky La clasificación de lenguajes en clases de lenguajes se debe a N. Chomsky, quien propuso una jerarquía de lenguajes, donde
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 detallesTeoría de la Computación y Leguajes Formales
y Leguajes Formales Prof. Hilda Y. Contreras Departamento de Computación hyelitza@ula.ve hildac.teoriadelacomputacion@gmail.com Contenido Tema 0: Introducción y preliminares: Conocimientos matemáticos
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 detallesTema 2: Lenguajes Formales. Informática Teórica I
Tema 2: Lenguajes Formales Informática Teórica I Teoría de Lenguajes Formales. Bibliografía M. Alfonseca, J. Sancho y M. Martínez. Teoría de Lenguajes, Gramáticas y Autómatas, R.A.E.C., Madrid, (1998).
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 detallesSintaxis y Semántica. Tema 3. Sintaxis y Semántica. Expresiones y Lenguajes Regulares. Dr. Luis A. Pineda ISBN:
Tema 3 Expresiones y Lenguajes Regulares Dr Luis A Pineda ISBN: 970-32-2972-7 Sintaxis y Semántica En us uso normal, las expresiones lingüística hacen referencia a objetos individuales, así como a sus
Más detalles07 Análisis léxico III
2 Contenido Lenguaje Operaciones entre lenguajes Lenguajes regulares Expresiones regulares 3 Lenguaje Un lenguaje es un conjunto de palabras (cadenas) de un determinado alfabeto Σ. Formalmente: Se llama
Más detallesTeoría de la Computación Lenguajes Regulares (LR) - Propiedades
Teoría de la Computación Lenguajes Regulares (LR) - Propiedades Prof. Hilda Y. Contreras Departamento de Computación hyelitza@ula.ve http://webdelprofesor.ula.ve/ingenieria/hyelitza Objetivo Lenguajes
Más detallesExpresiones regulares, gramáticas regulares Unidad 3
Expresiones regulares, gramáticas regulares Unidad 3 Los LR en la jerarquía de Chomsky La clasificación de lenguajes en clases de lenguajes se debe a N. Chomsky, quien propuso una jerarquía de lenguajes,
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 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 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 detallesINAOE. Expresiones Regulares. Operadores y Operandos. Equivalencia de Lenguajes de FA y Lenguajes RE. Leyes Algebraicas de las. Expresiones Regulares
INAOE (INAOE) 1 / 52 Contenido 1 2 3 4 (INAOE) 2 / 52 Es un equivalente algebraico para un autómata. Utilizado en muchos lugares como un lenguaje para describir patrones en texto que son sencillos pero
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 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á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 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 AUTÓMATAS Y LENGUAJES FORMALES Grado en Ingeniería Informática Online, Curso Universidad Rey Juan Carlos
TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Grado en Ingeniería Informática Online, Curso 202-203 Universidad Rey Juan Carlos GUÍA PARA LA REALIZACIÓN DE LA HOJA DE PROBLEMAS No 3 (Tema 3: Expresiones Regulares)
Más detalles06 Análisis léxico II
2 Contenido Alfabetos, símbolos y cadenas Operaciones con cadenas Concatenación de dos cadenas Prefijos y sufijos de una cadena Subcadena y subsecuencia Inversión de una cadena Potencia de una cadena Ejercicios
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 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 detallesComputabilidad y Lenguajes Formales: Autómatas Finitos
300CIG007 Computabilidad y Lenguajes Formales: Autómatas Finitos Pontificia Universidad Javeriana Cali Ingeniería de Sistemas y Computación Prof. Gloria Inés Alvarez V. No Determinismo Hasta ahora cada
Más detallesAutómatas de Pila y Lenguajes Incontextuales
Autómatas de Pila y Lenguajes Incontextuales Elvira Mayordomo Universidad de Zaragoza 5 de noviembre de 2012 Contenido de este tema 1. Introducción a los autómatas de pila 2. Definiciones 3. Equivalencia
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 detallesAlgoritmo para la obtención de los estados accesibles
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 detallesUNIVERSIDAD 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
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 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 detallesTema 2. Fundamentos de la Teoría de Lenguajes Formales
Departamento de Tecnologías de la Información Tema 2. Fundamentos de la Teoría de Lenguajes Formales Ciencias de la Computación e Inteligencia Artificial Índice 2.1. Alfabeto 2.2. Palabra 2.3. Operaciones
Más detallesLenguajes y Gramáticas
Lenguajes y Gramáticas Teoría de Lenguajes Fernando Naranjo Introduccion Se desarrollan lenguajes de programación basados en el principio de gramática formal. Se crean maquinas cada vez mas sofisticadas
Más detallesUnidad 1 Lenguajes Formales
Unidad 1 Lenguajes Formales 1. INTRODUCCION El lenguaje es una secuencia de fonemas o símbolos que forman sílabas, palabras, frases, párrafos, capítulos, novelas, libros, bibliotecas...que tiene una sintaxis
Más detallesLenguajes formales y autómatas
y autómatas. raul.gutierrez@correounivalle.edu.co Marzo, 2014 El alfabeto Un alfabeto es un conjunto finito no vacío cuyos elementos se llaman símbolos. Sea Σ = {a, b} el alfabeto que consta de los símbolos
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 detallesNuestro objetivo es demostrar que autómata = lógica Qué significa esto? Queremos encontrar una lógica que defina a los lenguajes regulares
Autómata = Lógica Nuestro objetivo es demostrar que autómata = lógica Qué significa esto? Queremos encontrar una lógica que defina a los lenguajes regulares Pero antes: Vamos a hacer un breve repaso sobre
Más detallesEscribir la expresión regular de un número entero que no acepte que el primer dígito sea cero salvo el número 0. Solución: 0 [1-9][0-9]*
Procesadores de lenguaje Ejercicios del Tema 2 Ejercicio 2.1 Sean L = {a, aa, b} y M = {ab, b }. Describe LM y M 3 por enumercaión LM = { aab, ab, aaab, bab, bb } M 3 = { ababab, ababb, abbab, abbb, babab,
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 detallesMatemáticas discretas II
Matemáticas discretas II Lenguajes y gramáticas carlos.andres.delgado@correounivalle.edu.co Carlos Andrés Delgado S. Raúl E Gutierrez de Piñerez R. Facultad de Ingeniería. Universidad del Valle Abril 2017
Más detallesMODELOS DE COMPUTACION I Preguntas Tipo Test. 1. El lema de bombeo puede usarse para demostrar que un lenguaje determinado es regular.
MODELOS DE COMPUTACION I Preguntas Tipo Test Indicar si son verdaderas o falsas las siguientes afirmaciones: 1. El lema de bombeo puede usarse para demostrar que un lenguaje determinado es regular. 2.
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 detallesAlfabetos, cadenas y lenguajes
Capítulo 1 lfabetos, cadenas y lenguajes 1.1. lfabetos y cadenas Un alfabeto es un conjunto finito no vacío cuyos elementos se llaman símbolos. Denotamos un alfabeto arbitrario con la letra Σ. Una cadena
Más detalles08 Análisis léxico IV
2 Contenido Expresiones regulares Lenguaje generado por una expresión regular Precedencia de las operaciones con las expresiones regulares Ejemplos Definiciones regulares Extensiones de las expresiones
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 detallesUnidad 1 Introducción
Unidad 1 Introducción Contenido 1.1 La importancia de estudiar los autómatas y lenguajes formales 1.2 Símbolos, alfabetos y cadenas 1.3 Operaciones sobre cadenas 1.4 Definición de lenguaje y operaciones
Más detalles1. Lenguajes formales.
Tema 4: Aplicación de los autómatas: Lenguajes formales 1 Tema 4: Aplicación de los autómatas: Lenguajes formales 1. Lenguajes formales. Como se ha indicado en la introducción del tema, el concepto de
Más detallesConjuntos y expresiones regulares. Propiedades de las expresiones regulares (1) Propiedades de las expresiones regulares (2)
César Ignacio García Osorio Área de Lenguajes y Siste mas Informáticos Universidad de Burgos Conjuntos y expresiones regulares Conjunto regular: Cualquier conjunto de cadenas que se pueda formar mediante
Más detallesAutómatas Finitos INAOE. Introducción a. Autómatas. Definición formal de un. Finito Determinístico. Finito No- Finitos y Lenguajes Formales
los s s s s INAOE (INAOE) 1 / 58 Contenido los s s 1 los s 2 3 4 s 5 (INAOE) 2 / 58 los s los s los s s : Conjunto de estados + Control Cambio de estados en respuesta a una entrada. Tipo de Control: :
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 detallesESTRUCTURAS ALGEBRAICAS. Parte 1
ESTRUCTURAS ALGEBRAICAS Parte 1 ESTRUCTURAS ALGEBRAICAS Una estructura algebraica es una n-tupla (a 1,a 2,...,a n ), donde a 1 es un conjunto dado no vacío, y {a 2,...,a n } un conjunto de operaciones
Más detallesClase 06: Definiciones regulares
Solicitado: Ejercicios 04: Expresiones y definiciones regulares M. en C. Edgardo Adrián Franco Martínez http://computacion.cs.cinvestav.mx/~efranco @efranco_escom edfrancom@ipn.mx 1 Contenido Expresiones
Más detallesTemas. Objetivo. Símbolo, alfabeto. Hileras y operaciones con hileras. Operaciones con lenguajes
0 1 Temas Símbolo, alfabeto Hileras y operaciones con hileras Operaciones con lenguajes Objetivo Que el estudiante logre conocer, comprender y manejar conceptos vinculados con la Teoría de Lenguajes Formales
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 detallesDEL AUTÓMATA FINITO A LA EXPRESIÓN REGULAR
DEL AUTÓMATA FINITO A LA EXPRESIÓN REGULAR Muchas veces es más fácil y seguro dibujar el DT de un AF que reconozca al lenguaje, para luego obtener la ER a partir de este autómata. Se presenta un método
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 detallesDefiniciones previas
Máquina de Turing Definiciones previas Definición. Alfabeto: Diremos que un conjunto finito Σ es un alfabeto si Σ y ( x)(x Σ x es un símbolo indivisible) Ejemplos Σ ={a,b}, Σ ={0,1}, Σ ={a,b, z} son alfabetos
Más detallesEXPRESIONES REGULARES
EXPRESIONES REGULARES Son entes formales o estructuras matemáticas utilizadas para especificar parámetros de formación de componentes léxicos. Las Expresiones Regulares denotan o representan lenguajes.
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 detallesIntroducción a la lingüística computacional
Introducción a la lingüística computacional César Antonio Aguilar Facultad de Lenguas y Letras 22/08/2017 Cesar.Aguilar72@gmail.com Teoría de autómatas (1) La teoría de autómatas es una línea de investigación
Más detallesAlfabetos y cadenas (1) Alfabetos y cadenas (2) Lenguajes. Propiedades de la concatenación:
Alfabetos y cadenas (1) 0 b b 0 1 Alfabeto: Un alfabeto Σ es un conjunto finito y no vacío de símbolos. Cadena sobre un alfabeto Σ: Es una sucesión de caracteres tomados de Σ. Cadena vacía: Cadena sin
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 detallesTeoría de autómatas. Un enfoque práctico. Recortables. Thelma Cantú María Gpe. Mendoza
Teoría de autómatas. Un enfoque práctico Recortables Thelma Cantú María Gpe. Mendoza 1.1 Búsqueda de lenguajes Alumno: 1 Nombre del lenguaje Alfabeto: Dónde se utiliza? Cuál es el beneficio para la humanidad?
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 detallesCurso Básico de Computación Preliminares
Curso Básico de Computación Preliminares Feliú Sagols Troncoso Matemáticas CINVESTAV-IPN 2010 Curso Básico de Computación (Matemáticas) Preliminares 2010 1 / 11 1 Preliminares
Más detallesPrácticas de Lenguajes, Gramáticas y Autómatas
Prácticas de Lenguajes, Gramáticas y Autómatas Cuarto cuatrimestre (primavera) de Ingeniería en Informática Curso 2010-2011 http://webdiis.unizar.es/asignaturas/lga Profesor Responsable: Jorge Júlvez Dpto.
Más detallesCompiladores e Intérpretes Análisis Léxico
1 Compiladores e Intérpretes Análisis Léxico Sebastian Gottifredi 2017 Organizacion Esquema General de Análisis Léxico Tokens Especificando Tokens Expresiones Regulares Reconociendo Tokens Autómatas Finitos
Más detallesLenguajes Regulares. Antonio Falcó. - p. 1
Lenguajes Regulares Antonio Falcó - p. 1 Cadenas o palabras I Una cadena o palabra es una sucesión finita de símbolos. cadena {c, a, d, e, n}. 10001 {0, 1} El conjunto de símbolos que empleamos para construir
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 detallesINTRODUCCIÓN A COMPILADORES Y LENGUAJES FORMALES LENGUAJES FORMALES
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 detallesExamen. Pontificia Universidad Católica de Chile Escuela de Ingeniería Departamento de Ciencia de la Computación. Segundo Semestre, 2003.
Pontificia Universidad Católica de Chile Escuela de Ingeniería Departamento de Ciencia de la Computación Examen IIC 2222 Teoría de Autómatas y Lenguajes Formales Segundo Semestre, 2003 Este examen tiene
Más detallesComputabilidad y lenguajes formales: Sesión 17. Equivalencia entre Expresiones Regulares y Autómatas Finitos
Computabilidad y lenguajes formales: Sesión 17. Equivalencia entre Expresiones Regulares y Autómatas Finitos Prof. Gloria Inés Alvarez V. Departamento de Ciencias e Ingeniería de la Computación Pontificia
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 detallesJohn Venn Matemático y filósofo británico creador de los diagramas de Venn
Georg Cantor Matemático Alemán creador de la teoría de conjuntos John Venn Matemático y filósofo británico creador de los diagramas de Venn August De Morgan Matemático ingles creador de leyes que llevan
Más detallesJohn Venn Matemático y filósofo británico creador de los diagramas de Venn
Georg Cantor Matemático Alemán creador de la teoría de conjuntos John Venn Matemático y filósofo británico creador de los diagramas de Venn August De Morgan Matemático ingles creador de leyes que llevan
Más detallesCapítulo 7: Expresiones Regulares
Capítulo 7: Expresiones Regulares 7.1. Concepto de expresión regular 7.1.1. Definición 7.1.2. Lenguaje descrito 7.1.3. Propiedades 7.2. Teoremas de equivalencia 7.2.1. Obtener un AFND a partir de una expresión
Más detallesVíctor J. Díaz Madrigal y Fernando Enríquez de Salamanca Ros. 2.1 Límites de los lenguajes regulares Teorema de Myhill-Nerode Lema del bombeo
Guión 2.1 Límites de los lenguajes regulares Teorema de Myhill-Nerode Lema del bombeo Tma. de Myhill-Nerode: Relaciones de equivalencia Una relación de equivalencia sobre Σ es: 1. Invariante por la derecha:
Más detallesTEORÍA DE AUTÓMATAS I Informática de Sistemas. Soluciones a las cuestiones de examen del curso 2009/2010
TEORÍA DE AUTÓMATAS I Informática de Sistemas Soluciones a las cuestiones de examen del curso 2009/2010 Febrero 10, 1ª semana 1. Considere la gramática de símbolos terminales {(, ), ;, 1, 2, 3}: S (A),
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 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 detallesDEFINICIONES BÁSICAS E INTRODUCCIÓN A LENGUAJES FORMALES
1 DEFINICIONES BÁSICAS E INTRODUCCIÓN A LENGUAJES FORMALES Los LENGUAJES FORMALES están formados por PALABRAS, las palabras son CADENAS y las cadenas están constituidas por SÍMBOLOS de un ALFABETO. SÍMBOLOS
Más detallesJerarquía de Chomsky. 1. Clasificación de gramáticas. 2. Clasificación de lenguajes. 3. Gramáticas regulares. 5. Gramáticas dependientes del contexto
Jerarquía de Chomsky 1. Clasificación de gramáticas 2. Clasificación de lenguajes 3. Gramáticas regulares 4. Gramáticas independientes del contexto 5. Gramáticas dependientes del contexto 6. Gramáticas
Más detallesSea G = (V N, V T, S, P) una gramática libre de contexto, un árbol es un árbol de derivación para G si:
09:50 1 Temas Gramáticas libres de contexto Árbol de derivación Derivación más a la izquierda y más a la derecha Ambigüedad Factorización a izquierda Gramáticas propias Expresiones Regulares Objetivo Que
Más detallesComputabilidad y Lenguajes Formales: Autómatas de Pila
300CIG007 Computabilidad y Lenguajes Formales: Autómatas de Pila Pontificia Universidad Javeriana Cali Ingeniería de Sistemas y Computación Prof. Gloria Inés Alvarez V. Basado en [SIPSER, Chapter 2] Autómatas
Más detallesLENGUAJES Y GRAMÁTICAS
LENGUAJES Y GRAMÁTICAS LENGUAJES Y GRAMÁTICAS La sintaxis de un lenguaje natural en lenguajes como el ingles, español, alemán o francés es extremadamente complicada, dado que es imposible especificar la
Más detallesExpresiones Regulares
Conjuntos Regulares y Una forma diferente de expresar un lenguaje Universidad de Cantabria Conjuntos Regulares y Esquema 1 Motivación 2 Conjuntos Regulares y 3 4 Conjuntos Regulares y Motivación El problema
Más detallesMODELOS DE COMPUTACIÓN CRISTIAN ALFREDO MUÑOZ ALVAREZ JUAN DAVID LONDOÑO CASTRO JUAN PABLO CHACON PEÑA EDUARDO GONZALES PULGARIN
MODELOS DE COMPUTACIÓN CRISTIAN ALFREDO MUÑOZ ALVAREZ JUAN DAVID LONDOÑO CASTRO JUAN PABLO CHACON PEÑA EDUARDO GONZALES PULGARIN LENGUAJES Y GRAMÁTICAS La sintaxis de un lenguaje natural en lenguajes como
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 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 detalles