Introducción a la Teoría de Autómatas, Lenguajes y Computación
|
|
- Alejandro Soriano Romero
- hace 6 años
- Vistas:
Transcripción
1 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 / 53
2 Capítulo 2 Autómatas Finitos 2 / 53
3 1 Autómatas Finitos Autómatas Finitos Deterministas (AFD) Como un AFD Procesa Cadenas Diagramas y Tablas de Transición Extensión de la Función de Transición a Cadenas Lenguaje de un AFD Autómatas Finitos No Deterministas (AFND) 3 / 53
4 Autómatas Finitos Deterministas (AFD) Definición de AFD Definición Un AFD es una quíntupla A = (Q, Σ, δ, q 0, F ) 1 Q es un conjunto finito de estados. 2 Σ es un alfabeto finito, los símbolos de entrada. 3 δ : Q Σ Q es una función de transición δ(q, a) = p. 4 q 0 Q es el estado de inicio. 5 F Q es el conjunto de estado aceptados o finales. 4 / 53
5 Como un AFD Procesa Cadenas Procesamiento de Cadenas por un AFD Sea A AFD y w = a 1 a 2 a n una cadena de entrada para A. 5 / 53
6 Como un AFD Procesa Cadenas Procesamiento de Cadenas por un AFD Sea A AFD y w = a 1 a 2 a n una cadena de entrada para A. Iniciamos con A en su estado q 0, δ(q 0, a 1 ) = q 1. 6 / 53
7 Como un AFD Procesa Cadenas Procesamiento de Cadenas por un AFD Sea A AFD y w = a 1 a 2 a n una cadena de entrada para A. Iniciamos con A en su estado q 0, δ(q 0, a 1 ) = q 1. Procesamos a 2, δ(q 1, a 2 ) = q 2 y continuamos encontrando q 3, q 4,..., q n. 7 / 53
8 Como un AFD Procesa Cadenas Procesamiento de Cadenas por un AFD Sea A AFD y w = a 1 a 2 a n una cadena de entrada para A. Iniciamos con A en su estado q 0, δ(q 0, a 1 ) = q 1. Procesamos a 2, δ(q 1, a 2 ) = q 2 y continuamos encontrando q 3, q 4,..., q n. δ(q i 1, a i ) = q i para cada i. 8 / 53
9 Como un AFD Procesa Cadenas Procesamiento de Cadenas por un AFD Sea A AFD y w = a 1 a 2 a n una cadena de entrada para A. Iniciamos con A en su estado q 0, δ(q 0, a 1 ) = q 1. Procesamos a 2, δ(q 1, a 2 ) = q 2 y continuamos encontrando q 3, q 4,..., q n. δ(q i 1, a i ) = q i para cada i. Si q n F diremos que la entrada w = a 1 a 2 a n es aceptada sino es rechazada 9 / 53
10 Como un AFD Procesa Cadenas Lenguaje de un AFD Definición El lenguaje de un AFD es el conjunto de todas las cadenas w que el AFD acepta. 10 / 53
11 Como un AFD Procesa Cadenas Ejemplo 1 Ejemplo Especificar formalmente un AFD que acepte únicamente cadenas que tenga 0 s y 1 s conteniendo la subcadena 01 en alguna parte de la cadena L = {x01y x, y {0, 1} } Las siguientes cadenas pertenecen a L: 01, 11010, 1001, / 53
12 Como un AFD Procesa Cadenas Ejemplo 1 Ejemplo Especificar formalmente un AFD que acepte únicamente cadenas que tenga 0 s y 1 s conteniendo la subcadena 01 en alguna parte de la cadena L = {x01y x, y {0, 1} } Las siguientes cadenas pertenecen a L: 01, 11010, 1001, Las siguientes cadenas no pertenecen a L: ɛ, 0, / 53
13 Como un AFD Procesa Cadenas Ejemplo 1, continuación (1/3) Qué es lo que debemos conocer para definir el autómata que acepta al lenguaje L? 1 Sus estados Q. 13 / 53
14 Como un AFD Procesa Cadenas Ejemplo 1, continuación (1/3) Qué es lo que debemos conocer para definir el autómata que acepta al lenguaje L? 1 Sus estados Q. 2 Su estado de inicio q / 53
15 Como un AFD Procesa Cadenas Ejemplo 1, continuación (1/3) Qué es lo que debemos conocer para definir el autómata que acepta al lenguaje L? 1 Sus estados Q. 2 Su estado de inicio q 0. 3 Su alfabeto Σ = {0, 1}. 15 / 53
16 Como un AFD Procesa Cadenas Ejemplo 1, continuación (1/3) Qué es lo que debemos conocer para definir el autómata que acepta al lenguaje L? 1 Sus estados Q. 2 Su estado de inicio q 0. 3 Su alfabeto Σ = {0, 1}. 4 Su conjunto de estado aceptados. 16 / 53
17 Como un AFD Procesa Cadenas Ejemplo 1, continuación (2/3) El autómata debe tener la capacidad de reconocer si 01 es una subcadena de la cadena de entrada. 1 q 0 : Si la cadena de entrada es ɛ permanecemos en q 0, δ(q 0, ɛ) = q 0. Si la cadena de entrada es 1 permanecemos en q 0, δ(q 0, 1) = q / 53
18 Como un AFD Procesa Cadenas Ejemplo 1, continuación (2/3) El autómata debe tener la capacidad de reconocer si 01 es una subcadena de la cadena de entrada. 1 q 0 : Si la cadena de entrada es ɛ permanecemos en q 0, δ(q 0, ɛ) = q 0. Si la cadena de entrada es 1 permanecemos en q 0, δ(q 0, 1) = q 0. 2 q 1 : Ya se detecto la cadena 01, se acepta entonces toda sucesión posterior de entradas, δ(q 1, 0) = δ(q 1, 1) = q / 53
19 Como un AFD Procesa Cadenas Ejemplo 1, continuación (2/3) El autómata debe tener la capacidad de reconocer si 01 es una subcadena de la cadena de entrada. 1 q 0 : Si la cadena de entrada es ɛ permanecemos en q 0, δ(q 0, ɛ) = q 0. Si la cadena de entrada es 1 permanecemos en q 0, δ(q 0, 1) = q 0. 2 q 1 : Ya se detecto la cadena 01, se acepta entonces toda sucesión posterior de entradas, δ(q 1, 0) = δ(q 1, 1) = q 1. 3 q 2 : No se ha detectado la cadena 01 pero la entrada mas reciente ha sido un 0. Luego si vemos un 1 se tendrá la cadena 01, δ(q 2, 0) = q 2, δ(q 2, 1) = q 1 19 / 53
20 Como un AFD Procesa Cadenas Ejemplo 1, continuación (3/3) Qué es lo que debemos conocer para definir el autómata que acepta al lenguaje L? 1 Sus estados Q = {q 0, q 1, q 2 } 20 / 53
21 Como un AFD Procesa Cadenas Ejemplo 1, continuación (3/3) Qué es lo que debemos conocer para definir el autómata que acepta al lenguaje L? 1 Sus estados Q = {q 0, q 1, q 2 } 2 Su estado de inicio q / 53
22 Como un AFD Procesa Cadenas Ejemplo 1, continuación (3/3) Qué es lo que debemos conocer para definir el autómata que acepta al lenguaje L? 1 Sus estados Q = {q 0, q 1, q 2 } 2 Su estado de inicio q 0. 3 Su alfabeto Σ = {0, 1}. 22 / 53
23 Como un AFD Procesa Cadenas Ejemplo 1, continuación (3/3) Qué es lo que debemos conocer para definir el autómata que acepta al lenguaje L? 1 Sus estados Q = {q 0, q 1, q 2 } 2 Su estado de inicio q 0. 3 Su alfabeto Σ = {0, 1}. 4 Su conjunto de estado aceptados: F = {q 1 }. 23 / 53
24 Diagramas y Tablas de Transición Definición Diagramas de Transición Definición Un diagrama de transición de AFD A = (Q, Σ, δ, q 0, F ) es un grafo que cumple con las siguientes condiciones 1 Para cada q Q existe un nodo. 24 / 53
25 Diagramas y Tablas de Transición Definición Diagramas de Transición Definición Un diagrama de transición de AFD A = (Q, Σ, δ, q 0, F ) es un grafo que cumple con las siguientes condiciones 1 Para cada q Q existe un nodo. 2 Para cada q Q y a Σ, sea δ(q, a) = p. Entonces el diagrama de transición tiene un arco que va del nodo q al nodo p cuya etiqueta es a. 25 / 53
26 Diagramas y Tablas de Transición Definición Diagramas de Transición Definición Un diagrama de transición de AFD A = (Q, Σ, δ, q 0, F ) es un grafo que cumple con las siguientes condiciones 1 Para cada q Q existe un nodo. 2 Para cada q Q y a Σ, sea δ(q, a) = p. Entonces el diagrama de transición tiene un arco que va del nodo q al nodo p cuya etiqueta es a. 3 Hay una flecha entrando al estado q 0 cuya etiqueta es Inicio. 26 / 53
27 Diagramas y Tablas de Transición Definición Diagramas de Transición Definición Un diagrama de transición de AFD A = (Q, Σ, δ, q 0, F ) es un grafo que cumple con las siguientes condiciones 1 Para cada q Q existe un nodo. 2 Para cada q Q y a Σ, sea δ(q, a) = p. Entonces el diagrama de transición tiene un arco que va del nodo q al nodo p cuya etiqueta es a. 3 Hay una flecha entrando al estado q 0 cuya etiqueta es Inicio. 4 Los nodos correspondientes a los estados aceptados, F, son marcados por un círculo doble. Los estado que no pertenecen a F tienen un círculo simple. 27 / 53
28 Diagramas y Tablas de Transición Definición de Tablas de Transición Definición Una tabla de transición es una representación tabular convencional de la función δ. Los renglones de la tabla corresponden a los estados y las columnas corresponden a las entradas. La entrada para el renglón correspondiente al estado q y columna correspondiente a la entrada a es el estado δ(q, a). 28 / 53
29 Diagramas y Tablas de Transición Ejemplo de Diagramas y Tablas de Transición Diagrama y tabla de transición del ejemplo 1. A = {{q 0, q 1, q 2 }, {0, 1}, δ, q 0, {q 1 }} Figura: Diagrama de transición Figura: Tabla de transición 29 / 53
30 Extensión de la Función de Transición a Cadenas Extensión de la Función de Transición a Cadenas La función de transición δ : Q Σ Q se puede extender para que actúe sobre estados y cadenas 30 / 53
31 Extensión de la Función de Transición a Cadenas Extensión de la Función de Transición a Cadenas La función de transición δ : Q Σ Q se puede extender para que actúe sobre estados y cadenas A la función extendida la denotaremos por ˆδ. 31 / 53
32 Extensión de la Función de Transición a Cadenas Extensión de la Función de Transición a Cadenas La función de transición δ : Q Σ Q se puede extender para que actúe sobre estados y cadenas A la función extendida la denotaremos por ˆδ. La definición de ˆδ se hace por inducción sobre la longitud de la cadena de entrada. 32 / 53
33 Extensión de la Función de Transición a Cadenas Definición de la Función de Transición Extendida 1 Definimos donde ɛ es la cadena vacía. ˆδ(q, ɛ) = q, 33 / 53
34 Extensión de la Función de Transición a Cadenas Definición de la Función de Transición Extendida 1 Definimos donde ɛ es la cadena vacía. ˆδ(q, ɛ) = q, 2 Sea w cualquier cadena tal que w = 1, suponga que w = a. Definimos ˆδ(q, w) = δ ( ˆδ(q, ɛ), a ) = δ (q, a) = p 1 34 / 53
35 Extensión de la Función de Transición a Cadenas Definición de la Función de Transición Extendida 1 Definimos donde ɛ es la cadena vacía. ˆδ(q, ɛ) = q, 2 Sea w cualquier cadena tal que w = 1, suponga que w = a. Definimos ˆδ(q, w) = δ ( ˆδ(q, ɛ), a ) = δ (q, a) = p 1 3 Sea w cualquier cadena tal que w = 2, suponga que w = ba. Entonces ˆδ(q, ba) = δ ( ˆδ(q, b), a ) = δ (p, a) = p 2, donde estamos suponiendo que ˆδ(q, b) = p. 35 / 53
36 Extensión de la Función de Transición a Cadenas Inducción Suponga que la definición de ˆδ es válida para cualquier cadena de longitud n y tomemos una cadena arbitraria de longitud n + 1. Supongamos que la cadena es w = xa, donde x = n y a = 1, entonces ˆδ(q, xa) = δ ( ˆδ(q, x), a ) = δ (p, a) = p 3, estamos suponiendo que ˆδ(q, x) = p por hipótesis de inducción. 36 / 53
37 Lenguaje de un AFD Definición Formal de Lenguaje para un AFD Definición Formalmente el lenguaje (aceptado) de un AFD A = (Q, Σ, δ, q 0, F ) es L(A) = { w ˆδ(q 0, w) F } Definición Los lenguajes aceptados por los AFD son llamados lenguajes regulares. 37 / 53
38 Lenguaje de un AFD Ejemplo 2 de AFD 1 Diseño de un AFD que acepta únicamente cadenas con un número par de 0 s y un número par de 1 s. 38 / 53
39 Lenguaje de un AFD Ejemplo 2 de AFD 1 Diseño de un AFD que acepta únicamente cadenas con un número par de 0 s y un número par de 1 s. 2 El lenguaje aceptado del AFD es L = { w w tiene un número par de 0 s y de 1 s }. 39 / 53
40 Lenguaje de un AFD Ejemplo 2 de AFD 1 Diseño de un AFD que acepta únicamente cadenas con un número par de 0 s y un número par de 1 s. 2 El lenguaje aceptado del AFD es L = { w w tiene un número par de 0 s y de 1 s }. 3 q 0 : El número de 0 s y 1 s vistos hasta el momento es par. 40 / 53
41 Lenguaje de un AFD Ejemplo 2 de AFD 1 Diseño de un AFD que acepta únicamente cadenas con un número par de 0 s y un número par de 1 s. 2 El lenguaje aceptado del AFD es L = { w w tiene un número par de 0 s y de 1 s }. 3 q 0 : El número de 0 s y 1 s vistos hasta el momento es par. 4 q 1 : El número de 0 s vistos hasta el momento es par pero los 1 s son impares. 41 / 53
42 Lenguaje de un AFD Ejemplo 2 de AFD 1 Diseño de un AFD que acepta únicamente cadenas con un número par de 0 s y un número par de 1 s. 2 El lenguaje aceptado del AFD es L = { w w tiene un número par de 0 s y de 1 s }. 3 q 0 : El número de 0 s y 1 s vistos hasta el momento es par. 4 q 1 : El número de 0 s vistos hasta el momento es par pero los 1 s son impares. 5 q 2 : El número de 1 s vistos hasta el momento es par pero los 0 s son impares. 42 / 53
43 Lenguaje de un AFD Ejemplo 2 de AFD 1 Diseño de un AFD que acepta únicamente cadenas con un número par de 0 s y un número par de 1 s. 2 El lenguaje aceptado del AFD es L = { w w tiene un número par de 0 s y de 1 s }. 3 q 0 : El número de 0 s y 1 s vistos hasta el momento es par. 4 q 1 : El número de 0 s vistos hasta el momento es par pero los 1 s son impares. 5 q 2 : El número de 1 s vistos hasta el momento es par pero los 0 s son impares. 6 q 3 : El número de 0 s y 1 s vistos hasta el momento es impar. 43 / 53
44 Lenguaje de un AFD Diagrama y Tabla de Transición del Ejemplo 2 Un AFD que acepta únicamente cadenas con un número par de 0 s y un número par de 1 s A = {{q 0, q 1, q 2, q 3, q 4 }, {0, 1}, δ, q 0, {q 0 }} 44 / 53
45 Autómatas Finitos No Deterministas (AFND) Autómatas Finitos No Deterministas (AFND) Un AFND puede estar en varios estados al mismo tiempo. Capacidad de adivinar algo relacionado con su entrada. 45 / 53
46 Autómatas Finitos No Deterministas (AFND) Autómatas Finitos No Deterministas (AFND) Un AFND puede estar en varios estados al mismo tiempo. Capacidad de adivinar algo relacionado con su entrada. [Ejemplo 1 AFND] Considere el AFND que acepta todas las cadenas formadas de 0 s y 1 s pero que terminan en / 53
47 Autómatas Finitos No Deterministas (AFND) Definición de AFND Definición Un AFND es una quíntupla A = (Q, Σ, δ, q 0, F ) 1 Q es un conjunto finito de estados. 47 / 53
48 Autómatas Finitos No Deterministas (AFND) Definición de AFND Definición Un AFND es una quíntupla A = (Q, Σ, δ, q 0, F ) 1 Q es un conjunto finito de estados. 2 Σ es un alfabeto finito, los símbolos de entrada. 48 / 53
49 Autómatas Finitos No Deterministas (AFND) Definición de AFND Definición Un AFND es una quíntupla A = (Q, Σ, δ, q 0, F ) 1 Q es un conjunto finito de estados. 2 Σ es un alfabeto finito, los símbolos de entrada. 3 q 0 Q, el estado de inicio. 49 / 53
50 Autómatas Finitos No Deterministas (AFND) Definición de AFND Definición Un AFND es una quíntupla A = (Q, Σ, δ, q 0, F ) 1 Q es un conjunto finito de estados. 2 Σ es un alfabeto finito, los símbolos de entrada. 3 q 0 Q, el estado de inicio. 4 F Q, los estados aceptados 50 / 53
51 Autómatas Finitos No Deterministas (AFND) Definición de AFND Definición Un AFND es una quíntupla A = (Q, Σ, δ, q 0, F ) 1 Q es un conjunto finito de estados. 2 Σ es un alfabeto finito, los símbolos de entrada. 3 q 0 Q, el estado de inicio. 4 F Q, los estados aceptados 5 δ : Q Σ 2 Q, la función de transición. 51 / 53
52 Autómatas Finitos No Deterministas (AFND) Especificación Formal del Ejemplo 1 AFND 1 A = {{q, q, q}, {0, 1}, δ, q 0, {q 2 }} 52 / 53
53 Autómatas Finitos No Deterministas (AFND) Especificación Formal del Ejemplo 1 AFND 1 A = {{q, q, q}, {0, 1}, δ, q 0, {q 2 }} 2 La función de transición δ está dada por 53 / 53
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 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 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 detallesAutó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 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 detallesAutómatas de Pila. Descripciones instantáneas o IDs. El Lenguaje de PDA. Equivalencia entre PDAs y CFGs INAOE (INAOE) 1 / 50
INAOE (INAOE) 1 / 50 Contenido 1 2 3 4 (INAOE) 2 / 50 Pushdown Automata Las gramáticas libres de contexto tienen un tipo de autómata que las define llamado pushdown automata. Un pushdown automata (PDA)
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 detalles5 Autómatas de pila 5.1 Descripción informal. 5.2 Definiciones
1 Curso Básico de Computación 5 Autómatas de pila 5.1 Descripción informal Un autómata de pila es esencialmente un autómata finito que controla una cinta de entrada provista de una cabeza de lectura y
Más detallesAlgebra Lineal. Gustavo Rodríguez Gómez. Verano 2011 INAOE. Gustavo Rodríguez Gómez (INAOE) Algebra Lineal Verano / 21
Algebra Lineal Gustavo Rodríguez Gómez INAOE Verano 2011 Gustavo Rodríguez Gómez (INAOE) Algebra Lineal Verano 2011 1 / 21 Espacios Vectoriales Espacios Vectoriales INAOE Gustavo Rodríguez Gómez (INAOE)
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 detallesEquivalencia 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 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 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 detallesInterrogación 2. 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 Interrogación 2 IIC 2222 Teoría de Autómatas y Lenguajes Formales Segundo Semestre, 2003 Esta interrogación
Más detallesEl 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 detallesPaso 1: Autómata. A 1 sin estados inútiles, que reconoce el lenguaje denotado por a a* b*
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 detallesExpresiones Regulares y Derivadas Formales
y Derivadas Formales Las Derivadas Sucesivas. Universidad de Cantabria Esquema 1 2 3 Derivadas Sucesivas Recordemos que los lenguajes de los prefijos dan información sobre los lenguajes. Derivadas Sucesivas
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 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 detallesInducció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 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 detallesConjuntos. 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 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 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 detallesProcesadores 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 detallesGramáticas independientes del contexto AUTÓMATAS Y LENGUAJES FORMALES LENGUAJES INDEPENDIENTES DEL CONTEXTO Y AUTÓMATAS DE PILA. Otras definiciones I
Gramáticas independientes del contexto UTÓMTS Y LENGUJES FORMLES LENGUJES INDEPENDIENTES DEL CONTEXTO Y UTÓMTS DE PIL Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNM E-mail:
Más detallesTEORÍ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 detallesAutó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 detallesPROGRAMA 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 detallesIntroducció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 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 detallesEl 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 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 detallesUna cadena sobre Σ es cualquier secuencia de elementos de longitud finita sobre Σ.
Alfabetos, Cadenas y Lenguajes Definición 1 Un Alfabeto es cualquier conjunto finito, no vacío. Ejemplo 1 Sea Σ = {0, 1, 2, 3,..., 9} donde 0 Σ Definición 2 Una cadena sobre Σ es cualquier secuencia de
Más detallesConvertir 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 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 detallesTeoría de Autómatas, Lenguajes Formales y Gramáticas. David Castro Esteban
Teoría de Autómatas, Lenguajes Formales y Gramáticas David Castro Esteban Copyright c 2003 2004 David Castro Esteban. Permission is granted to copy, distribute and/or modify this document under the terms
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 detallesAutómatas Finitos. Leopoldo Altamirano, Eduardo Morales. Verano, 2011 INAOE. Introducción a. Autómatas. Definición formal de un. Finito Determinístico
los s s s s Leopoldo Altamirano, Eduardo Morales INAOE Verano, 2011 (INAOE) Verano, 2011 1 / 60 Contenido los s s 1 los s 2 3 4 s 5 (INAOE) Verano, 2011 2 / 60 los s los s los s s : Conjunto de estados
Más detallesTema 5 Lenguajes independientes del contexto. Sintaxis
Tema 5 Lenguajes independientes del contexto. Sintaxis 1 Gramáticas independientes del contexto Transformación de gramáticas independientes del contexto Autómatas de pila Obtención de un autómata de pila
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 detallesUNIDAD II: TEORÍA DE CONJUNTOS 2.1. INTRODUCCIÓN
UNDD : TEORÍ DE CONJUNTOS 2.1. NTRODUCCÓN Según Georg Cantor un conjunto es la reunión, agrupación o colección de elementos bien definidos que tienen una propiedad en común, concepto que ha penetrado y
Más detallesFundamentos 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 detallesMáquinas de Turing IIC3242. IIC3242 Máquinas de Turing 1 / 42
Máquinas de Turing IIC3242 IIC3242 Máquinas de Turing 1 / 42 Complejidad Computacional Objetivo: Medir la complejidad computacional de un problema. Vale decir: Medir la cantidad de recursos computacionales
Más detallesTEORÍA DE CONJUNTOS.
TEORÍA DE CONJUNTOS. NOCIÓN DE CONJUNTO: Concepto no definido del cual se tiene una idea subjetiva y se le asocian ciertos sinónimos tales como colección, agrupación o reunión de objetos abstractos o concretos.
Más detallesTeoría de Autómatas y Lenguajes Formales. Introducción a las Gramáticas. Gramáticas incontextuales
Teoría de utómatas y Lenguajes Formales Introducción a las ramáticas. ramáticas incontextuales José M. Sempere Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia Introducción
Más detallesGRAMATICAS 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 detallesMáquinas de Turing IIC3242. IIC3242 Máquinas de Turing 1 / 45
Máquinas de Turing IIC3242 IIC3242 Máquinas de Turing 1 / 45 Complejidad Computacional Objetivo: Medir la complejidad computacional de un problema. Vale decir: Medir la cantidad de recursos computacionales
Más detallesTeorí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 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 detallesSemana03[1/17] Funciones. 16 de marzo de Funciones
Semana03[1/17] 16 de marzo de 2007 Introducción Semana03[2/17] Ya que conocemos el producto cartesiano A B entre dos conjuntos A y B, podemos definir entre ellos algún tipo de correspondencia. Es decir,
Más detallesTeorí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 detallesEJERCICIOS del TEMA 3: Lenguajes independientes del contexto
EJERCICIOS del TEMA 3: Lenguajes independientes del contexto Sobre GICs (gramáticas independientes del contexto) 1. Sea G una gramática con las siguientes producciones: S ASB ε A aab ε B bba ba c ) d )
Más detallesUn 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 detallesPregunta 1 [40 puntos] Diga si las siguientes afirmaciones son verdaderas o falsas, demostrando su respuesta.
Pregunta 1 [40 puntos] Diga si las siguientes afirmaciones son verdaderas o falsas, demostrando su respuesta. (a) Es posible aceptar por stack vacío el lenguaje {0 i 1 j i = j o j = 2i} con un AA determinístico.
Más detallesTema: Autómata de Pila
Facultad: Ingeniería Escuela: Computación Asignatura: Compiladores 1 Tema: Autómata de Pila Contenido La presente guía aborda los autómatas de pila, y se enfoca en la aplicación que se le puede dar a estas
Más detallesTeoría de Autómatas y Lenguajes Formales. Leopoldo Altamirano, Miguel Arias, Jesús González, Eduardo Morales, Gustavo Rodríguez
Teoría de Autómatas y Lenguajes Formales Leopoldo Altamirano, Miguel Arias, Jesús González, Eduardo Morales, Gustavo Rodríguez Objetivo General Proporcionar al estudiante los fundamentos de la teoría de
Más detallesGrafos. 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 detallesLenguajes (gramáticas y autómatas)
Lenguajes (gramáticas y autómatas) Elvira Mayordomo Universidad de Zaragoza 19 de septiembre de 2013 Elvira Mayordomo (Universidad de Zaragoza) Lenguajes (gramáticas y autómatas) 19 de septiembre de 2013
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 detalles6. 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 detallesRelaciones. Estructuras Discretas. Relaciones. Relaciones en un Conjunto. Propiedades de Relaciones en A Reflexividad
Estructuras Discretas Relaciones Definición: relación Relaciones Claudio Lobos, Jocelyn Simmonds clobos,jsimmond@inf.utfsm.cl Universidad Técnica Federico Santa María Estructuras Discretas INF 152 Sean
Más detallesAprendizaje y extensiones mixtas
Capítulo 7 Aprendizaje y extensiones mixtas 7.1. Aprendizaje En esta sección veremos la relevancia de definir un modelo de aprendizaje en ambientes inciertos. El paradigma de modelo de aprendizaje en teoría
Más detallesEn 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 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 detallesTeoría de Lenguajes. Clase Teórica 7 Autómatas de Pila y Lenguajes Independientes del Contexto Primer cuartimestre 2014
Teoría de Lenguajes Clase Teórica 7 Autómatas de Pila y Lenguajes Independientes del Contexto Primer cuartimestre 2014 aterial compilado por el Profesor Julio Jacobo, a lo largo de distintas ediciones
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 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 detallesIntroducció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 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 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 detallesIntroducción a los códigos compresores
Introducción a los códigos compresores Parte I de la Lección 2, Compresores sin pérdidas, de CTI Ramiro Moreno Chiral Dpt. Matemàtica (UdL) Febrero de 2010 Ramiro Moreno (Matemàtica, UdL) Introducción
Más detallesTeorí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 detallesCompiladores: 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. Sintaxis Define la estructura del lenguaje Ejemplo: Jerarquía en
Más detallesTeoría de la Probabilidad Tema 2: Teorema de Extensión
Teoría de la Probabilidad Tema 2: Teorema de Extensión Alberto Rodríguez Casal 25 de septiembre de 2015 Definición Una clase (no vacía) A de subconjuntos de Ω se dice que es un álgebra si A es cerrada
Más detallesIngeniería en Computación. Autómatas y Lenguajes Formales. Unidad de competencia IV: Conocer, utilizar y diseñar gramáticas de libre contexto
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 IV: Conocer,
Más detallesSESIÓN N 07 III UNIDAD RELACIONES Y FUNCIONES
SESIÓN N 07 III UNIDAD RELACIONES Y FUNCIONES RELACIONES BINARIAS PAR ORDENADO Es un arreglo de dos elementos que tienen un orden determinado donde a es llamada al primera componente y b es llamada la
Más detallesARITMÉ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 detallesProcesadores de Lenguaje
Procesadores de Lenguaje Analizadores sintácticos descendentes: LL(1) Cristina Tîrnăucă Dept. Matesco, Universidad de Cantabria Fac. Ciencias Ing. Informática Primavera de 2013 Analizadores sintácticos
Más detallesMá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 detallesEstructuras Algebraicas
Tema 1 Estructuras Algebraicas Definición 1 Sea A un conjunto no vacío Una operación binaria (u operación interna) en A es una aplicación : A A A Es decir, tenemos una regla que a cada par de elementos
Más detallesÍndice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción
Curso 0: Matemáticas y sus Aplicaciones Tema 5. Lógica y Formalismo Matemático Leandro Marín Dpto. de Matemática Aplicada Universidad de Murcia 2012 1 Proposiciones y Conectores Lógicos 2 Tablas de Verdad
Más detallesLímites Laterales. El límite por la derecha se denota. x 2 + x 2 = 1. x 2. x + x 2. x = x + x 2. El límite por la izquierda se denota
Límites Laterales Denición. Si f : D R R y x 0 es un punto de D, decimos que l d es ite de f en x 0 por la derecha si ɛ > 0 δ ɛ > 0 f(x) l d < ɛ si 0 < x x 0 < δ ɛ ɛ > 0 δ ɛ > 0 f(x) l d < ɛ si x 0 < x
Más detallesSemana05[1/14] Relaciones. 28 de marzo de Relaciones
Semana05[1/14] 28 de marzo de 2007 Introducción Semana05[2/14] Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados un par de conjuntos no vacíos A y B, llamaremos relación
Más detallesEs claro que es una relación de equivalencia. Para ver que tener la misma cardinalidad y la cardinalidad están bien definidas queremos ver que
Capítulo II Cardinalidad Finita II.1. Cardinalidad Definimos I n para n N como I n = {k N : 1 k n}. En particular I 0 =, puesto que 0 < 1. Esto es equivalente a la definición recursiva { si n = 0 I n =
Más detallesEspacios topológicos. 3.1 Espacio topológico
Capítulo 3 Espacios topológicos 3.1 Espacio topológico Definición 3.1.1. Un espacio topológico es un par (X, τ), donde X es un conjunto, y τ es una familia de subconjuntos de X que verifica las siguientes
Más detallesCapítulo 6. Relaciones. Continuar
Capítulo 6. Relaciones Continuar Introducción Una relación es una correspondencia entre dos elementos de dos conjuntos con ciertas propiedades. En computación las relaciones se utilizan en base de datos,
Más detallesTerminaremos el capítulo con una breve referencia a la teoría de cardinales.
TEMA 5. CARDINALES 241 Tema 5. Cardinales Terminaremos el capítulo con una breve referencia a la teoría de cardinales. Definición A.5.1. Diremos que el conjunto X tiene el mismo cardinal que el conjunto
Más detallesTexto: 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 detallesCapítulo 2 Conjuntos. 2.1 Introducción. 2.2 Determinación de conjuntos. Definición:
Capítulo 2 Conjuntos 2.1 Introducción El concepto de conjunto, de singular importancia en la ciencia matemática y objeto de estudio de una de sus disciplinas más recientes, está presente, aunque en forma
Más detallesEn general, un conjunto A se define seleccionando los elementos de un cierto conjunto U de referencia que cumplen una determinada propiedad.
nidad 3: Conjuntos 3.1 Introducción Georg Cantor [1845-1918] formuló de manera individual la teoría de conjuntos a finales del siglo XIX y principios del XX. Su objetivo era el de formalizar las matemáticas
Más detallesCapítulo 1 Lenguajes formales 6
Capítulo 1 Lenguajes formales 6 1.8. Operaciones entre lenguajes Puesto que los lenguajes sobre Σ son subconjuntos de Σ, las operaciones usuales entre conjuntos son también operaciones válidas entre lenguajes.
Más detallesConjuntos, relaciones y funciones Susana Puddu
Susana Puddu 1. Repaso sobre la teoría de conjuntos. Denotaremos por IN al conjunto de los números naturales y por ZZ al de los enteros. Dados dos conjuntos A y B decimos que A está contenido en B o también
Más detallesModelos 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 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 detallesALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.
ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas Universidad de Concepción 1 La lógica es
Más detallesTeoría de Lenguajes. Clase Teórica 8 Propiedades de Lenguajes Independientes de Contexto y su Lema de Pumping Primer cuartimestre 2014
Teoría de Lenguajes Clase Teórica 8 Propiedades de Lenguajes Independientes de Contexto y su Lema de Pumping Primer cuartimestre 2014 Estas notas están basadas en el material compilado por el Profesor
Más detallesMatrices. José Vicente Romero Bauset. ETSIT-curso 2009/2010. José Vicente Romero Bauset Tema 1.- Matrices. 1
Matrices José Vicente Romero Bauset ETSIT-curso 2009/2010 José Vicente Romero Bauset Tema 1- Matrices 1 Introducción Por qué estudiar las matrices? Son muchas las situaciones de la vida real en las que
Más detallesESCUELA: UNIVERSIDAD DEL ISTMO
1.-IDENTIFICACIÓN ESCUELA: UNIVERSIDAD DEL ISTMO CLAVE: 3041 GRADO: ING. EN COMPUTACIÓN, CUARTO SEMESTRE TIPO DE TEÓRICA/PRÁCTICA ANTECEDENTE CURRICULAR: 3033.- OBJETIVO GENERAL Proporcionar al alumno
Más detallesBENEMÉRITA UNIVERSIDAD AUTÓNOMA DE PUEBLA FACULTAD CIENCIAS DE LA COMPUTACIÓN
BENEMÉRITA UNIVERSIDAD AUTÓNOMA DE PUEBLA FACULTAD CIENCIAS DE LA COMPUTACIÓN PROGRAMA DE LA MATERIA CORRESPONDIENTE A LA LICENCIATURA EN CIENCIAS DE LA COMPUTACIÓN. Coordinación: NOMBRE DE LA MATERIA:
Más detalles