TIPOS DE LENGUAJES

RAFAEL ANAXIMANDRO ROBLES AGUILAR 25 de agosto de 2013

INGENIERA EN SISTEMAS COMPUTACIONALES LENGUAJES Y AUTMATAS II

INVESTIGACIN
10510558

Resumen
En esta investigacin se muestran los diferentes tipos de lenguajes y como tienen la utilizacin en los lenguajes de programacin, adems tambin en el documento se tomaran en cuenta las a jerarqua de Chomsky, que son las bases utilizadas para la realizacin de proyectos como analizadores lxicos, sintcticos y semnticos. Una pequea denicin de un lenguaje es: el empleo de notaciones, seales y vocales (voz, palabras) para expresar ideas, comunicarse, y establecer relaciones entre los seres humanos.

1.

Lenguajes
Un lenguaje no slo consta de palabras, sino tambin de su pro-

nunciacin y los mtodos para combinar las palabras en frases y oraciones; los lenguajes se forman mediante combinaciones de palabras denidas en un diccionario terminolgico previamente establecido. Las combinaciones posibles deben respetar un conjunto de reglas sintcticas establecidas, a ello se le conoce con el nombre de Sintaxis. Adems, las palabras deben tener determinado sentido, deben ser comprendidas por un grupo humano en un contexto dado, a ello se le denomina Semntica. Es un conjunto de palabras. Por tanto {1, 12, 123, 1234, 12345} es un lenguaje sobre un alfabeto compuesto por dgitos de forma similar, la coleccin de palabras inglesas correctas es un lenguaje sobre un alfabeto ingls. Obsrvese que si es un alfabeto tambin es un lenguaje  es tomado por todas las cadenas como un smbolo. Los lenguajes pueden ser bastantes claro en el caso de todas las palabras

correctas o el lenguaje {1, 11, 111, 1111, 11111, . . . . . . } formado por todas las cadenas nitas de unos.

(= {a, b, c, d, e,. . . . . . ., z} *) incluye cadena vaca = {w E * | toda w tenga la propiedad P}

1.1. Operaciones sobre lengua jes

Unin A u B {x | x E A V x E B} = {0, 1} A = {01, 11, 1}, B = {0011, 10} A u B = {01, 11, 1, 0011, 10} Interseccin A u B {x | x E A x E B} = {0, 1} A = {01, 10, 11}, B = {11, 00, 001} A u B = {11} Concatenacin = {a, b} A = {a, ba, ab}, B = {ba, aa} A . B = {aba, aaa, baba, baaa, abba, ab, aa} Diferencia A = {a, ba, da}, B = {ba, aa} A - B = {a, ab}
1.2. Tipos de lengua jes

1.2.1. Lenguaje natural

Est formado por un conjunto nitos de smbolos (palabras) y por un nmero determinado de reglas que nos permiten comunicarnos. Pero el lenguaje natural esta propagado de ambigedad, redundancia y lagunas.

1.2.2. Impresiones semnticas

En los lenguajes naturales no se da una correspondencia entre signos y objetos representados: hay palabras que son demasiadas vagas que estn mal denidas, otros tienen ms de un signicado.

1.2.3. Lenguaje articial

Es necesaria la creacin de un lenguaje articial que establezca el uso de los trminos y la informacin de enunciados los lenguajes articiales eliminan las impresoras del lenguaje ordinario. El lenguaje articial consta de los mismos elementos que cualquier otro lenguaje, signos y reglas, pero adems surge: Los signos estn bien escritos. Las reglas para la formacin de enunciados, permiten saber de manera inmediata si una formula est bien formada. Si las reglas para la transformacin de frmulas que permiten pasar de unas expresiones a otras de forma segura y exactas. 2

1.2.4. Lenguaje formal

Un lenguaje formal es aquella que utiliza una tabla de smbolos formales (constantes o variables), reglas para la formacin de frmulas (que legitimen la combinacin de smbolos) y transformacin de formula (que permiten operar con eciencia). La lgica y las matemticas, lenguaje articial que utiliza el lenguaje formal.7
1.3. Jerarqua de Chomsky

En 1956, Noam Chomsky clasic las gramticas en cuatro tipos de lenguajes y esta clasicacin es conocida como la jerarqua de Chomsky, en la cual cada lenguaje es descrito por el tipo de gramtica generado. Estos lenguajes sirven como base para la clasicacin de lenguajes de programacin. Los cuatro tipos son: lenguajes recursivamente enumerables, lenguajes sensibles al contexto, lenguajes libres de contexto y lenguajes regulares. Dichos lenguajes tambin se identican como lenguajes de tipo 0, 1, 2 y 3. Existe una exacta correspondencia entre cada uno de estos tipos de lenguajes y particulares arquitecturas de mquinas en el sentido que por cada lenguaje de tipo T hay una arquitectura de mquina A que reconoce el lenguaje de tipo T y por cada arquitectura A hay un tipo T tal que todos los lenguajes reconocidos por A son de tipo T. La correspondencia entre lenguajes y arquitectura son mostrados en la siguiente tabla.

Lenguajes Recursivamente Enumerables (de tipo 0) Son los lenguajes naturales. Las gramticas pueden tener reglas compresoras. Lenguajes Dependientes del Contexto (sensibles al contexto, de tipo 1) No existen reglas compresoras, salvo, opcionalmente, la que deriva el axioma a la palabra vaca. Existen reglas en las que un smbolo no terminal puede derivar a formas sentnciales distintas, segn los smbolos que aparezcan a su alrededor. Lenguajes Independientes del Contexto (de contexto libre, de tipo 2) La mayora de los lenguajes de programacin entran en sta categora. Lenguajes Regulares (de tipo 3) Se pueden expresar tambin mediante expresiones regulares. 3

1.3.1. Expresin regular

Una expresin regular es una forma de representar a los lenguajes regulares (nitos o innitos) y se construye utilizando caracteres del alfabeto sobre el cual se dene el lenguaje. Ms especcamente, las expresiones regulares se construyen utilizando los operadores unin, concatenacin y clausura de Kleene. Ejemplos simples 1. La expresin regular a.b (o simplemente ab) se lee a concatenado con b y representa al lenguaje L = {ab}. 2. La expresin regular dada por a + ab se lee a unin ab, es decir, a o ab y representa al lenguaje L = {a, ab}. El lenguaje de todas las palabras denidas sobre el alfabeto {a, b} que comienzan con a se puede representar mediante la expresin regular a(a + b) *.
Referencias

[1] Brena, R. (2003). unillano. Recuperado el 25 de agosto de 2013, de unillano:

http://fcbi.unillanos.edu.co/proyectos/Facultad/php/tutoriales/upload_tutos/Automatas%20Y%20Lenguajes.pdf

[2] Jacobo, M. . (s.f.). itchetumal. Recuperado el 25 de agosto de 2013, de itchetumal: http://www.itchetumal.edu.mx/paginasvar/Maestros/mduran/Archivos/Unidad %206 %20Introduccion %20a %20los %20lenguajes %20formales.pdf [3] Vicente. (s.f.). iqcelaya. Recuperado el 25 de agosto de 2013, de iqcelaya: http://www.iqcelaya.itc.mx/~vicente/Programacion/Lenguajes.pdf