Instituto Tecnolgico de Tuxtla Gutirrez

Teora de la Computacin

Introduccin Tema: Cadenas, Lenguajes y Autmatas.

Por contraposicin al lenguaje propio de los seres vivos y en especial el lenguaje humano, considerados lenguajes naturales, se denomina lenguaje formal a los lenguajes artificiales propios de las matemticas o la informtica, los lenguajes artificiales son llamados lenguajes formales (incluyendo lenguajes de programacin). En matemticas, lgica, y ciencias de la computacin, un lenguaje formal es un conjunto de palabras (cadenas de caracteres) de longitud finita en los casos ms simples o expresiones vlidas (formuladas por palabras) formadas a partir de un alfabeto (conjunto de caracteres) finito. El nombre lenguaje se justifica porque las estructuras que con este se forman tienen reglas para la formacin de expresiones vlidas (gramtica) e interpretacin de estas expresiones semntica (significado) en una forma muy similar a los lenguajes usados por el ser humano. La idea bsica es considerar a un lenguaje como un conjunto compuesto por cadenas de longitud finita formadas por smbolos tomados de un alfabeto. Es decir, dado un alfabeto , decimos que , (para un dado, que llamamos longitud de ) es una cadena construida con smbolos de . Si tenemos la cadena llamada vacia, y denotada por . Al conjunto formado por de todas las cadenas que se pueden construir con las letras de dicho alfabeto se le llama lenguaje universal y se le denota por * . Es evidente que el nmero de elementos de * es infinito numerable. Entre las cadenas, como elementos de * , se define una operacin, llamada concatenacin, mediante la cual a dos cadenas dadas cadena obtenida por yuxtaposicin de *, e , sera : . ; es decir, si *, entonces la cadena * se le asocia otra

Llamamos lenguaje construido con el alfabeto , a cualquier subconjunto L de *. Diremos que un lenguaje es finito, si es finito el nmero de cadenas de que consta; en otro caso diremos que es infinito. El lenguaje vacio no tiene ninguna cadena (que no debe confundirse con el lenguaje que solo tiene la cadena vaca). El subconjunto L se construye cumpliendo un conjunto de reglas lxicas, sintcticas y semnticas. Las reglas mediante las cuales se concatenan los elementos del alfabeto ( ) para formar las cadenas o palabras que forman el lenguaje es el Lxico y las reglas para la yuxtaposicin x,y esta definida como la gramtica y semntica del lenguaje.

Pgina 1 de 3

Instituto Tecnolgico de Tuxtla Gutirrez

Teora de la Computacin

Para definir las reglas lxicas se pueden utilizar expresiones regulares o autmatas finitos

La gramtica en un lenguaje formal la definimos como:

Donde

es un alfabeto llamado vocabulario no terminal; son de la forma

es un alfabeto, , donde

llamado vocabulario terminal. Las reglas de

, llamado smbolo inicial. Para generar una palabra y , un smbolo de mediante la gramtica , nos apoyamos en secuencias de cadenas de smbolos, . Estas secuencias (cada una de las cuales es llamada derivacin), se construyen del siguiente modo: 1: El primer elemento de la derivacin es siempre el smbolo inicial S (es decir, siempre 2: A partir de un elemento pertenecen a , y la regla (escribiremos 3: Si , obtenida aplicando , entonces decimos que A la derivacin veces el procedimiento anterior, pertenece a es una palabra generada por . ) se pasa al siguiente ) , mediante una regla de , entonces ser , (donde y ).

, es decir, si ,

, se la puede expresar:

o simplemente

Pgina 2 de 3

Instituto Tecnolgico de Tuxtla Gutirrez

Teora de la Computacin

que podra leerse: simplemente:

se obtiene por derivacin de en una derivada de .

aplicando reglas de

,o

Resumiendo un lenguaje es un conjunto de smbolos junto a un conjunto de reglas que se usan para expresar las rdenes en un programa. Constan de un lxico, una sintaxis y una semntica. Lxico : Conjunto de smbolos permitidos o vocabulario Sintaxis : Reglas que indican cmo realizar las construcciones del lenguaje Semntica: Reglas que permiten determinar el significado de cualquier construccin del lenguaje.

Pgina 3 de 3