Вы находитесь на странице: 1из 19

Lenguaje y gramtica

Conocemos lenguajes naturales...

espaol, alemn, ingls, chino, rabe...


se puede aprender cualquier lenguaje (por lo menos si

se ha nacido en un entorno adecuado)

el lenguaje es una secuencia de fonemas o smbolos que forman slabas, palabras, frases, prrafos,

captulos, novelas, libros, bibliotecas... que tiene una sintaxis (fontica o ortografa) que tiene una gramtica (reglas de concatenacin y construccin de palabras para formar frases) (que tiene un estilo (forma de unir frases para generar textos))

Lenguajes formales sern meramente smbolos con

una gramtica formal para agruparlos. Son conjuntos de palabras, estn compuestos sobre determinado alfabeto.

Es necesario tener en cuenta el lenguaje compuesto

por todas las cadenas sobre el alfabeto . Se conoce como cerradura de o lenguaje universal sobre y se denota por *
Por ejemplo, si tenemos el alfabeto ={1}, entonces

* = {, 1, 11, 111, 1111, }

Una gramtica formal es una estructura matemtica con un conjunto de reglas de formacin que definen las cadenas de caracteres admisibles en un determinado lenguaje formal o lengua natural.

Lenguajes Tipo 0, Gramticas Generales y Mquinas de

Turing. Lenguajes Tipo 1, Gramticas Sensitivos al Contexto y Autmatas Linealmente Acotados Lenguajes Tipo 2, Gramticas Libres de Contexto y Autmatas Finitos con Pila Lenguajes Tipo 3, Gramticas Regulares y Autmatas Finitos

x puede ser sustituido por y si x est, ya sea, en los smbolos No Terminales o los smbolos Terminales, sin incluir la cadena vaca y est en los smbolos No Terminales o Terminales, incluyendo la cadena vaca.

puede ser reemplazado por si la longitud de es menor o igual a la longitud de , siendo un smbolo Terminal o una cadena vaca z1, seguido de un smbolo No Terminal z2, seguido de otro smbolo Terminal o una cadena vaca z2. z1 debe ser el mismo smbolo z1 de seguido de un smbolo No Terminal o Terminal sin ser la cadena vaca, seguido del smbolo z2.

x puede ser reemplazado por y si x pertenece a los smbolos No Terminales e y es un Terminal o No Terminal, incluyendo la cadena vaca. Mquinas que los pueden leer: Autmata a Pila (Pushdown Automaton)

Tambin llamada "De contexto regular puede ser reemplazado por si pertenece a los smbolos No Terminales y es uno de estos 3: Un smbolo Terminal no nulo seguido de un No Terminal. Un smbolo No Terminal seguido de un smbolo Terminal no nulo. Un smbolo Terminal pudiendo ser la cadena vaca.

sean L, L1, L2, L3 lenguajes (igual para

W()):

Ejemplos. Operaciones con cadena Concatenacin: Si w= banana Y z= rama bananarama

*La concatenacin de con cualquier otra palabra w, no modifica la palabra w. por esta razn se comporta como la identidad con respecto a la operacin de concatenacin. Ejemplo: si w=122 sobre el alfabeto ={1,2}, se tiene: W0 = W1=122 W2=122122 W3=122122122

La inversa o transpuesta de una palabra w es la imagen que refleja w. Ejemplo: si w= able entonces su inversa es elba. Para denotar la inversa de w se usa wI w si w= wI= yI a, si w=ay por tanto a y y *

Por ejemplo:

XI= (able)I = (ble)I a


= (le)I ba = (e)I lba = ()I elba =elba =elba

A*B esta formado por todas las cadenas que se forman

concatenando cada cadena de A con todas las cadenas de B.


Ejemplo: si A={casa} y B={pjaro, rana} entonces A*B

seria el lenguaje {casapajaro, casarana}