TEMA 6 GRAMÁTICAS INDEPENDIENTES DEL CONTEXTO

Save this PDF as:
 WORD  PNG  TXT  JPG

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

Download "TEMA 6 GRAMÁTICAS INDEPENDIENTES DEL CONTEXTO"

Transcripción

1 TEMA 6 GRAMÁTICAS INDEPENDIENTES DEL CONTEXTO

2 TEMA 6.- GRAMÁTICAS INDEPENDIENTES DEL CONTEXTO 6.1. Gramáticas independientes del contexto Limpieza de Gramáticas Independientes del contexto Gramáticas limpias y gramáticas sucias Limpieza de gramáticas Teorema de los símbolos vivos Teorema de los símbolos accesibles Análisis automático de la limpieza de gramáticas 6.5 Gramáticas bien formadas 6.6. Formas Normales de Gramáticas Independientes del contexto Forma Normal de Chomsky (FNC) Forma Normal de Greibach (FNG) TALF. Tema6 nº 2

3 6.1. Gramáticas independientes del contexto. Técnicas para preparar una gramática tipo 2 para ser tratada eficientemente por un autómata con pila: Gramáticas limpias Gramáticas bien formadas Formas normales de Chomsky y Greibach TALF. Tema6 nº 3

4 6.2. Limpieza de Gramáticas Independientes del contexto. Las gramáticas de los lenguajes de programación están formadas por un conjunto de reglas BNF, cuyo número suele ser bastante amplio, lo cual incide en la ocultación de distintos problemas que pueden producirse, tales como tener reglas que produzcan símbolos que no se usen después, o que nunca se llegue a cadenas terminales. Todo esto se puede solventar realizando la transformación de la gramática inicial sucia a una gramática limpia. TALF. Tema6 nº 4

5 6.3. Gramáticas limpias y gramáticas sucias. Definiciones. Símbolo muerto (superfluo): es un símbolo no terminal que no genera ninguna cadena de símbolos terminales. Símbolo vivo: es un símbolo no terminal del cual se puede derivar una cadena de símbolos terminales. Todos los símbolos terminales son símbolos vivos. Es decir son símbolos vivos lo que no son muertos. Símbolo inaccesible: es un símbolo no terminal al que no se puede llegar por medio de producciones desde el símbolo inicial. Símbolo accesible: es un símbolo que aparece en una cadena derivada del símbolo inicial. Es decir, aquel símbolo que no es inaccesible. Símbolo extraño: se denomina así a todo símbolo muerto o inaccesible. Gramática sucia: es toda gramática que contiene símbolos extraños. Gramática limpia: es toda gramática que no contiene símbolos extraños. TALF. Tema6 nº 5

6 6.4. Limpieza de gramáticas toda gramática en bruto ha de limpiarse con el objetivo de eliminar todos los símbolos extraños. El método de limpiar las gramáticas sucias consiste en detectar en primer lugar todos los símbolos muertos, y a continuación se detectan todos los símbolos inaccesibles. Es importante seguir este orden, puesto que la eliminación de símbolos muertos puede generar nuevos símbolos inaccesibles. Los algoritmos que se utilizan en la limpieza de gramáticas se basan en los teoremas que se enuncian a continuación TALF. Tema6 nº 6

7 6.4. Limpieza de gramáticas Teorema de los símbolos vivos Si todos los símbolos de la parte derecha de una producción son vivos, entonces el símbolo de la parte izquierda también lo es. Algoritmo para detectar símbolos muertos: 1. Hacer una lista de no-terminales que tengan al menos una producción sin símbolos no terminales en la parte derecha. 2. Dada una producción, si todos los no-terminales de la parte derecha pertenecen a la lista, entonces podemos incluir al no terminal de la parte izquierda. 3. Cuando no se puedan incluir más símbolos mediante la aplicación del paso 2, la lista contendrá todos los símbolos vivos, el resto serán muertos. TALF. Tema6 nº 7

8 6.4. Limpieza de gramáticas. Ejemplo. Determinar los símbolos muertos de la gramática expresada en BNF: <INICIAL>::= a <NOTA 1> <NOTA2> <NOTA3> <NOTA4> d <NOTA 1>::= b <NOTA2> <NOTA3> <NOTA2>::= e d <NOTA3>::= g <NOTA2> <NOTA4>::= <NOTA 1> f <NOTA5> <NOTA5>::= t <NOTA4> v <NOTA5> aplicando los pasos del algoritmo: 1. Confección de la lista: sólo hay un símbolo no terminal con el cual comenzar la lista. <NOTA2> 2. Aplicando el teorema se incluyen en la lista por el siguiente orden: <NOTA3> <NOTA1> <INICIAL> 3. No se puede aplicar el teorema más veces, por lo tanto la lista de símbolos vivos está completa y los símbolos <NOTA4> y <NOTA5> son no terminales muertos. TALF. Tema6 nº 8

9 6.4. Limpieza de gramáticas Teorema de los símbolos accesibles Si el símbolo no terminal de la parte izquierda de una producción es accesible, entonces todos los símbolos de la parte derecha también lo son. Algoritmo para detectar símbolos accesibles: 1. Se comienza la lista con un único no terminal, el símbolo inicial. 2. Si la parte izquierda de la producción está en la lista, entonces se incluyen en la misma a todos los no terminales que aparezcan en la parte derecha. 3. Cuando ya no se puedan incluir más símbolos mediante la aplicación del paso 2, la lista contendrá todos los símbolos accesibles, y el resto será inaccesible. TALF. Tema6 nº 9

10 6.4. Limpieza de gramáticas. Ejemplo. Sea la siguiente gramática en BNF: <INICIAL>::= a<noter1><noter2> <NOTER1> <NOTER1>::= c <NOTER2> d <NOTER2>: := e f <INICIAL> <NOTER3>::= g <NOTER4> h <NOTER4> t <NOTER4>::= x l y l z Aplicando el algoritmo los símbolos inaccesibles son: 1. Confección de la lista: <INICIAL> 2. Aplicación del teorema <NOTER1> <NOTER2> 3. No se puede aplicar más veces el paso, luego la lista de símbolos accesibles está completa, y los no terminales inaccesibles son: <NOTER3> <NOTER4> TALF. Tema6 nº 10

11 6.4. Limpieza de gramáticas Análisis automático de la limpieza de gramáticas Los algoritmos de limpieza de gramáticas comprueban si las gramáticas son limpias. Los pasos para el tratamiento de cualquier gramática son: Una gramática es limpia si no tiene: símbolos muertos símbolos inaccesibles reglas innecesarias (A::=A; éstas se eliminan directamente) TALF. Tema6 nº 11

12 6.4. Limpieza de gramáticas. Ejemplo. Ejemplo: <INICIAL>::= A <NOTER1> <NOTER2> <INICIAL>: := <NOTER1> <NOTER1>::= C <NOTER2> D <NOTER2>::= E <NOTER2>::= F <INICIAL> <NOTER3>::= G <NOTER4> <NOTER3>::= H <NOTER4> T <NOTER4>::= X <NOTER4>::= Y <NOTER4>::= Z El analizador indicará que la gramática no es limpia. La relación de símbolos no accesibles: NOTER3 y NOTER4. TALF. Tema6 nº 12

13 6.5 Gramáticas bien formadas Una gramática está bien formada si: 1. Está limpia. Sin símbolos muertos Sin símbolos inaccesibles Sin reglas innecesarias 2. No tiene reglas no generativas (A::=, A S). 3. No tiene reglas de redenominación (A::=B). TALF. Tema6 nº 13

14 6.5 Gramáticas bien formadas Algoritmo para eliminar las reglas no generativas (A::=, A S): P = P //P = reglas no generativas; P=reglas generativas Repetir Para cada P=( A P y A S ) P = P - {P} Para cada P = (B::=xAy) P P = P {B::=xy} Hasta que todas las reglas sean generativas TALF. Tema6 nº 14

15 6.5 Gramáticas bien formadas. Ejemplo. Ejemplo: P = {(A::=C0B), (A::=), (B::=BC), (B::=), (C::=0B), (C::=)} Aplicando el algoritmo: Eliminación de la regla B::= : P = {(A::=C0B), (A::=C0),(A::=), (B::=BC), (B::=C), (C::=0B), (C::=0), (C::=)} Eliminación de la regla C::= : P = {(A::=C0B), (A::=0B), (A::=C0), (A::=0),(A::=), (B::=BC), (B::=C), (B::=B), (B::=), (C::=0B), (C::=0)} Eliminación de la regla B::= que ha aparecido de nuevo: P = {(A::=C0B), (A::=0B), (A::=C0), (A::=0),(A::=), (B::=BC), (B::=C), (C::=0B), (C::=0)} Esta será la gramática sin reglas regenerativas Par eliminar las reglas de redenominación (A::=B) se genera una nueva producción A::= por cada regla B::=, con * y se borra la regla A::=B. TALF. Tema6 nº 15

16 6.6. Formas Normales de Gramáticas Independientes del contexto. En algunas ocasiones es imprescindible que las gramáticas se hallen dispuestas de una forma especial. Es decir, se trata de obtener una gramática equivalente, que genera el mismo lenguaje, pero que debe cumplir unas especificaciones determinadas. A continuación se muestran las dos formas normalizadas más frecuentes, que se emplean en los lenguajes formales y sus aplicaciones Forma Normal de Chomsky (FNC) Forma Normal de Greibach (FNG) TALF. Tema6 nº 16

17 Forma Normal de Chomsky (FNC) Una gramática se dice que está en la Forma Normal de Chomsky si sus reglas son de una de estas formas: A BC A a Siendo A, B, C no terminales y a un terminal. Teorema de la forma normal de Chomsky Toda gramática libre de contexto sin la cadena vacía tiene una gramática equivalente cuyas producciones están en la Forma Normal de Chomsky. Forma Normal de Chomsky (FNC) Una gramática se dice que está en la Forma Normal de Chomsky si sus reglas son de una de estas formas: A BC A a Siendo A, B, C no terminales y a un terminal. TALF. Tema6 nº 17

18 Forma Normal de Chomsky (FNC) El algoritmo a seguir es: 1. P i P / P i : A 1... n, donde i ( N T ), n2 1. j, si j T (es terminal) entonces hacer: 1. N = N {C j } 2. P= P {C j j } 3. Modificar P i, donde antes ponía j ahora poner C j. 2. P k P / P k : A B 1...B m, donde B N, m3 1. N = N {D j } j=1..m Reemplazar P k por las producciones: A B 1 D 1, D 1 B 2 D 2,..., D m-2 B m-1 B m TALF. Tema6 nº 18

19 Forma Normal de Chomsky (FNC). Ejemplo. Sea la gramática G=( N={S, A, B}, T ={a, b}, P, S) cuyas producciones son: S ba ab A baa as a B abb bs b encontrar una gramática equivalente en FNC. las reglas pueden reescribirse: (1) S ba (2) S ab (3) A baa (4) A as (5)(*) A a (6) B abb (7) B bs (8)(*) B b Solamente las señaladas con (*) están en forma FNC. La producción (1) se sustituye por dos: S C b A C b b Igualmente la (2) puede sustituirse por S C a B C a a Las producciones (3) y (4) se sustituyen por A C b D 1 D 1 AA A C a S y la (6) y la (7) por B C a D 2 D 2 BB B C b S TALF. Tema6 nº 19

20 Forma Normal de Chomsky (FNC). Ejemplo. la gramática equivalente en FNC es: S C b A S C a B A C a S A C b D 1 A a B C b S B C a D 2 B b D 1 AA D 2 BB C a a C b b TALF. Tema6 nº 20

21 Forma Normal de Greibach (FNG) Se dice que una gramática está en la Forma Normal de Greibach si sus reglas de producción son de la forma: A a A a donde A N, a T N * Teorema de la forma normal de Greibach Todo lenguaje de contexto libre sin la cadena vacía puede ser generado por una gramática cuyas reglas de producción son de la forma A a A a donde A N, a T N * Ejemplo: La gramática dada en el ejemplo anterior. S ba ab A baa as a B abb bs b TALF. Tema6 nº 21

22 Forma Normal de Greibach (FNG) Funciones previas utilizadas en el algoritmo para obtener la FNG: 1. Eliminar recursividad a izquierdas, las producciones A A. Operación para eliminar la recursividad en un símbolo: 1. Crear una nueva variable B A, N = N B A 2. P i P, P i : A A, 1. Añadir a P: B A y B A B A 2. Sacar A A de P. 3. P j P, P j : A, y no empieza por A 1. Añadir A B A La notamos como ELIMINA recursividad (A) 2. Sustiruir en las reglas A B las reglas de B Operación para eliminar una producción A B, con AB. 1. Sacar A B de P. 2. P i P, tq B, añadir A La notamos como ELIMINA producción (A B) TALF. Tema6 nº 22

23 Forma Normal de Greibach (FNG) Pasos para conseguir la FNG: 1. Partir de una gramática en forma normal de Chomsky. En realidad basta con que sea una gramática limpia y sus producciones tengan la forma: A a o A donde A N, a T * N 2. Establecer un determinado orden en los símbolos no-terminales y Poner las producciones en la forma: A i A j, con j>i. 1. Para k=1,...,m 1. Para j=1,...,k-1 1. P i P, P i : A k A j, ELIMINAR producción (A k A j ) 2. Si A k A k entonces ELIMINA recursividad (A k ) TALF. Tema6 nº 23

24 Forma Normal de Greibach (FNG) 3. Poner las producciones en la forma: A i a. 1. Para i=m-1,...,1 1. P i P, P i : A i A j, y j>i ELIMINAR producción (A i A j ) 2. Para k=1,...,m 1. P i P, P i : B j A k, 1. ELIMINAR producción (B j A k ) TALF. Tema6 nº 24

25 Forma Normal de Greibach (FNG). Ejemplo. Ejemplo: 1. Partimos de la gramática en FNC del ejemplo anterior: 1. S C b A C a B 2. A C a S C b D 1 a 3. B C b S C a D 2 b 4. D 1 AA 5. D 2 BB 6. C a a 7. C b b 2. Tomamos el orden anterior para N ={S=A 1 }. Poner las producciones en la forma: A i A j, con j>i. TALF. Tema6 nº 25

26 Forma Normal de Greibach (FNG) 2. Tomamos el orden anterior para N ={S=A 1 }. Poner las producciones en la forma: A i A j, con j>i. 1. Para k=1,...,m //m=7 1. Para j=1,...,k-1 1. P i P, P i : A k A j, ELIMINAR producción (A k A j ) k=4 (D 1 ), j=2 (A) cambian las producciones: K=5 (D 2 ),, j=3(b) 2. No A k A k ELIMINAR producción (D 1 AA) por: D 1 C a SA C b D 1 A aa ELIMINAR producción (D 2 BB) por: D 2 C b SB C a D 2 B bb 1. S C b A C a B 2. A C a S C b D 1 a 3. B C b S C a D 2 b 4. D 1 AA 5. D 2 BB 6. C a a 7. C b b Resultado paso 2 1. S C b A C a B 2. A C a S C b D 1 a 3. B C b S C a D 2 b 4. D 1 C a SA C b D 1 A aa 5. D 2 C b SB C a D 2 B bb 6. C a a 7. C b b TALF. Tema6 nº 26

27 Forma Normal de Greibach (FNG) 3. Poner las producciones en la forma: A i a. 1. Para i=m-1,...,1 //m=7 1. P i P, P i : A i A j, y j>i i=5 ELIMINAR producción (D 2 C b SB C a D 2 B bb) por: D 2 bsb ad 2 B bb i= 4 ELIMINAR producción (D 1 C a SA C b D 1 A aa) por: D 1 asa bd 1 A aa i= 3 ELIMINAR producción (B C b S C a D 2 b) por: B bs ad 2 b i= 2 ELIMINAR producción (A C a S C b D 1 a) A as bd 1 a i= 2 ELIMINAR producción (S C b A C a B) por: S ba ab 1. Para k=1,...,m 1. P i P, P i : B j A k, No existen 1. S C b A C a B 2. A C a S C b D 1 a 3. B C b S C a D 2 b 4. D 1 C a SA C b D 1 A aa 5. D 2 C b SB C a D 2 B bb 6. C a a 7. C b b Resultado paso 3 1. S ba ab 2. A as bd 1 a 3. B bs ad 2 b 4. D 1 asa bd 1 A aa 5. D 2 bsb ad 2 B bb 6. C a a 7. C b b TALF. Tema6 nº 27

28 Forma Normal de Greibach (FNG) Resultado paso 3: gramática equivalente e FNG: 1. S ba ab 2. A as bd 1 a 3. B bs ad 2 b 4. D 1 asa bd 1 A aa 5. D 2 bsb ad 2 B bb 6. C a a 7. C b b Si ahora la limpiamos: Simbolos vivos: todos Símbolos accesibles: S, A, B, D 1, D 1 Eliminamos C 1,C 2 Quedando la gramática limpia: 1. S ba ab 2. A as bd 1 a 3. B bs ad 2 b 4. D 1 asa bd 1 A aa 5. D 2 bsb ad 2 B bb Equivalente a: 1. S ba ab 2. A baa as a 3. B abb bs b TALF. Tema6 nº 28

EJERCICIOS del TEMA 3: Lenguajes independientes del contexto

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

Nivel del ejercicio : ( ) básico, ( ) medio, ( ) avanzado.

Nivel del ejercicio : ( ) básico, ( ) medio, ( ) avanzado. Universidad Rey Juan Carlos Curso 2010 2011 Teoría de Autómatas y Lenguajes Formales Ingeniería Técnica en Informática de Sistemas Hoja de Problemas 10 Gramaticas Independientes del Contexto Nivel del

Más detalles

Teoría de Lenguajes. Gramáticas incontextuales

Teoría de Lenguajes. Gramáticas incontextuales Teoría de Lenguajes Gramáticas incontextuales José M. Sempere Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia Gramáticas incontextuales 1. Definiciones básicas.

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

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. Sintaxis Define la estructura del lenguaje Ejemplo: Jerarquía en

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

Teoría de Autómatas y Lenguajes Formales. Introducción a las Gramáticas. Gramáticas incontextuales

Teorí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 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

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

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

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

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

Gramá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 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 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

2do. Parcial. Todos los ejercicios se entregarán en hojas separadas. El examen tipo test cuenta hasta 2 puntos sobre la nota total.

2do. Parcial. Todos los ejercicios se entregarán en hojas separadas. El examen tipo test cuenta hasta 2 puntos sobre la nota total. U.R.J.C. Ingeniera Técnica en Informática de Sistemas Teoría de Autómatas y Lenguajes Formales Junio 2009 2do. Parcial Normas : La duración del examen es de 2 horas. Todos los ejercicios se entregarán

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

Cualquier lenguaje de contexto libre, L, puede ser generado por medio de una GCL, G, que cumpla las siguientes condiciones:

Cualquier lenguaje de contexto libre, L, puede ser generado por medio de una GCL, G, que cumpla las siguientes condiciones: Teoría de Autómatas y Lenguajes Formales Boletín de Autoevaluación 5: Cómo se simplifica una Gramática de Contexto Libre?. 1. Objetivos. El objetivo de este boletín es ilustrar cómo proceder para simplificar

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 2 Gramáticas y Lenguajes Libres de Contexto

Tema 2 Gramáticas y Lenguajes Libres de Contexto Tema 2 Gramáticas y Lenguajes Libres de Contexto 1. Definiciones Básicas 2. 3. Forma Normal de Chomsky 4. Autómatas de Pila 5. Propiedades de los Lenguajes Libres de Contexto 1. Definiciones básicas 1.

Más detalles

Gramáticas Independientes del Contexto (GIC)

Gramáticas Independientes del Contexto (GIC) Asignatura: Teoría de la Computación Tema 4: Gramáticas independientes del contexto Definiciones y propiedades Gramáticas Independientes del Contexto (GIC) Qué es una gramática? Modelo de estructuras recursivas.

Más detalles

Tema 5 Lenguajes independientes del contexto. Sintaxis

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

Procesadores de Lenguaje

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

PROCESADORES DE LENGUAJE EXAMEN FINAL 8-JUNIO-07

PROCESADORES DE LENGUAJE EXAMEN FINAL 8-JUNIO-07 PROCESADORES DE LENGUAJE EXAMEN FINAL 8-JUNIO-07 1. En qué método de análisis sintáctico puede suceder que en la construcción del árbol de derivación de las posibles expansiones de un símbolo no terminal

Más detalles

Problemas de Espacios Vectoriales

Problemas de Espacios Vectoriales Problemas de Espacios Vectoriales 1. Qué condiciones tiene que cumplir un súbconjunto no vacío de un espacio vectorial para que sea un subespacio vectorial de este? Pon un ejemplo. Sean E un espacio vectorial

Más detalles

1.-DEFINE EN QUE CONSISTEN LAS GRAMÁTICAS LIBRES DE CONTEXTO

1.-DEFINE EN QUE CONSISTEN LAS GRAMÁTICAS LIBRES DE CONTEXTO 1.-DEFINE EN QUE CONSISTEN LAS GRAMÁTICAS LIBRES DE CONTEXTO una gramática libre de contexto (o de contexto libre) es una gramática formal en la que cada regla de producción es de la forma: V w Donde V

Más detalles

Tema 1: Matrices y Determinantes

Tema 1: Matrices y Determinantes Tema 1: Matrices y Determinantes September 14, 2009 1 Matrices Definición 11 Una matriz es un arreglo rectangular de números reales a 11 a 12 a 1m a 21 a 22 a 2m A = a n1 a n2 a nm Se dice que una matriz

Más detalles

El análisis descendente LL(1) 6, 7 y 13 de abril de 2011

El análisis descendente LL(1) 6, 7 y 13 de abril de 2011 6, 7 y 13 de abril de 2011 Analizadores sintácticos (repaso) Los analizadores descendentes: Corresponden a un autómata de pila determinista. Construyen un árbol sintáctico de la raíz hacia las hojas (del

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

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

Relaciones. Estructuras Discretas. Relaciones. Relaciones en un Conjunto. Propiedades de Relaciones en A Reflexividad

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

EXÁMENES DE REPASO Teoría de Autómatas y Lenguajes Formales UNIVERSIDAD FRANCISCO DE VITORIA

EXÁMENES DE REPASO Teoría de Autómatas y Lenguajes Formales UNIVERSIDAD FRANCISCO DE VITORIA EXÁMENES DE REPASO Teoría de Autómatas y Lenguajes Formales UNIVERSIDAD FRANCISCO DE VITORIA 1ER PARCIAL TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Examen parcial 12/02/2003 1.- Usa el lema de bombeo para

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

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

Pregunta 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. 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 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

Matrices y Sistemas Lineales

Matrices y Sistemas Lineales Matrices y Sistemas Lineales Álvarez S, Caballero MV y Sánchez M a M salvarez@umes, mvictori@umes, marvega@umes 1 ÍNDICE Matemáticas Cero Índice 1 Definiciones 3 11 Matrices 3 12 Sistemas lineales 5 2

Más detalles

1 CÁLCULO CON RADICALES. Nota: Para m = 2, es l raíz cuadrada y el 2 no se escribe.

1 CÁLCULO CON RADICALES. Nota: Para m = 2, es l raíz cuadrada y el 2 no se escribe. DEFINICIÓN : 1 CÁLCULO CON RADICALES ( m 2, 3, 4,.. ) Ejemplo: Nota: Para m 2, es l raíz cuadrada y el 2 no se escribe. SIMPLIFICACIÓN DE RADICALES: Se escribe el radical en forma de potencia, se simplifica

Más detalles

Ingeniería en Computación. Autómatas y Lenguajes Formales. Unidad de competencia IV: Conocer, utilizar y diseñar gramáticas de libre contexto

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

Expresiones Regulares y Derivadas Formales

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

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

Matrices y Sistemas Lineales

Matrices y Sistemas Lineales Matrices y Sistemas Lineales Álvarez S, Caballero MV y Sánchez M a M salvarez@umes, mvictori@umes, marvega@umes Índice 1 Definiciones 3 11 Matrices 3 12 Sistemas lineales 6 2 Herramientas 8 21 Operaciones

Más detalles

Introducción a la Lógica y la Computación

Introducción a la Lógica y la Computación Introducción a la Lógica y la Computación Parte III: Lenguajes y Autómatas Clase del 4 de Noviembre de 2015 Parte III: Lenguajes y Autómatas Introducción a la Lógica y la Computación 1/21 Lenguajes Formales

Más detalles

Capítulo 1 Lenguajes formales 6

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

c-inversa o inversa generalizada de Rao

c-inversa o inversa generalizada de Rao c-inversa o inversa generalizada de Rao Definición.- Sea A m n. Se dice que una matriz A c de orden n m es una c-inversa o inversa generalizada en el sentido de Rao si y sólo si se verifica AA c A = A.

Más detalles

Algebra de Boole. » a + a = 1» a a = 0

Algebra de Boole. » a + a = 1» a a = 0 Algebra de Boole Dos elementos: 0 y 1 Tres operaciones básicas: producto ( ) suma ( + ) y negación ( ` ) Propiedades. Siendo a, b, c números booleanos, se cumple: Conmutativa de la suma: a + b = b + a

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

ÁRBOLES DE SINTAXIS. Los nodos no terminales (nodos interiores) están rotulados por los símbolos no terminales.

ÁRBOLES DE SINTAXIS. Los nodos no terminales (nodos interiores) están rotulados por los símbolos no terminales. ÁRBOLES DE SINTAXIS ÁRBOL grafo dirigido acíclico. Los nodos no terminales (nodos interiores) están rotulados por los símbolos no terminales. Los nodos terminales (nodos hojas) están rotulados por los

Más detalles

DESIGUALDADES. AXIOMA 1.- Tricotomía de los números reales. Si a y b son números reales entonces se cumple una y solo una de las relaciones

DESIGUALDADES. AXIOMA 1.- Tricotomía de los números reales. Si a y b son números reales entonces se cumple una y solo una de las relaciones DESIGUALDADES 4.1.- AXIOMAS DE ORDEN. Cualquier conjunto o Campo de números que satisface los siguientes 4 Axiomas se dice que es un conjunto de números ORDENADO. El conjunto o Campo de los números reales

Más detalles

La Jerarquía de Chomsky

La Jerarquía de Chomsky La Apuntes sobre la Complejidad Universidad de Cantabria Esquema Motivación 1 Motivación 2 Ideas y Nociones Motivación Como se ha mencionado anteriormente, los lenguajes son conjuntos de palabras definidos

Más detalles

Construcción de tablas de análisis sintáctico LL(1)

Construcción de tablas de análisis sintáctico LL(1) Construcción de tablas de análisis sintáctico LL(1) Universidad de Costa Rica Escuela de Ciencias de la Computación e Informática Diego Centeno Gerardo Cortés Juan Diego Alfaro Resumen. A la medida en

Más detalles

Capítulo 7: Expresiones Regulares

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

TEMA 3. POLINOMIOS Y FRACCIONES ALGEBRAICAS. Ficha 0

TEMA 3. POLINOMIOS Y FRACCIONES ALGEBRAICAS. Ficha 0 Ficha 0 Un monomio es una expresión algebraica formada por el producto de un número, llamado coeficiente, por una o más variables con exponente natural o cero, llamadas parte literal. El grado es la suma

Más detalles

Algebra de Boole: Teoremas

Algebra de Boole: Teoremas Teorema 1: A + A = A Teorema 2: A A = A Teorema 3: A + 0 = A Teorema 4: A 1 = A Teorema 5: A 0 = 0 Teorema 6: A + 1 = 1 Teorema 7: (A + B) = A B Teorema 8: (A B) = A + B Teorema 9: A + A B = A Teorema

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 Prácticas Introducción a JFLAP Autores: Araceli Sanchis de Miguel Agapito Ledezma Espino Jose A. Iglesias Martínez Beatriz García Jiménez Juan Manuel Alonso Weber

Más detalles

Propiedades de los Lenguajes Libres de Contexto

Propiedades de los Lenguajes Libres de Contexto Propiedades de los Lenguajes Libres de Contexto 15 de junio de 2015 15 de junio de 2015 1 / 1 Contenido 15 de junio de 2015 2 / 1 Introducción Introducción Simplificación de CFG s. Esto facilita la vida,

Más detalles

ESCUELA INTERNACIONAL DE IDIOMAS Avenida Pedro de Heredia, Calle 49a #31-45, barrio el Libano 6600671

ESCUELA INTERNACIONAL DE IDIOMAS Avenida Pedro de Heredia, Calle 49a #31-45, barrio el Libano 6600671 Página: Pág: 1 HORARIOS DE CLASES IDIOMAS Jornada: M Sem:01 Curso:01 A.1.1 AA A.1.1 AA A.1.1 AA 11:00AM-12:00PM VIONIS VIONIS Jornada: M Sem:01 Curso:02 A.1.1 AB A.1.1 AB A.1.1 AB VIONIS VIONIS Jornada:

Más detalles

PRÁCTICAS DE EXCEL PARTE 1

PRÁCTICAS DE EXCEL PARTE 1 PRÁCTICA EMPRESARIAL 5TO AÑO PRÁCTICAS DE EXCEL PARTE 1 EJERCICIOS 1 A 5 Tema: Formatos Gestión de Hojas Gestión de Filas y Columnas Ejercicio 1: Trabajar con la planilla Formatos- Manejo de filas y columnas.xls.

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

Dos matrices son iguales cuando tienen la misma dimensión y los elementos que ocupan el mismo lugar en ambas son iguales

Dos matrices son iguales cuando tienen la misma dimensión y los elementos que ocupan el mismo lugar en ambas son iguales Introducción Las matrices aparecen por primera vez hacia el año 1850, introducidas por J.J. Sylvester. El desarrollo inicial de la teoría se debe al matemático W.R. Hamilton en 1853. En 1858, A. Cayley

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

EXPRESIONES ALGEBRAICAS EXPRESIONES ALGEBRAICAS Y POLINOMIOS

EXPRESIONES ALGEBRAICAS EXPRESIONES ALGEBRAICAS Y POLINOMIOS EXPRESIONES ALGEBRAICAS Trabajar en álgebra consiste en manejar relaciones numéricas en las que una o más cantidades son desconocidas. Estas cantidades se llaman VARIABLES, INCÓGNITAS o INDETERMINADAS

Más detalles

Computabilidad y Lenguajes Formales: Autómatas de Pila

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

16 Análisis sintáctico I

16 Análisis sintáctico I 2 Contenido Recordando la estructura de un compilador Recordando el análisis léxico l análisis sintáctico Comparación con el análisis léxico l Rol del Parser Lenguajes de programación Gramáticas structura

Más detalles

Una cadena sobre Σ es cualquier secuencia de elementos de longitud finita sobre Σ.

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

Es un conjunto de palabras y símbolos que permiten al usuario generar comandos e instrucciones para que la computadora los ejecute.

Es un conjunto de palabras y símbolos que permiten al usuario generar comandos e instrucciones para que la computadora los ejecute. Los problemas que se plantean en la vida diaria suelen ser resueltos mediante el uso de la capacidad intelectual y la habilidad manual del ser humano. La utilización de la computadora en la resolución

Más detalles

Algebra Lineal XIX: Rango de una Matriz y Matriz Inversa.

Algebra Lineal XIX: Rango de una Matriz y Matriz Inversa. Algebra Lineal XIX: Rango de una Matriz y Matriz Inversa José María Rico Martínez Departamento de Ingeniería Mecánica Facultad de Ingeniería Mecánica Eléctrica y Electrónica Universidad de Guanajuato email:

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

mi la sol fa si Un conjunto está bien definido si se puede establecer sin dudar si un elemento pertenece o no al conjunto.

mi la sol fa si Un conjunto está bien definido si se puede establecer sin dudar si un elemento pertenece o no al conjunto. CONJUNTOS LENGUJE SIMÓLICO Cada día, en nuestra conversación, por la televisión, en la lectura de por ejemplo un diario, o en el trabajo está presente la idea de conjunto. En matemática utilizaremos la

Más detalles

Matemáticas Discretas L. Enrique Sucar INAOE. Permutaciones y Combinaciones

Matemáticas Discretas L. Enrique Sucar INAOE. Permutaciones y Combinaciones Matemáticas Discretas L. Enrique Sucar INAOE Permutaciones y Combinaciones Contenido Introducción Reglas de la suma y el producto Permutaciones Combinaciones Generación de permutaciones Teorema del Binomio

Más detalles

Propiedades de los Lenguajes Libres de Contexto

Propiedades de los Lenguajes Libres de Contexto de los s de los Lenguajes Libres de Contexto INAOE (INAOE) 1 / 47 Contenido de los s 1 2 -ɛ 3 4 5 6 de los s (INAOE) 2 / 47 () de los s Queremos mostrar que todo (sin ɛ) se genera por una CFG donde todas

Más detalles

Cliente- Servidor. Bases de Datos Distribuidas

Cliente- Servidor. Bases de Datos Distribuidas 1 2 3 4 Cliente- Servidor La tecnología que se utiliza habitualmente para distribuir datos es la que se conoce como entorno (o arquitectura) cliente/servidor (C/S). Todos los SGBD relacionales del mercado

Más detalles

Clase 14: Gramáticas libres de contexto

Clase 14: Gramáticas libres de contexto M. en C. Edgardo Adrián Franco Martínez http://computacion.cs.cinvestav.mx/~efranco @efranco_escom edfrancom@ipn.mx 1 Contenido Gramáticas libres de contexto Propiedades de los lenguajes libres de contexto

Más detalles

Algebra de Boole y simplificación de funciones lógicas. Capítulo 4

Algebra de Boole y simplificación de funciones lógicas. Capítulo 4 Algebra de Boole y simplificación de funciones lógicas Capítulo 4 Contenido 1. Expresiones y operaciones Booleanas 2. Propiedades y Reglas del Algebra de Boole 3. Teoremas de DeMorgan 4. Análisis booleano

Más detalles

DEFINICIONES BÁSICAS E INTRODUCCIÓN A LENGUAJES FORMALES

DEFINICIONES BÁSICAS E INTRODUCCIÓN A LENGUAJES FORMALES 1 DEFINICIONES BÁSICAS E INTRODUCCIÓN A LENGUAJES FORMALES Los LENGUAJES FORMALES están formados por PALABRAS, las palabras son CADENAS y las cadenas están constituidas por SÍMBOLOS de un ALFABETO. SÍMBOLOS

Más detalles

PROCESADOR DE TEXTOS: WRITER

PROCESADOR DE TEXTOS: WRITER PROCESADOR DE TEXTOS: WRITER Profesor: José María González Centro: I.E.S. AZAHAR - ( Antas Almería ) Teoría OpenOffice Writer Capítulo I: Formato Documento Nivel de Dificultad: Medio 1. Creación y eliminación

Más detalles

Motores de aluminio de aplicación general Tamaños 56-100

Motores de aluminio de aplicación general Tamaños 56-100 3 Motor Nº. V CL. EFF 1 IP Hz r/min kw A IEC 34-1 Cos. kg EFF 1 3 Motor CL. IP IEC 34-1 Nº. V Hz r/min kw A Cos. EFF 1 3 Motor CL. IP IEC 34-1 Nº. V Hz r/min kw A Cos. kg kg Motores de aluminio de aplicación

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 (gramáticas y autómatas)

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

Material educativo. Uso no comercial 2.4 EJERCICIOS PROPUESTOS

Material educativo. Uso no comercial 2.4 EJERCICIOS PROPUESTOS 2.4 EJERCICIOS PROPUESTOS Temas: La geometría Euclidiana como una teoría deductiva. Axiomas de Incidencia. Axiomas de Orden. 1. En la geometría Euclidiana como una teoría deductiva, indique para cada uno

Más detalles

Matemáticas Aplicadas a los Negocios

Matemáticas Aplicadas a los Negocios LICENCIATURA EN NEGOCIOS INTERNACIONALES Matemáticas Aplicadas a los Negocios Unidad 4. Aplicación de Matrices OBJETIVOS PARTICULARES DE LA UNIDAD Al finalizar esta unidad, el estudiante será capaz de:

Más detalles

Problemas Seleccionados Resueltos: Máquinas de Turing

Problemas Seleccionados Resueltos: Máquinas de Turing Problemas Resueltos: Máquinas de Turing 1 Problemas Seleccionados Resueltos: Máquinas de Turing 1. Diseñar una máquina de Turing que al serle introducida una sucesión finita de 1, escritos en casillas

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

Restauración de muebles de madera 1

Restauración de muebles de madera 1 BRICOLAJE - CONSTRUCCIÓN - DECORACIÓN - JARDINERÍA Restauración de muebles de madera Limpieza y preparación de la madera www.leroymerlin.es Leroy Merlin, S.A., 003 Herramientas y materiales H E R R A M

Más detalles

BLOQUE V. CONTROL Y PROGRAMACIÓN DE SISTEMAS AUTOMÁTICOS

BLOQUE V. CONTROL Y PROGRAMACIÓN DE SISTEMAS AUTOMÁTICOS Bloque V. Control y programación de sistemas automáticos pág. 1 Bloque V. Control y programación de sistemas automáticos pág. 2 BLOQUE V. CONTROL Y PROGRAMACIÓN DE SISTEMAS AUTOMÁTICOS 1. LA INFORMACIÓN

Más detalles

5 Autómatas de pila 5.1 Descripción informal. 5.2 Definiciones

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

Teoría de anillos. Dominios, cuerpos y cuerpos de fracciones. Característica de un cuerpo.

Teoría de anillos. Dominios, cuerpos y cuerpos de fracciones. Característica de un cuerpo. 1 Tema 5.-. Teoría de anillos. Dominios, cuerpos y cuerpos de fracciones. Característica de un cuerpo. 5.1. Anillos y cuerpos Definición 5.1.1. Un anillo es una terna (A, +, ) formada por un conjunto A

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

Tema: Autómata de Pila

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

No todos los LRs finitos se representan mejor con ERs. Observe el siguiente ejemplo:

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

Conjuntos Los conjuntos se emplean en muchas áreas de las matemáticas, de modo que es importante una comprensión de los conjuntos y de su notación.

Conjuntos Los conjuntos se emplean en muchas áreas de las matemáticas, de modo que es importante una comprensión de los conjuntos y de su notación. NÚMEROS REALES Conjuntos Los conjuntos se emplean en muchas áreas de las matemáticas, de modo que es importante una comprensión de los conjuntos y de su notación. Un conjunto es una colección bien definida

Más detalles

APUNTES DE FUNDAMENTOS DE MATEMATICA. CASO I: Cuando todos los términos de un polinomio tienen un factor común.

APUNTES DE FUNDAMENTOS DE MATEMATICA. CASO I: Cuando todos los términos de un polinomio tienen un factor común. FACTORIZACION DE POLINOMIOS. CASO I: Cuando todos los términos de un polinomio tienen un factor común. Cuando se tiene una expresión de dos o más términos algebraicos y si se presenta algún término común,

Más detalles

Sentido de recorrido. q i

Sentido de recorrido. q i Sentido de recorrido σ Cinta Cabeza de lectura γ Pila i Unidad de control de estados Componentes básicos de un autómata con pila. σ i 1 σ i j σ i j+1 σ i p Z (a) γ l 1 γ l 2 γ l σ i 1 σ i j σ i j+1 σ i

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

3. Ecuaciones, parte I

3. Ecuaciones, parte I Matemáticas I, 2012-I La ecuación es como una balanza Una ecuación es como una balanza en equilibrio: en la balanza se exhiben dos objetos del mismo peso en ambos lados mientras que en la ecuación se exhiben

Más detalles

Expresiones Regulares y Derivadas Formales

Expresiones Regulares y Derivadas Formales Motivación e Ideas y Derivadas Formales La Derivación como Operación. Universidad de Cantabria Esquema Motivación e Ideas 1 Motivación e Ideas 2 3 Motivación Motivación e Ideas Sabemos como son los conjuntos

Más detalles

CuadraTurnos (ios) Manual de usuario. (Guía rápida)

CuadraTurnos (ios) Manual de usuario. (Guía rápida) CuadraTurnos (ios) Manual de usuario (Guía rápida) Contenido 1.- Introducción... 3 2.- Configuración Básica... 4 2.1.- Establecer o modificar un turno en un día... 4 2.2.- Perfiles... 5 2.2.1.- Crear un

Más detalles

Análisis y síntesis de sistemas digitales combinacionales

Análisis y síntesis de sistemas digitales combinacionales Análisis Algoritmo de análisis, para un circuito lógico combinacional Síntesis. Conceptos Circuitos combinacionales bien construidos Circuitos combinacionales mal construidos Criterios de optimización

Más detalles

Clase 8 Matrices Álgebra Lineal

Clase 8 Matrices Álgebra Lineal Clase 8 Matrices Álgebra Lineal Código Escuela de Matemáticas - Facultad de Ciencias Universidad Nacional de Colombia Matrices Definición Una matriz es un arreglo rectangular de números denominados entradas

Más detalles