Conceptos básicos Def. Un símbolo es cualquier carácter imprimible.

Slides:



Advertisements
Presentaciones similares
PROPIEDADES DE EXPONENTES, RADICALES
Advertisements

Francisco Carlos Calderón
Gramáticas, lenguajes y reconocedores
Teoría de Lenguajes Dr. Rogelio Dávila Pérez Profesor - Investigador
Gramáticas Libres de Contexto
Autómatas de pila (Pushdown automata)
Gramáticas.
Diseño de AFN’s.
Análisis Lexicográfico
Lenguajes y Expresiones Regulares
Autómata Finito Un autómata finito (AF) es un modelo de computación muy restringido, sin embargo tiene una gran aplicación en reconocimiento de patrones.
CADENAS Y LENGUAJES.
DEPARTAMENTO DE MATEMÁTICAS
TEORÍA DE CONJUNTOS.
Representación De La Información. Solo para principiantes.
TEÓRIA DE CONJUNTOS Profesor: Rubén Alva Cabrera.
Expresiones regulares
Tema 2 Autómatas finitos 1. Autómata finito determinista
Tema 1.- Lenguajes. Gramáticas
Taller matemático (Cálculo)
Factorización (productos notables)
EJERCICIOS DE EXPRESIONES REGULARES Y AUTOMATAS
UNIDAD 2 CONJUNTOS.
Teoría de conjuntos Un conjunto es una colección o clase de objetos bien definidos y diferenciables entre sí. Los conjuntos pueden ser finitos o infinitos.
FUNDAMENTOS DE LA TEORÍA DE CONJUNTOS
5. Propiedades de Cierre de los lenguajes regulares
Tema 1.- Lenguajes. Gramáticas
Tema 2 Lenguajes Formales.
Introducción a la Teoría de Lenguajes Preparado por Manuel E. Bermúdez, Ph.D. Profesor Asociado University of Florida Curso de Compiladores.
Programación de sistemas
Teoría de Conjuntos Prof. Carlos Coronel R..
EXPONENTES Y RADICALES
2º curso Ingeniería Técnica en Informática de Sistemas UNED
FUNCIONES, MATRICES Y DETERMINANTES
ANALISIS MATEMÁTICO PARA ECONOMISTAS IV
Lenguajes Independientes del Contexto
Autómatas de Pila Teoría del Autómata.
MATEMATICA BASICA I.
Teoría de lenguajes y compiladores
Tema 2 Autómatas finitos 1. Autómata finito determinista
Lenguajes regulares Teoría del Autómata.
Coordinación de Ciencias Computacionales - INAOE (Mini) Cursos Propedéuticos 2012 Ciencias Computacionales INAOE Dr. Hugo Jair Escalante
Teoría de lenguajes y compiladores Analizadores lexicográficos
Teoría de Autómatas I 2º curso Ingeniería Técnica en Informática de Sistemas UNED.
TEÓRIA DE CONJUNTOS.
ESPAD III * TC 4 POTENCIAS.
TEÓRIA DE CONJUNTOS.
Matrices y Determinantes
Lenguajes Formales y Autómatas
TEÓRIA DE CONJUNTOS Docente: Jesús Huaynalaya García.
Unidad I ÁLGEBRA BINARIA
JUAN LUIS CHAMIZO BLÁZQUEZ
1 AFDAFN AF Gramáticas lineales derecha Expresiones regulares Tema 2 Método de los AF Método de las derivadas Sistemas de Ecuaciones Tema 1.
Teoría de lenguajes y compiladores
TEÓRIA DE CONJUNTOS Profesor: Ing. Oscar Guaypatin Pico.
I.- ESTUDIO DE LOS LENGUAJES DE PROGRAMACIÓN.
UNIVERSIDAD DE GUADALAJARA Centro Universitario de Ciencias Económico Administrativas Departamento de Métodos Cuantitativos Ciclo 2012-A Curso Propedéutico.
RELACION Y OPERACIÓN ENTRE CONJUNTOS
Capítulo 3: Conjuntos Autor: José Alfredo Jiménez Murillo.
Lenguajes y Autómatas Alfabeto.- es un conjunto finito no vacío cuyos elementos se denominan símbolos Longitud de una palabra.- Es el número de símbolos.
IV. GRAMÁTICAS DISTRIBUIDAS Y TABLAS DE SÍMBOLOS
Unidad 2 Matrices.
TEÓRIA DE CONJUNTOS.
REPÚBLICA BOLIVARIANA DE VENEZUELA MINISTERIO DEL PODER POPULAR PARA LA EDUCACION SUPERIOR UNIVERSIDAD VALLE DEL MOMBOY CARVAJAL EDO. TRUJILLO ENERO 2014.
República Bolivariana de Venezuela Ministerio del Poder Popular para la Educación Superior Universidad Valle del Momboy Carvajal, Trujillo Alumnas Luzmila.
Unidad 2 Lenguajes, Expresiones Regulares, Autómatas
Teoría de Conjuntos Dr. Rogelio Dávila Pérez
INTRODUCCIÓN AL ALGEBRA
TEÓRIA DE CONJUNTOS.
Sintaxis y Semántica. S.Takahashi Fases en el proceso de análisis de lenguajes Lexer Parser caracteres tokensrespuesta.
Transcripción de la presentación:

Conceptos básicos Def. Un símbolo es cualquier carácter imprimible. Def. Una cadena es una secuencia finita de símbolos. Def. La longitud de una cadena w, se denota |w| y su valor es igual al número de símbolos contenidos en dicha cadena. Def. La cadena vacía , es la cadena consistente de cero símbolos (|| =0). Def. Un prefijo de una cadena es cualquier número de símbolos al inicio de la misma. Def. Un sufijo de una cadena es cualquier número de símbolos al final de la misma.

Conceptos Básicos Def. La concatenación de dos cadenas es la cadena formada al escribir la primera cadena seguida de la segunda. Ej. Si u y v son dos cadenas tales que u = abab y v = cdcd entonces: uv = ababcdcd vu = cdcdabab

Conceptos Básicos Propiedades de la concatenación uv  vu Sean u, v y w tres cadenas cualquiera, entonces tenemos: Cerradura. Si u y v son cadenas, uv también lo es. Conmutatividad. La concatenación no es conmutativa: uv  vu 3. Asociatividad. La concatenación es asociativa: (uv)w = u(vw) 4. La cadena vacía es la identidad con respecto a la operación de concatenación: u =  u = u

Conceptos Básicos Def. Un alfabeto es un conjunto finito, no vacío, de símbolos. Def. Un lenguaje (formal) es un conjunto de cadenas finitas de símbolos tomadas a partir de un cierto alfabeto. Def. El conjunto vacío , y el conjunto {} son lenguajes. (note que son distintos conjuntos; el segundo tiene un elemento, mientras que el primero ninguno, || = 0 y |{}| = 1). Def. Un palíndrome, sobre un alfabeto, es una cadena que se lee igual en una dirección que en otra. Ej.  = { 0, 1} palíndromes sobre  = {, 0, 1, 00, 11, 000, 111, 010, 101, 01110, …} Nota: El conjunto de palíndromes no forma un lenguaje.

Conceptos Básicos Si generalizamos la operación de concatenación sobre un conjunto A={a} tenemos: A0 =  A1 = {a} AA = A2 = {aa} A2 A = A3 = {aaa} … A* = A0 A1  A2  … = { , a, aa, aaa, aaaa, …}

Conceptos Básicos ej.  = {a, b} Def. Dado un alfabeto  cualquiera, es posible crear el lenguaje de todas las cadenas que se pueden generar a partir del mismo utilizando concatenación. A este lenguaje se le denomina Cerradura de Kleene sobre  , denotado *. ej.  = {a, b} * = { , a, b, aa, ab, ba, bb, aaa, aab, …}

Expresiones Regulares Def. Sea L un conjunto de cadenas formadas con elementos del alfabeto . Se denomina a L un conjunto regular si puede ser generado a partir , utilizando tan solo las operaciones de unión, concatenación y cerradura de Kleene. Def. Sea  un alfabeto cualquiera. Las expresiones regulares sobre  se definen de la siguiente manera: Ø (conjunto vacío) es una expresión regular.  (la palabra vacía) es una expresión regular. Si a  , entonces a es una expresión regular. Sean u y  expresiones regulares sobre , entonces: u +  , u y u* son expresiones regulares sobre . Ninguna expresión que no este definida en i y iv es expresión regular sobre .

Expresiones Regulares La notación u+= uu* , u2 = uu, u3= uu2, un = u un-1 Ejemplos de expresiones regulares: 00 (0 + 1)* (0 + 1)*00(0 + 1)* (1 + 10)* Indique que lenguaje define cada una de las expresiones mostradas.