Tema 4. Autómatas Finitos

Tamaño: px
Comenzar la demostración a partir de la página:

Download "Tema 4. Autómatas Finitos"

Transcripción

1 Tema 4. Autómatas Finitos 4.1. Autómatas finitos Introducción Máquinas secuenciales Autómatas finitos deterministas (A.F.D.) Introducción Definición AFD. Representación Extensión a palabras Lenguaje aceptado por un AFD Simulación algorítmica de un AFD 4.3. Minimización de Autómatas finitos Minimización por el conjunto cociente Minimización por tablas Autómatas finitos no deterministas (A.F.N.D.) Introducción Definición AFND. Representación Extensión a palabras Lenguaje aceptado por un AFND Simulación algorítmica de un AFND 4.5. Equivalencia entre A.F.D. y A.F.N.D. TALF. Tema 4 nº 1

2 Autómatas Finitos. Introducción. Autómatas con salidas: Máquina de Moore. Salida asociada al estado. Máquina de Mealy. Salida asociada a la transición. Autómatas reconocedores de lenguajes regulares: Autómata Finito Determinista (AFD) Autómata Finito No Determinista (AFND) salidas: reconoce, no reconoce cadenas de un lenguaje regular; 0 o 1 TALF. Tema 4 nº 2

3 Máquinas secuenciales. Dado en prácticas. TALF. Tema 4 nº 3

4 4.2. Autómatas Finitos Deterministas. Introducción Un autómata finito es un conjunto de estados y un control que se mueve de un estado a otro en respuesta a entradas externas. Los autómatas finitos se pueden clasificar en función del tipo de control como: Deterministas, el autómata únicamente puede estar en un estado en un momento determinado. No Deterministas, el autómata puede estar en varios estados simultáneamente. Ambos definen los mismos lenguajes (regulares), sin embargo los No deterministas permiten describir más eficientemente determinados problemas. TALF. Tema 4 nº 4

5 4.2. Autómatas finitos deterministas (AFD). Introducción Cómo procesa entradas un AFD? La entrada a un AF es un conjunto de símbolos tomados del alfabeto de entrada, no hay límite en tamaño de la cadena. Existe un puntero que en cada momento apunta a una posición de la cadena de entrada. El autómata está siempre en un estado de Q, inicialmente se encuentra en el estado q 0. a a a b a b a c c... b q 0 TALF. Tema 4 nº 5

6 4.2. Autómatas finitos deterministas (AFD). Introducción Cómo procesa entradas un AFD? En cada paso el autómata lee un símbolo de la entrada y según el estado en el que se encuentre, cambia de estado y pasa a leer otro símbolo. a a a b a b a c c... b q 03 2i Así sucesivamente hasta que se terminen de leer todos los símbolos de la cadena de entrada. Si en ese momento el AF está en un estado q i de F, se dice que acepta la cadena, en caso contrario la rechaza. TALF. Tema 4 nº 6

7 Autómatas finitos deterministas(afd). Definición. Un autómata finito es una quíntupla M=(Q,,f,q 0,F) : Q es un conjunto finito llamado conjunto de estados. es un conjunto finito de símbolos, llamado alfabeto de entrada. f es una aplicación llamada función de transición f: Q Q q 0 es un elemento de Q, llamado estado inicial. F es un subconjunto de Q, llamado conjunto de estados finales. TALF. Tema 4 nº 7

8 Representación AFD. Tablas de transición. Es una representación clásica de una función con dos argumentos. En las filas se colocarán los estados y en las columnas los símbolos del alfabeto de entrada. Cada intersección fila (estado q) - columna (carácter a) corresponde al estado f(q,a). El estado inicial se representa con Los estados finales con un * 0 1 Ejemplo: q 0 q 2 q 0 * q 1 q 1 q 1 q 2 q 2 q 1 TALF. Tema 4 nº 8

9 Representación AFD. Diagramas de transición. Es un grafo en el que los vértices representan los distintos estados y los arcos las transiciones entre los estados. Cada arco va etiquetado con el símbolo que corresponde a dicha transición. El estado inicial se representa con Los estados finales con un con doble círculo. 1 0 q 0 q 2 q , 1 TALF. Tema 4 nº 9

10 Representación AFD. Determinismo porque: No existen transiciones λ qq, a una única f(q,a) : una sóla arista etiquetada con a para cada símbolo; Para cada entrada en la tabla un solo estado La indeterminación en el caso que falten transiciones para algunas entradas se resuelve incluyendo un nuevo estado, llamado de absorción o muerto, al cual llegan todas las transiciones no definidas. Ejemplo: 0 1 q 0 q 1 q 2 * q q 2 q q 0 q q 1 1 M 0, q 0 q 1 q 2 * q 1 M M q 2 q 1 M 0, 1 M M M TALF. Tema 4 nº 10

11 AFD. Extensión de f a palabras. Si M=(Q,,f,q 0,F) es un AFD se define la función de transición asociada a palabras como la función f : Q * Q dada por: f (q,λ)=q f (q,a)=f(q,a) f (q,ax)=f (f(q,a),x) donde x * y a TALF. Tema 4 nº 11

12 Lenguaje aceptado por un AFD. Una cadena x * es aceptada por un autómata M=(Q,,f,q 0,F) si y solo si f (q 0,x)F. En otro caso la cadena es rechazada por el autómata. El lenguaje aceptado o reconocido por un autómata es el conjunto de las palabras de * que acepta: L(M)={x * / f (q 0,x)F} TALF. Tema 4 nº 12

13 Simulación algorítmica de un AFD Entrada: cadena de entrada x que termina con un carácter fin de cadena o fin de archivo (FDC). Salida: La respuesta ACEPTADA si el autómata reconoce x NO ACEPTADA en caso contrario Método: aplicar f al estado al cual hay una transición desde el estado q a un carácter de entrada c Función reconocer() q=q 0 c= leer_carácter() Mientras c!= FDC q=f(q,c) c= leer_carácter() fmientras Si q F entonces Devolver(ACEPTADA) Sino Devolver(NO ACEPTADA) fsi TALF. Tema 4 nº 13

14 Simulación algorítmica de un AFD. Ejemplo. Ejemplo:AFD que reconozca el nombre de variables empezando por letra y seguida de letras o dígitos. letra q 1 letra digito q 0 q 1 q 2 letra digito q 0 digito letra digito * q 1 q 1 q 1 q 2 q 2 q 2 q 2 TALF. Tema 4 nº 14

15 Simulación algorítmica de un AFD. Ejemplo. Función reconocer_id() //Por el diagrama estado=0 s= leer_simbolo() Mientras s!= FDC Caso estado sea 0: Si s=letra entonces estado=1 sino Si s=digito entonces estado=2 sino Error() //salir a la rutina de error léxico fsi fsi 1: Si s=letra or digito entonces estado=1 sino Error() //salir a la rutina de error léxico fsi 2: Si s=letra or digito entonces estado=2 sino Error() //salir a la rutina de error léxico fsi fcaso s= leer_simbolo() fmientras Si estado=1 entonces Devolver(SI) Sino Devolver(NO) fsi TALF. Tema 4 nº 15

16 Simulación algorítmica de un AFD. Ejemplo. Función reconocer_id() //por la tabla estado=0 s= leer_simbolo() Mientras s!= FDC Caso s sea letra: entrada=letra digito: entrada=digito otro: Error() //salir a la rutina de error léxico fcaso estado= f(estado,entrada) s= leer_simbolo() fmientras Si estado=1 entonces Devolver(SI) Sino Devolver(NO) fsi TALF. Tema 4 nº 16

17 Minimización de Autómatas finitos por el conjunto cociente. Algoritmo para construir el conjunto cociente Q/E n 1. Q/E 1 = {c 1 =q i F, c 2 =q j Q-F} 2. Sea Q/E i ={c 1, c 2,..., c j }. Q/E i+1 se construye: p y q están en la misma clase si y solo si p,qc k y a se verifica que f (p,a) y f (q,a) están en la misma clase c m de Q/E i 3. Si Q/E i =Q/E i+1 entonces Q/E i =Q/E, en caso contrario aplicar el paso 2. partiendo de Q/E i+1 TALF. Tema 4 nº 17

18 Minimización de Autómatas finitos por el conjunto cociente. Dado el AFD M=(Q,,f,q 0,F) existe un único AFD equivalente mínimo (Autómata del conjunto cociente) M m =(Q m,, f m, q 0m, F m ) Donde Q m =Q/E a, f m (c i,a)=c j si pc j, qc i /f(q,a)=p q 0m =c 0 si q 0 c 0 y c 0 Q m F m = {c i / pc i y pf} TALF. Tema 4 nº 18

19 Minimización de AFD por el conjunto cociente. Ejemplo Ejemplo: M=( {0,1},{q 0,q 1,q 2,q 3,q 4 }, f, q 0,{q 4 }) 0 f 0 1 q 0 0 q 1 q 0 q 1 q 2 q 1 q 1 q 3 q 2 q 1 q 2 q 3 q 1 q 4 *q 4 q 1 q q q q 3 0 TALF. Tema 4 nº 19

20 Minimización de AFD por el conjunto cociente. Ejemplo Conjunto cociente 1. Conjunto inicial Q/E 1 =({q 0,q 1, q 2,q 3 },{q 4 }) 2. Q/E i 2.1. Q/E 2 =({q 0,q 1,q 2 },{q 3 }, {q 4 }) 3. Q/E 2 Q/E 1 paso Q/E 3 =({q 0,q 2 },{q 1 },{q 3 },{q 4 }) 4. Q/E 3 Q/E 2 paso 2 f 0 1 q 0 q 1 q 2 q 1 q 1 q 3 q 2 q 1 q 2 q 3 q 1 q 4 *q 4 q 1 q Q/E 4 =({q 0,q 2 },{q 1 },{q 3 },{q 4 }) 5. Q/E 4 = Q/E 3 = Q/E TALF. Tema 4 nº 20

21 Minimización de AFD por el conjunto cociente. Ejemplo Autómata mínimo equivalente: M m =({0,1},{c 0,c 1,c 2,c 3 },f m,q om ) Q m =(c 0 ={q 0,q 2 }, c 1 ={q 1 }, c 2 ={q 3 }, c 3 ={q 4 }) f 0 1 f m 0 1 c 0 c 1 c 0 q 0 q 1 q 2 c 1 c 1 c 2 q 1 q 1 q 3 q 2 q 1 q 2 q 3 q 1 q 4 c 2 c 1 c 3 *c 3 c 1 c 0 1 c 0 1 *q 4 q 1 q 2 c c 2 c TALF. Tema 4 nº 21

22 Minimización de Autómatas finitos por tablas. Dado en prácticas. TALF. Tema 4 nº 22

23 Autómatas Finitos No Deterministas. Introducción Un autómata finito es no determinista si: No f(q,a) para algún a desde algún q Q q 0 a q 1 a ={a,b} b q 2 b mas de una f(q,a) desde q Q con a q 0 a q 1 a ={a,b} a q 2 b f(q,λ) q 0 λ q 1 a ={a,b} b q 2 b TALF. Tema 4 nº 23

24 Definición AFND. Un autómata finito no determinista (AFND) es un modelo matemático definido por la quíntupla M=(Q,,f, q 0, F) en el que: Q es un conjunto finito llamado conjunto de estados. es un conjunto finito de símbolos, llamado alfabeto de entrada. f es una aplicación llamada función de transición definida como: f: Q ( λ) P(Q) donde P(Q) es el conjunto de las partes de Q, es decir, conjunto de todos los subconjuntos que se pueden formar con elementos de Q q 0 es un elemento o estado de Q, llamado estado inicial. F es un subconjunto de Q, llamado conjunto de estados finales. TALF. Tema 4 nº 24

25 Representación. Tablas de transición. 0 1 q 0 {q 0,q 1 } {q 0 } q 1 {q 1 } * q 2 {q 2 } 2 {q 1,q 2 } {q 2 } λ {q 0,q 2 } Diagramas de transición. 0,1 0,2 1,2 0 λ,2 q 0 q 1 q 2 λ TALF. Tema 4 nº 25

26 función de transición. Extensión a palabras. Definición λ-clausura: Se llama λ-clausura de un estado al conjunto de estados a los que puede evolucionar sin consumir ninguna entrada, lo denotaremos como CL(q) o λ-clausura(q). CL(q) se define recursivamente: El estado q pertenece a la λ-clausura de q, qcl(q). Si el estado pcl(q) y hay una transición del estado p al estado r etiquetada con una transición nula (λ), entonces r también está en CL(q). Si PQ se llama λ-clausura de un conjunto de estados P a: CL(P)= CL(q) qp Algoritmo para el cálculo de λ-clausura(p) Procedimiento λ-clausura(p) Viejos= Nuevos=P Mientras viejosnuevos hacer Nuevos=viejos {q / f(p i,λ)=q, piviejos} Fmientras λ-clausura(p)=nuevos Fin_procedimiento TALF. Tema 4 nº 26

27 función de transición. Extensión a palabras. Si M=(Q,,f,q 0,F) es un AFND se define la función de transición asociada a palabras como la función f (q 0,λ)=CL(q 0 ) f (P,λ)=P f : Q * P(Q) dada por: f (P,ax)= f ( CL( f(q,a)),x) qp donde PQ, x * y a TALF. Tema 4 nº 27

28 Lenguaje aceptado por un AFND. Una cadena x * es aceptada por un AFND M=(Q,,f,q 0,F) si y solo si f (q 0,x) F En otro caso se dice que la cadena es rechazada por el autómata. Dado un AFND M=(Q,,f,q 0,F) se llama lenguaje aceptado o reconocido por dicho autómata al conjunto de las palabras de * que acepta, L(M)={x * / f (q 0,x)F} TALF. Tema 4 nº 28

29 Simulación algorítmica de un AFND Entrada: cadena de entrada x que termina con un carácter fin de cadena o fin de archivo (FDC). Salida: La respuesta ACEPTADA si el autómata reconoce x NO ACEPTADA en caso contrario Método: aplicar f al estado al cual hay una transición desde el estado q a un carácter de entrada c Función reconocer() A=CL(q 0 ) c= leer_carácter() Mientras c!= FDC A=CL ( f(q,c)) qp c= leer_carácter() fmientras Si A F entonces Devolver(ACEPTADA) Sino Devolver(NO ACEPTADA) fsi TALF. Tema 4 nº 29

30 4.5. Equivalencia entre AFND y AFD A partir de un AFND con estados q 0, q m, construiremos un AFD equivalente (que acepta el mismo lenguaje) con estados Q 0, Q n donde q 0, Q 0, son los estados iniciales. Premisas: Se definió inductivamente el conjunto de estados C = λ-clausura(s): s C. si t C y una transición vacía de t a u entonces u C. Se define el conjunto de estados G = f(s, a) : si una transición etiquetada con a entre s y t entonces t G. Estas definiciones se generalizan para conjuntos de estados S = {... t i... } : Si u λ-clausura(t i ) entonces u λ-clausura(s) Si u f(t i, a) entonces u f(s, a). (f(g,a) son los estados s alcanzables con a desde algún qg) TALF. Tema 4 nº 30

31 4.5. Equivalencia entre AFND y AFD Algoritmo de construcción de la tabla de transiciones del AFD: 1. se crea una nueva tabla T[estado,símbolo], inicialmente vacía. 2. se calcula Q 0 = λ-clausura(q 0 ) 3. se crea una entrada en T para Q para cada casilla vacía T[Q,a] : 1. se asigna T[Q,a] = λ-clausura(f(q,a)) 2. si no existe una entrada en T para el estado T[Q,a], se crea la entrada. 5. se repite 4 mientras existan casillas vacías. TALF. Tema 4 nº 31

32 4.5. Equivalencia entre AFND y AFD. Ejemplo. Ejemplo: 0 a,b λ a 1 a 2 b b λ b a 3 4 a, b a b λ *4 4 4 TALF. Tema 4 nº 32

33 4.5. Equivalencia entre AFND y AFD. Ejemplo. 1. se crea una nueva tabla T[estado,símbolo], inicialmente vacía. 2. se calcula Q 0 = λ-clausura(0) = {0,2} 3. se crea una entrada en T para Q 0. a b λ a b Q 0 4. para cada casilla vacía T[Q,a] : 1. se asigna T[Q,a] = λ-clausura(f(q,a)) *4 4 4 λ-clausura(f(q 0 ={0,2},a))=λ-clausura(0,1)={0,1,2,3}=Q 1 2. si no existe una entrada en T para el estado T[Q,a], se crea la entrada. a b Q 0 Q 1 Q 1 5. se repite 4 mientras existan casillas vacías. TALF. Tema 4 nº 33

34 4.5. Equivalencia entre AFND y AFD. Ejemplo 5. λ-clausura(f(q 0 ={0,2},b))=λ-clausura(1,4)={1,3,4}=Q 2 6. λ-clausura (f(q 1 = {0,1,2,3}, a)) = a b λ-clausura(0,1,2,4)={0,1,2,3,4}=q 3 Q 0 Q 1 Q 2 7. λ-clausura(f(q 1 ={0,1,2,3},b))= λ-clausura(1,4)={1,3,4}=q 2 Q 1 Q 2 8. λ-clausura(f(q 2 ={1,3,4},a))=λ-clausura(2,4)={2,4}=Q 4 9. λ-clausura(f(q 2 ={1,3,4},b))=λ-clausura(1,4)={1,3,4}=Q λ-clausura(f(q 3 ={0,1,2,3,4},a))=λclausura(0,1,2,4)={0,1,2,3,4}=Q λ-clausura(f(q 3 ={0,1,2,3,4},b))=λ-clausura(1,4)={1,3,4}=Q λ-clausura(f(q 4 ={2,4},a))=λ-clausura(0,4)={0,2,4}=Q λ-clausura(f(q 4 ={2,4},b))=λ-clausura(4)={4}=Q λ-clausura(f(q 5 ={0,2,4},a))=λ-clausura(0,2,4)={0,2,4}=Q λ-clausura(f(q 5 ={0,2,4},b))=λ-clausura(1,4)={1,3,4}=Q λ-clausura(f(q 6 ={4},a))=λ-clausura(4)={4}=Q λ-clausura(f(q 6 ={4},b))=λ-clausura(4)={4}=Q 6 TALF. Tema 4 nº 34

35 4.5. Equivalencia entre AFND y AFD. Ejemplo El AFD equivalente es: a b Q 0 Q 1 Q 2 Q 1 Q 3 Q 2 *Q 2 Q 4 Q 2 *Q 3 Q 3 Q 2 *Q 4 Q 5 Q 6 *Q 5 Q 5 Q 2 *Q 6 Q 6 Q 6 TALF. Tema 4 nº 35

Autómatas Deterministas. Ivan Olmos Pineda

Autó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 detalles

Máquinas Secuenciales, Autómatas y Lenguajes. Tema 3.1: Autómatas Finitos Deterministas

Má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 detalles

TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES

TEORÍ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 detalles

Autó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 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 detalles

MODELOS 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. 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 detalles

Máquinas Secuenciales, Autómatas y Lenguajes Formales. Tema 7: Máquinas Transductoras. Holger Billhardt

Máquinas Secuenciales, Autómatas y Lenguajes Formales. Tema 7: Máquinas Transductoras. Holger Billhardt Formales Tema 7: Máquinas Transductoras Holger Billhardt holger.billhardt@urjc.es Sumario: Bloque 3: Otras Máquinas Secuenciales 7. Máquinas Transductoras 1. Concepto y Definición 2. Función respuesta,

Más detalles

Convertir un AFND a un AFD

Convertir un AFND a un AFD Convertir un AFND a un AFD Existe una equivalencia entre los AFD y AFN, de forma que un autómata M es equivalente a un autómata M' si L(M) ) L(M'). Ejemplo: Los autómatas de la siguiente figura son equivalentes.

Más detalles

CONJUNTOS REGULARES. Orlando Arboleda Molina. 19 de Octubre de Escuela de Ingeniería de Sistemas y Computación de La Universidad del Valle

CONJUNTOS REGULARES. Orlando Arboleda Molina. 19 de Octubre de Escuela de Ingeniería de Sistemas y Computación de La Universidad del Valle CONJUNTOS REGULARES Orlando Arboleda Molina Escuela de Ingeniería de Sistemas y Computación de La Universidad del Valle 19 de Octubre de 2008 Contenido Expresiones regulares Teorema de Kleene Autómatas

Más detalles

300CIG007 Computabilidad y Lenguajes Formales: Autómatas Finitos

300CIG007 Computabilidad 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. Qué es un computador? Todos lo sabemos!!!

Más detalles

autómatas finitos y lenguajes regulares LENGUAJES FORMALES Y

autó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 detalles

Máquinas Secuenciales, Autómatas y Lenguajes Formales. Tema 4: Autómatas finitos deterministas. Holger Billhardt holger.billhardt@urjc.

Má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 detalles

MÁQUINAS SECUENCIALES

MÁQUINAS SECUENCIALES MÁUINAS SECUENCIALES 1. Máuinas secuenciales. Definición. 2. Máuina de Mealy. 3. Máuina de Mooe. 4. Repesentación de MS 1. Dos Tablas 2. Una sola tabla 3. Diagamas de tansición 5. Extensión a palabas.

Más detalles

Tema 2: Los Autómatas y su Comportamiento

Tema 2: Los Autómatas y su Comportamiento Departamento de Computación Universidade da Coruña Bisimulación y procesos concurrentes Tema 2: Los Autómatas y su Comportamiento Carmen Alonso Montes carmen@dc.fi.udc.es Noelia Barreira Rodríguez noelia@dc.fi.udc.es

Más detalles

El proceso del Análisis Léxico

El proceso del Análisis Léxico El proceso del Análisis Léxico El proceso de análisis léxico se refiere al trabajo que realiza el scanner con relación al proceso de compilación. El scanner representa una interfaz entre el programa fuente

Más detalles

1. Cadenas EJERCICIO 1

1. 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 detalles

Universidad de Valladolid

Universidad de Valladolid Universidad de Valladolid Departamento de Informática Teoría de autómatas y lenguajes formales. 2 o I.T.Informática. Gestión. Examen de primera convocatoria. 18 de junio de 29 Apellidos, Nombre... Grupo:...

Más detalles

Computabilidad y Lenguajes Formales: Autómatas Finitos

Computabilidad 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 detalles

Autómatas finitos no deterministas (AFnD)

Autó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 detalles

Autómatas Mínimos. Encontrar el autómata mínimo. Universidad de Cantabria. Introducción Minimización de Autómatas Deterministas Resultados Algoritmo

Autómatas Mínimos. Encontrar el autómata mínimo. Universidad de Cantabria. Introducción Minimización de Autómatas Deterministas Resultados Algoritmo Autómatas Mínimos Encontrar el autómata mínimo. Universidad de Cantabria Introducción Dado un lenguaje regular sabemos encontrar un autómata finito. Pero, hay autómatas más sencillos que aceptan el mismo

Más detalles

Departamento 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 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 detalles

Autómatas de Pila y Lenguajes Incontextuales

Autó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 detalles

Tema: Autómatas de Estado Finitos

Tema: 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 detalles

TEORÍ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 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 detalles

PROGRAMA INSTRUCCIONAL AUTOMATAS Y LENGUAJES FORMALES

PROGRAMA INSTRUCCIONAL AUTOMATAS Y LENGUAJES FORMALES UNIVERSIDAD FERMIN TORO VICE RECTORADO ACADEMICO UNIVERSIDAD FACULTAD DE INGENIERIA ESCUELA DE MANTENIMIENTO MECÁNICO ESCUELA DE TELECOMUNICACIONES ESCUELA DE ELÉCTRICA ESCUELA DE COMPUTACIÓN PROGRAMA

Más detalles

TEMA 5. GRAMÁTICAS REGULARES.

TEMA 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 detalles

Fundamentos de Ciencias de la Computación Trabajo Práctico N 2 Lenguajes Libres del Contexto y Sensibles al Contexto Segundo Cuatrimestre de 2002

Fundamentos de Ciencias de la Computación Trabajo Práctico N 2 Lenguajes Libres del Contexto y Sensibles al Contexto Segundo Cuatrimestre de 2002 Departamento de Cs. e Ingeniería de la Computación Universidad Nacional del Sur Ejercicios Fundamentos de Ciencias de la Computación Trabajo Práctico N 2 Lenguajes Libres del Contexto y Sensibles al Contexto

Más detalles

Autómatas Finitos y Lenguajes Regulares

Autómatas Finitos y Lenguajes Regulares 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

Más detalles

PROGRAMACIÓN II AÑO 2009 TALLER 3: TEORÍA DE LENGUAJES Y AUTÓMATAS

PROGRAMACIÓ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 detalles

Introducción a Autómatas Finitos

Introducció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 detalles

Serafín Moral Departamento de Ciencias de la Computación. Modelos de Computación ITema 2: Autómatas Finitos p.1/88

Serafí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 detalles

Capítulo 9. Introducción a los lenguajes formales. Continuar

Capí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 detalles

SSL Guia de Ejercicios

SSL 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 detalles

Tema 2: Autómatas finitos

Tema 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 detalles

Expresiones regulares y derivadas

Expresiones regulares y derivadas Expresiones regulares y derivadas Teoría de Lenguajes 1 er cuatrimestre de 2002 1 Expresiones regulares Las expresiones regulares son expresiones que se utilizan para denotar lenguajes regulares. No sirven

Más detalles

Lenguajes y Compiladores Análisis Sintáctico Parte I. Teoría Lenguajes 1

Lenguajes y Compiladores Análisis Sintáctico Parte I. Teoría Lenguajes 1 Facultad de Ingeniería de Sistemas Lenguajes y Compiladores Análisis Sintáctico Parte I 1 Introducción El analizador sintáctico recibe una secuencia de tokens y decide si la secuencia está correcta o no.

Más detalles

Otras propiedades de los lenguajes regulares

Otras propiedades de los lenguajes regulares Capítulo 3 Otras propiedades de los lenguajes regulares En los dos capítulos anteriores hemos presentado las propiedades básicas de los lenguajes regulares pero no hemos visto cómo se puede demostrar que

Más detalles

AUTÓMATAS DE PILA Y LENGUAJES INDEPENDIENTES DEL CONTEXTO

AUTÓ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 detalles

Temas. Objetivo. Que el estudiante logre: 1) Identificar conceptos constructivos de la Teoría de la Computabilidad. 2) Definir autómatas de pila.

Temas. 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 detalles

Modelos Computacionales

Modelos Computacionales Análisis y Complejidad de Algoritmos Modelos Computacionales Arturo Díaz Pérez El circuito lógico La máquina de estados finitos La máquina de acceso aleatorio La máquina de Turing Compuertas Lógicas Compuerta

Más detalles

Introducción a los Sistemas Secuenciales. Problemas estructurales en un circuito secuencial asíncrono

Introducción a los Sistemas Secuenciales. Problemas estructurales en un circuito secuencial asíncrono Definiciones básicas Autómatas De Mealy De Moore Formas de descripción de un sistema secuencial Diagrama de estado Tabla de flujo Tabla de estado-salida Tabla de transición Proceso de análisis de sistemas

Más detalles

John Venn Matemático y filósofo británico creador de los diagramas de Venn

John 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 detalles

Autómatas Finitos Deterministicos (DFA)

Autómatas Finitos Deterministicos (DFA) Autómatas Finitos Deterministicos (DFA) Introducción a la Lógica Fa.M.A.F., Universidad Nacional de Córdoba 22//4 Info útil Bibliografía: Introducción a la teoría de autómatas, lenguajes y computación.

Más detalles

Nuestro objetivo es demostrar que autómata = lógica Qué significa esto? Queremos encontrar una lógica que defina a los lenguajes regulares

Nuestro 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 detalles

Autómatas Finitos Deterministicos (DFA)

Autómatas Finitos Deterministicos (DFA) Autómatas Finitos Deterministicos (DFA) Introducción a la Lógica y la Computación Fa.M.A.F., Universidad Nacional de Córdoba 26/0/6 Info útil Bibliografía: Introducción a la teoría de autómatas, lenguajes

Más detalles

Unidad 4. Autómatas de Pila

Unidad 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 detalles

Lenguajes Formales y Monoides

Lenguajes Formales y Monoides Universidad de Cantabria Esquema 1 2 3 La operación esencial sobre Σ es la concatenación o adjunción de palabras: : Σ Σ Σ (x, y) x y es decir, si x = x 1 x n e y = y 1 y m, entonces x y = x 1 x n y 1 y

Más detalles

Máquinas de estados finitas 1

Máquinas de estados finitas 1 Máquinas de estados finitas 1 MÁQUINAS DE ESTADOS FINITAS INTRODUCCIÓN Máquinas de estados finitas 2 Evento discreto: ocurrencia de una característica en la evolución de una señal (flanco de subida, paso

Más detalles

Tema 8: Automatismos lógicos

Tema 8: Automatismos lógicos Tema 8: Automatismos lógicos Automatización vs. Control Introducción Automática: ciencia que trata de sustituir en un proceso (o sistema) el operador humano por dispositivos mecánicos o electrónicos. Automatización:

Más detalles

Lenguajes Formales. 27 de octubre de 2005

Lenguajes Formales. 27 de octubre de 2005 Apuntes de Teoría de Autómatas y Lenguajes Formales Gloria Martínez Luis A. García 27 de octubre de 2005 II Índice general 3.1. El Teorema de Myhill-Nerode. Minimización de Autómatas Finitos..... 41 3.2.

Más detalles

Teoría de Lenguajes y Autómatas Conceptos y teoremas fundamentales

Teoría de Lenguajes y Autómatas Conceptos y teoremas fundamentales Se prohíbe la reproducción total o parcial de este documento, excepto para uso privado de los alumnos de la asignatura Teoría de Autómatas I de la UNED y los alumnos de asignaturas equivalentes de otras

Más detalles

Conjuntos. Un conjunto es una colección de objetos. Si a es un objeto y R es un conjunto entonces por. a R. se entiende que a pertenece a R.

Conjuntos. Un conjunto es una colección de objetos. Si a es un objeto y R es un conjunto entonces por. a R. se entiende que a pertenece a R. Conjuntos Un conjunto es una colección de objetos. Si a es un objeto y R es un conjunto entonces por se entiende que a pertenece a R. a R Normalmente, podremos definir a un conjunto de dos maneras: Por

Más detalles

GRAMÁTICAS LIBRES DE CONTEXTO

GRAMÁTICAS LIBRES DE CONTEXTO GRAMÁTICAS LIBRES DE CONTEXTO Definición Una gramática libre de contexto (GLC) es una descripción estructural precisa de un lenguaje. Formalmente es una tupla G=, donde Vn es el conjunto

Más detalles

Procesadores de Lenguaje

Procesadores de Lenguaje Procesadores de Lenguaje Repaso TALF Cristina Tîrnăucă Dept. Matesco, Universidad de Cantabria Fac. Ciencias Ing. Informática Primavera de 2013 La Jerarquía de Chomsky Cuatro niveles de lenguajes formales

Más detalles

Lenguajes y Gramáticas

Lenguajes 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 detalles

En matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la palabra CONJUNTO debe aceptarse

En matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la palabra CONJUNTO debe aceptarse En matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la palabra CONJUNTO debe aceptarse lógicamente como un término no definido. Un conjunto se

Más detalles

Curso Básico de Computación

Curso Básico de Computación Curso Básico de Computación 3 Propiedades de los conjuntos regulares Feliú Sagols Troncoso Matemáticas CINVESTAV-IPN 2010 Curso Básico de Computación (Matemáticas) 3 Propiedades

Más detalles

Teoría de la Computación para Ingeniería de Sistemas: un enfoque práctico. Prof. Hilda Contreras

Teoría de la Computación para Ingeniería de Sistemas: un enfoque práctico. Prof. Hilda Contreras Teoría de la Computación para Ingeniería de Sistemas: un enfoque práctico Prof. Hilda Contreras 15 de abril de 2012 2 Índice general 1. Introducción 5 1.1. Marco histórico de la teoría de la computación..................

Más detalles

Propiedades de lenguajes independientes del contexto

Propiedades de lenguajes independientes del contexto Capítulo 12. Propiedades de lenguajes independientes del contexto 12.1. Identificación de lenguajes independientes del contexto Lema de bombeo. 12.2. Propiedades Cierre, Complemento de lenguajes, Sustitución,

Más detalles

Tema 1: Introducción. Teoría de autómatas y lenguajes formales I

Tema 1: Introducción. Teoría de autómatas y lenguajes formales I Tema 1: Introducción 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 Wesley.

Más detalles

ARITMÉTICA MODULAR. Unidad 1

ARITMÉTICA MODULAR. Unidad 1 Unidad 1 ARITMÉTICA MODULAR 9 Capítulo 1 DE LA TEORÍA DE CONJUNTOS Objetivo general Presentar y afianzar algunos conceptos de la Teoría de Conjuntos relacionados con el estudio de la matemática discreta.

Más detalles

Un autómata con pila no determinista (APND) es una septupla Q A B F en la que

Un autómata con pila no determinista (APND) es una septupla Q A B F en la que AUTÓMATAS CON PILA Un autómata con pila no determinista (APND) es una septupla Q A F en la que δ q 0 Q es un conjunto finito de estados A es un alfabeto de entrada es un alfabeto para la pila δ es la función

Más detalles

Introducción al Procesamiento de Lenguaje Natural

Introducción al Procesamiento de Lenguaje Natural Introducción al Procesamiento de Lenguaje Natural Grupo de PLN - InCo 2011 Expresiones regulares y autómatas finitos English is not a finite state language. (Chomsky 1957) ER y Búsquedas Se requiere: Patrón

Más detalles

DIVERSAS REPRESENTACIONES DE UN AUTÓMATA FINITO DETERMINISTA DIVERSE REPRESENTATIONS OF A DETERMINISTIC FINITE AUTOMATON. Humberto Robles Guzmán 1

DIVERSAS REPRESENTACIONES DE UN AUTÓMATA FINITO DETERMINISTA DIVERSE REPRESENTATIONS OF A DETERMINISTIC FINITE AUTOMATON. Humberto Robles Guzmán 1 DIVERSAS REPRESENTACIONES DE UN AUTÓMATA FINITO DETERMINISTA DIVERSE REPRESENTATIONS OF A DETERMINISTIC FINITE AUTOMATON Humberto Robles Guzmán 1 RESUMEN En este artículo se describen las diversas representaciones

Más detalles

Clase 08: Autómatas finitos

Clase 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 detalles

Ciencias de la Computación I

Ciencias 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 detalles

Tema 2. Análisis léxico

Tema 2. Análisis léxico Departamento de Tecnologías de la Información Tema 2 Análisis léxico Ciencias de la Computación e Inteligencia Artificial Índice 2.1 Introducción 2.2 Especificación de categorías léxicas 2.3 Autómatas

Más detalles

Texto: Hopcroft, J. E., Motwani, R., Ullman, J.D., Introduction to Automata Theory, Languajes, and Computation. 3rd Edition. Addison Wesley, 2007.

Texto: Hopcroft, J. E., Motwani, R., Ullman, J.D., Introduction to Automata Theory, Languajes, and Computation. 3rd Edition. Addison Wesley, 2007. Universidad de Puerto Rico Recinto de Mayagüez Facultad de Artes y Ciencias DEPARTAMENTO DE CIENCIAS MATEMÁTICAS Programa de Autómata y Lenguajes Formales Curso: Autómata y Lenguajes Formales Codificación:

Más detalles

Introducción a los Autómatas Finitos

Introducción a los Autómatas Finitos Teoría de Introducción a los Un modelo de Computación. Universidad de Cantabria Esquema Introducción Teoría de 1 Introducción 2 Teoría de 3 4 5 El Problema Introducción Teoría de Nuestro objetivo en este

Más detalles

Equivalencia Entre PDA y CFL

Equivalencia Entre PDA y CFL Equivalencia Entre PDA y CFL El Lenguaje aceptado por un Autómata con Pila Universidad de Cantabria Esquema 1 Introducción 2 3 Lenguaje Aceptado por un Autómata Como en los autómatas finitos, se puede

Más detalles

Ejemplo de demostración de que cierto lenguaje es el lenguaje aceptado por un AFND.

Ejemplo de demostración de que cierto lenguaje es el lenguaje aceptado por un AFND. Ejemplo de demostración de que cierto lenguaje es el lenguaje aceptado por un AFND. Sea el siguiente autómata finito no determinista M: c q0 a b q1 b q2 Sea L = {x {a, b, c} /x es de la forma a(ba) k bc

Más detalles

Inducción en definiciones y demostraciones AUTÓMATAS Y LENGUAJES FORMALES PRELIMINARES MATEMÁTICOS. Números naturales. Inducción matemática

Inducción en definiciones y demostraciones AUTÓMATAS Y LENGUAJES FORMALES PRELIMINARES MATEMÁTICOS. Números naturales. Inducción matemática Inducción en definiciones y demostraciones AUTÓMATAS Y LENGUAJES FORMALES PRELIMINARES MATEMÁTICOS Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@ciencias.unam.mx

Más detalles

TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Práctica 3

TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Práctica 3 TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Práctica 3 1. Equivalencia entre autómatas 1.1. Equivalencia entre AFD y AFN 1.1. Equivalencia entre AFD y AFλ 2. Ejercicios propuestos 1. Equivalencia entre autómatas

Más detalles

Tema 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 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 detalles

Examen. Pontificia Universidad Católica de Chile Escuela de Ingeniería Departamento de Ciencia de la Computación. Segundo Semestre, 2003.

Examen. 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 detalles

6. Autómatas a Pila. Grado Ingeniería InformáDca Teoría de Autómatas y Lenguajes Formales

6. Autómatas a Pila. Grado Ingeniería InformáDca Teoría de Autómatas y Lenguajes Formales 6. Autómatas a Pila Araceli Sanchis de Miguel Agapito Ledezma Espino José A. Iglesias Mar

Más detalles

Teoría de Conjuntos y Conjuntos Numéricos

Teoría de Conjuntos y Conjuntos Numéricos Teoría de Conjuntos y Conjuntos Numéricos U N I V E R S I D A D D E P U E R T O R I C O E N A R E C I B O D E P A R T A M E N T O DE M A T E M Á T I C A S P R O F A. Y U I T Z A T. H U M A R Á N M A R

Más detalles

El Autómata con Pila

El Autómata con Pila El Autómata con Pila Una Generalización del Autómata Finito Universidad de Cantabria Esquema 1 2 3 4 Los autómatas son abstracciones de maquinas de calcular, como hemos visto. Los más sencillos no tienen

Más detalles

Expresiones regulares, gramáticas regulares

Expresiones 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 detalles

Compiladores: Análisis Sintáctico. Pontificia Universidad Javeriana Cali Ingenieria de Sistemas y Computación Prof. Gloria Inés Alvarez V.

Compiladores: Análisis Sintáctico. Pontificia Universidad Javeriana Cali Ingenieria de Sistemas y Computación Prof. Gloria Inés Alvarez V. Compiladores: Análisis Sintáctico Pontificia Universidad Javeriana Cali Ingenieria de Sistemas y Computación Prof. Gloria Inés Alvarez V. Análizador Sintáctico de abajo hacia arriba Es un proceso de Reducción,

Más detalles

Analizador De léxico. V A R i : I N T E G E R ; \n...

Analizador De léxico. V A R i : I N T E G E R ; \n... UNIDAD III Analisis de Lexico 3.1 Analizador de Lexico La tarea del análisis de léxico es reconocer símbolos en un flujo de caracteres y presentarlos en una representación mas util para el análisis sintáctico.

Más detalles

Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos

Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo Complementos Contenidos Clase 1: Elementos de lógica: Conectivos, tablas de verdad, tautologías y contingencias.

Más detalles

Lección No.4: Relación de equivalencia

Lección No.4: Relación de equivalencia Sol: B-A1, c, (A B) c 3, e y (A B) c 1, c, 3, d, 4, e,5 Ejercicio 2: Si U 1,2,3,4,5,6,7,8,9, A 3,7,9, B 1,3,4,5 y C 1, 5,8 encontrar (A B) (BC) -A y C c Sol: A B BC -A1,5} y C c = {2,3,4,6,7,9}. Lección

Más detalles

Grafos. Suponiendo que e = [u, v]. Entonces los nodos u y v se llaman extremos de e y u y v se dice que son nodos adyacentes o vecinos.

Grafos. Suponiendo que e = [u, v]. Entonces los nodos u y v se llaman extremos de e y u y v se dice que son nodos adyacentes o vecinos. Grafos Los grafos son estructuras que constan de vértices o nodos y de aristas o arcos que conectan los vértices entre sí. Un grafo G consiste en dos cosas: 1. Un conjunto V de elementos llamados nodos

Más detalles

PONTIFICIA UNIVERSIDAD CATOLICA DEL ECUADOR FACULTAD DE INGENIERIA ESCUELA DE INGENIERIA DE SISTEMAS

PONTIFICIA UNIVERSIDAD CATOLICA DEL ECUADOR FACULTAD DE INGENIERIA ESCUELA DE INGENIERIA DE SISTEMAS PONTIFICIA UNIVERSIDAD CATOLICA DEL ECUADOR FACULTAD DE INGENIERIA ESCUELA DE INGENIERIA DE SISTEMAS 1. DATOS INFORMATIVOS MATERIA: DISEÑO DE LENGUAJES Y AUTOMATAS: CARRERA: INGENIERÍA DE SISTEMAS NIVEL:

Más detalles

UNIVERSIDAD NACIONAL DE EDUCACIÓN A DISTANCIA Escuela Técnica Superior de Ingeniería Informática Procesadores de Lenguajes. Tema 2.

UNIVERSIDAD NACIONAL DE EDUCACIÓN A DISTANCIA Escuela Técnica Superior de Ingeniería Informática Procesadores de Lenguajes. Tema 2. UNIVERSIDAD NACIONAL DE EDUCACIÓN A DISTANCIA Escuela Técnica Superior de Ingeniería Informática Procesadores de Lenguajes Tema 2 Análisis Léxico Javier Vélez Reyes jvelez@lsi.uned.es Objetivos del Tema

Más detalles

Clase 17: Autómatas de pila

Clase 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 detalles

7. PROGRAMACION LINEAL

7. PROGRAMACION LINEAL 7. PROGRAMACION LINEAL 7.1. INTRODUCCION A LA PROGRMACION LINEAL 7.2. FORMULACION DE UN PROBLEMA LINEAL 7.3. SOLUCION GRAFICA DE UN PROBLEMA LINEAL 7.4. CASOS ESPECIALES DE PROBLEMAS LINEALES 7.4.1. Problemas

Más detalles

Apuntes de Teoría de Autómatas y Lenguajes Formales. Gloria Martínez

Apuntes de Teoría de Autómatas y Lenguajes Formales. Gloria Martínez Apuntes de Teoría de Autómatas y Lenguajes Formales Gloria Martínez Luis A. García 11 de octubre de 2005 Índice general 1. Introducción 1 1.1. Alfabetos y Cadenas.............................. 1 1.2.

Más detalles

Teoría de la Computación para Ingeniería de Sistemas: un enfoque práctico. Prof. Hilda Contreras

Teoría de la Computación para Ingeniería de Sistemas: un enfoque práctico. Prof. Hilda Contreras Teoría de la Computación para Ingeniería de Sistemas: un enfoque práctico Prof. Hilda Contreras 25 de abril de 2012 Índice general 1. Expresiones regulares 5 1.0.1. Denición de las expresiones regulares...................

Más detalles

CORPORACION UNIFICACADA NACIONAL DE EDUCACION SUPERIOR CUN- DEPARTAMENTO DE CIENCIAS BÁSICAS: PENSAMIENTO LOGICO-MATEMATICO

CORPORACION UNIFICACADA NACIONAL DE EDUCACION SUPERIOR CUN- DEPARTAMENTO DE CIENCIAS BÁSICAS: PENSAMIENTO LOGICO-MATEMATICO CORPORACION UNIICACADA NACIONAL DE EDUCACION SUPERIOR CUN- DEPARTAMENTO DE CIENCIAS BÁSICAS: PENSAMIENTO LOGICO-MATEMATICO Proposiciones Lógicas DOC. YAMILE MEDINA CASTAÑEDA GUIA N 2: LOGICA Una proposición

Más detalles

Algoritmos. Medios de expresión de un algoritmo. Diagrama de flujo

Algoritmos. Medios de expresión de un algoritmo. Diagrama de flujo Algoritmos En general, no hay una definición formal de algoritmo. Muchos autores los señalan como listas de instrucciones para resolver un problema abstracto, es decir, que un número finito de pasos convierten

Más detalles

Analizador Léxico. Programación II Margarita Álvarez. Analizador Léxico - Funciones

Analizador Léxico. Programación II Margarita Álvarez. Analizador Léxico - Funciones Analizador Léxico Programación II Margarita Álvarez Analizador Léxico - Funciones Función Principal Leer carácter por carácter de la entrada y elaborar como salida una secuencia de componentes léxicos

Más detalles

GRAMATICAS LIBRES DEL CONTEXTO

GRAMATICAS LIBRES DEL CONTEXTO GRMTICS LIBRES DEL CONTEXTO Estas gramáticas, conocidas también como gramáticas de tipo 2 o gramáticas independientes del contexto, son las que generan los lenguajes libres o independientes del contexto.

Más detalles

Máquinas de Estados Finitos

Máquinas de Estados Finitos Máquinas de Estados Finitos Breve Introducción Jorge Alejandro Gutiérrez Orozco Escuela Superior de Cómputo 22 de agosto de 2008 Resumen Hablaremos de algunas de las más comunes Máquinas de Estados Fintos,

Más detalles

El Autómata con Pila: Transiciones

El Autómata con Pila: Transiciones El Autómata con Pila: Transiciones El Espacio de Configuraciones Universidad de Cantabria Esquema Introducción 1 Introducción 2 3 Transiciones Necesitamos ahora definir, paso por paso, como se comporta

Más detalles

Clase 09: AFN, AFD y Construcción de Thompson

Clase 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 detalles

I) La pendiente de PS es cero. II) La pendiente de RQ es negativa. III) La pendiente de SR NO es un número real.

I) La pendiente de PS es cero. II) La pendiente de RQ es negativa. III) La pendiente de SR NO es un número real. Programa Estándar Anual Nº Guía práctica Ecuación de la recta en el plano cartesiano Ejercicios PSU 1. En la figura, PQRS es un trapecio. Entonces, cuál(es) de las siguientes afirmaciones es (son) verdadera(s)?

Más detalles

ALGORITMOS DIGITALES II. Ing. Hugo Fdo. Velasco Peña Universidad Nacional 2006

ALGORITMOS DIGITALES II. Ing. Hugo Fdo. Velasco Peña Universidad Nacional 2006 ALGORITMOS DIGITALES II Ing. Hugo Fdo. Velasco Peña Universidad Nacional 2006 OBJETIVOS Conocer los principios básicos de los algoritmos. Establecer paralelos entre los algoritmos, los programas y las

Más detalles

Tema 4: Gramáticas independientes del contexto. Teoría de autómatas y lenguajes formales I

Tema 4: Gramáticas independientes del contexto. Teoría de autómatas y lenguajes formales I Tema 4: Gramáticas independientes del contexto 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.

Más detalles

TEMA 5 El tipo grafo. Tipo grafo

TEMA 5 El tipo grafo. Tipo grafo TEMA 5 El tipo grafo PROGRAMACIÓN Y ESTRUCTURAS DE DATOS Tipo grafo 1. Concepto de grafo y terminología 2. Especificación algebraica. Representación de grafos.1. Recorrido en profundidad o DFS.2. Recorrido

Más detalles