Curso Básico de Computación

Documentos relacionados
Árboles. Un grafo no dirigido es un árbol si y sólo si existe una ruta unica simple entre cualquiera dos de sus vértices.

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

06 Análisis léxico II

Lenguajes, Gramáticas y Autómatas Conceptos

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

GRAMATICAS LIBRES DEL CONTEXTO

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

Lenguajes y Gramáticas

Autómatas Finitos Deterministicos (DFA)

Tema 2. Fundamentos de la Teoría de Lenguajes Formales

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

Definición 1.1 Sea G = (V, A) un grafo no dirigido. G se denomina árbol si es conexo y no contiene ciclos.

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

Sumario: Teoría de Autómatas y Lenguajes Formales. Capítulo 2: Lenguajes Formales. Capítulo 2: Lenguajes Formales

Clase 03: Alfabetos, símbolos y cadenas

Centro Asociado Palma de Mallorca. Tutor: Antonio Rivero Cuesta

Es un conjunto de objetos llamados vértices o nodos unidos por enlaces llamados aristas o arcos, que permiten representar relaciones binarias entre

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

Francis Guthrie Planteo el problema de los cuatro colores, después de colorear el mapa de Inglaterra 9/15/2015 3

Lenguajes (gramáticas y autómatas)

Autómatas Deterministas. Ivan Olmos Pineda

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

TEORÍA DE CONJUNTOS.

Computabilidad y Lenguajes Formales: Autómatas Finitos

Expresiones Regulares y Derivadas Formales

Introducción a la Teoría de Grafos

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

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

Un grafo G = (V, E) se dice finito si V es un conjunto finito.

En la fig. 1 se representa el grafo, G=(V,A) donde: V = {1, 2, 3, 4, 5, 6} A = { {1,2}, {1,3}, {1,5}, {3}, {3,4}, {4,5}, {5,6} }

Autómatas de Pila. Descripciones instantáneas o IDs. El Lenguaje de PDA. Equivalencia entre PDAs y CFGs INAOE (INAOE) 1 / 50

Tema: Los Grafos y su importancia para la optimización de redes.

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

Expresiones regulares, gramáticas regulares

Algoritmos y estructuras de datos

Introducción a los códigos compresores

Teoría de Autómatas y Compiladores [ICI-445] Capítulo 1: Lenguajes y Gramáticas Formales

ARITMÉTICA MODULAR. Unidad 1

UNIDAD 9. DATOS COMPLEJOS PILAS

Computabilidad y Lenguajes Formales: Autómatas de Pila

NOCIÓN DE PUNTO, RECTA Y PLANO

Procesadores de Lenguaje

Procesadores de Lenguaje

Teoría de Autómatas y Lenguajes Formales

Estructuras Algebraicas

Conjuntos y relaciones

V 2 : vectores libres en el plano

Fundación Uno. 2x La gráfica que se muestra en la figura siguiente corresponde a la función:

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

TEMA 1: NÚMEROS NATURALES. SISTEMA DE NUMERACIÓN

MATEMÁTICAS BÁSICAS UNIVERSIDAD NACIONAL DE COLOMBIA - SEDE MEDELLÍN ANGULOS Y TRIANGULOS

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

LEX. Las definiciones y subrutinas son opcionales. El segundo %% es opcional pero el primer %% indica el comienzo de las reglas.

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

El ente básico de la parte de la matemática conocida como ANÁLISIS, lo constituye el llamado sistema de los número reales.

PSU Matemática NM-4 Guía 23: Isometrías. Nombre: Curso: Fecha: -

GIMNASIO VIRTUAL SAN FRANCISCO JAVIER Valores y Tecnología para la Formación Integral del Ser Humano UNIDAD I FUNCIONES

Grafos. Algoritmos y Estructuras de Datos III

3.1. Distancia entre dos puntos. Definición 3.1. Sean a, b e, se llama distancia entre los números a y b que se denota por d (a, b), a la cantidad:

Algebra lineal y conjuntos convexos

Unidad 4. Autómatas de Pila

Inducción Matemática Conjuntos Funciones. Matemática Discreta. Agustín G. Bonifacio UNSL. Repaso de Inducción, Conjuntos y Funciones

TEMA 2: TEORÍA DE CONJUNTOS Y CONJUNTOS NUMÉRICOS.

Definición 1 Un semigrupo es un conjunto E provisto de una operación binaria asociativa sobre E, se denota por (E, ).

TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES

Álgebra y Trigonometría Clase 7 Sistemas de ecuaciones, Matrices y Determinantes

Matrices. José Vicente Romero Bauset. ETSIT-curso 2009/2010. José Vicente Romero Bauset Tema 1.- Matrices. 1

Notas de Clase. Prof. Juan Andrés Colmenares, M.Sc. Instituto de Cálculo Aplicado Facultad de Ingeniería Universidad del Zulia. 21 de febrero de 2004

Capítulo 1 Lenguajes formales 6

Conceptos básicos de Geometría Plana (Parte I)

Clase 17: Autómatas de pila

Subtemas: -Congruencia De Triángulos. -Tipos De Ángulos. -Tipos De Triángulos

LA RECTA Y SUS ECUACIONES

1. Números reales. Análisis de Variable Real

Sistemas de numeración, operaciones y códigos.

Por ser f continua y R compacto, existen x 0, y 0 en R tales que f(x 0 ) = sup{f(t) : t R} y f(y 0 ) = inf{f(t) : t R}

Grafos. Amalia Duch Brown Octubre de 2007

RESOLUCIÓN DE TRIÁNGULOS

Estructuras Algebraicas Una estructura algebraica es un objeto matemático consistente en un conjunto no vacío, con por lo menos una operación binaria.

Apuntes de Matemática Discreta 6. Relaciones

Análisis Matemático I: Numeros Reales y Complejos

Recordemos que utilizaremos, como es habitual, la siguiente notación para algunos conjuntos de números que son básicos.

BLOQUE 1. LOS NÚMEROS

Definición: Dos matrices A y B son iguales si tienen el mismo orden y coinciden los elementos que ocupan el mismo lugar.

En una recta numérica el punto que representa el cero recibe el nombre de origen.

CIRCUITOS LÓGICOS. Lógica FCE 1. ALGEBRA DE BOOLE

Teoría de grafos y optimización en redes

TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Grado en Ingeniería Informática Online, Curso Universidad Rey Juan Carlos

Capítulo 6. Relaciones. Continuar

METODOS DE REPRESENTACIÓN

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

MANEJO DE EXPRESIONES REGULARES

Para definir en formalmente el juego se deberá establecer:

Conjuntos y Conjuntos Numéricos

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

Problemas métricos. Ángulo entre rectas y planos

MATEMÁTICA DISCRETA: Conjuntos, combinatoria y grafos. Roberto J. de la Fuente López. Versión (corrección de erratas a versión )

Minicurso de Teoría de Gráficas Escuela de Verano 2014 por María Luisa Pérez Seguí Facultad de Ciencias Físico-Matemáticas, Universidad Michoacana

UNIDAD DE APRENDIZAJE I

Transcripción:

CINVESTAV IPN México City <fsagols@math.cinvestav.mx> 2010

1 Preliminares 1.1 Cadenas, alfabetos y lenguajes Un símbolo es un ente abstracto que no se puede definir formalmente. Letras o dígitos son ejemplos que frecuentemente usan símbolos. Una cadena (o palabra) es una secuencia finita de símbolos. Por ejemplo : a, b y c son símbolos y abcb es una cadena. La longitud de una cadena w, denotadapor w, esel número de símbolos que componen la cadena. Por ejemplo : abcb tiene longitud 4. La cadena vacía, denotada por ɛ, es la cadena que contiene cero símbolos. Así ɛ = 0.

Un prefijo de una cadena α es cualquier secuencia con los primeros n símbolos de la cadena (donde 0 n α ), y un sufijo es cualquier secuencia con los últimos n símbolos de la cadena. Por ejemplo : la cadena abc tiene prefijos ɛ, a, ab y abc ;ylossufijossonɛ, c, bc y abc.

La concatenación de dos cadenas es una cadena formada por la primera seguida de la segunda, sin espacio. Es decir, si w y x son cadenas, entonces wx es la concatenación de esas dos cadenas. La cadena vacía es la identidad para el operador concatenación. Es decir, ɛw = wɛ = w para cada cadena w.

Un albafeto es un conjunto finito de símbolos. Un lenguaje formal es un conjunto de cadenas de símbolos de algún alfabeto. El conjunto vacío,, y el conjunto que contiene a la cadena vacia {ɛ} son lenguajes. El conjunto de palíndromos (cadenas que se leen igual de izquierda a derecha que de derecha a izquierda) sobre el alfabeto {0, 1} es un lenguaje infinito. Otro lenguaje es el conjunto de todas las cadenas sobre un alfabeto fijo Σ. Denotamos a este lenguaje por Σ. Por ejemplo, si Σ={a}, entonces Σ = {ɛ, a, aa, aaa,...}.

1.2 Gráficas y árboles Una gráfica, denotadaporg =(V, E), consiste de un conjunto finito de vértices (o nodos) V y un conjunto de pares de vértices E llamadas aristas. Una gráfica se muestra en la siguiente figura, donde V = {1, 2, 3, 4, 5} E = {(n, m) n + m = 4 o n + m = 7} 1 2 3 4 5

Un camino en una gráfica es una secuencia de vértices v 1, v 2,..., v k, k 1, tal que existe una arista (v i, v i+1 ) para cada i, 1 i < k. Lalongitud de un camino es k 1. Por ejemplo, 1,3, 4 es un camino para la gráfica anterior, también lo es 5. Si v i = v k,elcaminoesunciclo.

Gráficas dirigidas Una gráfica dirigida (o digráfica), denotada por G =(V, E), consiste de un conjunto finito de vértices V y un conjunto de pares ordenados de vértices E llamados arcos. Se denota un arco de v a w por v w. Un ejemplo de una digráfica es : 1 2 3 4

Un camino en una digráfica es una secuencia de vértices v 1, v 2,..., v k, k 1, tal que v i v i+1 es un arco para cada i, 1 i < k. Y se dice que el camino es de v i a v k.así,parala digráfica anterior, 1 2 3 4esuncaminode1a4.Si v w es un arco se dice que v es predecesor de w y w es sucesor de v.

Árboles Un árbol es una digráfica con las siguientes propiedades : 1 Existe un vértice, llamado raíz, que no tiene predecesor y del cual existe un camino para cada vértice. 2 Cada vértice distinto al raíz tiene exactamente un predecesor. 3 Los sucesores de cada vértice son ordenados a partir de la izquierda. Un árbol se dibuja con el nodo raíz en el tope y todos los arcos apuntando hacia abajo. Los sucesores de cada vértice se dibujan ordenados de izquierda a derecha.

Un sucesor de un vértice es llamado hijo, y el predecesor es llamado padre. Si existe un camino del vértice v 1 al vértice v 2, entonces a v 1 se le llama ancestro de v 2,yv 2 es llamado descendiente de v 1. Un vértice que no tiene hijos es llamado hoja, y los otros vértices son llamados vértices interiores. Tarea : Resolver los ejercicios del Capitulo 1 del libro de Hopcroft.