Lenguajes y autmatas I

Investigacin

5/02/2014

HERRAMIENTAS COMPUTACIONALES LIGADAS CON LENGUAJES

Editores de estructuras: Un editor de estructuras toma como entrada una secuencia de rdenes para construir un programa fuente. El editor de estructuras no slo realiza las funciones de creacin y modificacin de textos de un editor de textos ordinario, sino que tambin analiza el texto del programa, imponiendo al programa fuente una estructura jerrquica apropiada. De esa manera, el editor de estructuras puede realizar tareas adicionales tiles para la preparacin de programas Concepto encontrado en el libro de Compiladores de Addison Wesley, a mi punto de vista estos editores de estructura son los que se encarga de llevar el orden de las palabras, valla el acomodo y comprobar si la entrada est formada correctamente. Impresoras estticas: Una impresora esttica analiza un programa y lo imprime de forma que la estructura del programa resulte claramente visible Concepto encontrado en el libro de Compiladores de Addison Wesley. Verificadores estticos: este verificador lee un programa, lo analiza e intenta descubrir errores potenciales sin correr el programa, algo muy parecido a la correccin de los editores de texto como Word. Un verificador esttico puede detectar si hay partes de un programa que nunca se podrn ejecutar o si cierta variable se usa antes de ser definida nos dice Addison Wesley. Intrpretes: En lugar de producir un programa objeto como resultado de una traduccin, un intrprete realiza las operaciones que implica el programa fuente. Muchas veces los interpretes se usan para ejecutar lenguajes de rdenes, pues cada operador que se ejecuta en un lenguaje de ordenes suele ser una invocacin de una rutina compleja, como un editor o un compilador es el encargado de

COMPILADOR CONVENCIONAL Formadores de textos: Un formador de textos toma como entrada una cadena de caracteres, la mayor parte de la cual es texto para componer, pero alguna incluye rdenes para indicar prrafos, figuras o estructuras matemticas como subndices o superndices esto con comento el autor del libro de Compiladores Addison Wesley. Intrpretes de consultas: Un intrprete de consultas traduce un predicado que contiene operadores relacionales y booleanos a rdenes para buscar en una base de datos registros que satisfagan ese predicado

Daniel Hernndez Morales

Lenguajes y autmatas I

Investigacin

5/02/2014

Tipos de Lenguaje
A pesar de su aparente homogeneidad, el lenguaje puede subdividirse en tipologas, atendiendo a sus caractersticas. Considerando el grado de artificialidad y convencionalidad que interviene en la construccin de smbolos o signos del lenguaje, ste puede ser, nicamente, natural o artificial. El lenguaje natural, tambin llamado lenguaje ordinario, es el que utiliza una comunidad lingstica con el fin primario de la comunicacin y se ha construido con reglas y convenciones lingsticas y sociales durante el perodo de constitucin histrica de esta sociedad. Es el lenguaje que hablamos todos. El individuo, por el hecho de nacer en sociedad, acepta normativamente el lenguaje de su propia comunidad lingstica; el influjo que el individuo puede ejercer sobre el lenguaje, pasa nicamente por el hecho de hablarlo, por el habla. Son ejemplos de lenguaje natural el castellano, el cataln, el vasco o el gallego, en Espaa, y cualquier otro idioma que se hable en alguna parte del mundo. El lenguaje natural se considera un instrumento sumamente adaptado a la comunicacin de la vida ordinaria, pero ambiguo y vago si hemos de atender al punto de vista de la comunicacin cientfica. El lenguaje artificial, en oposicin al natural, tiene como finalidad evitar justamente- los inconvenientes de ambigedad y vaguedad de los lenguajes naturales u ordinarios y, por ello, presenta un grado de artificialidad y convencionalidad mucho mayor por lo que se refiere a la construccin de smbolos y al significado que se les asigna. Smbolos y significados no pertenecen a ninguna comunidad natural de hablantes, sino a grupos de hablantes relacionados por objetivos cientficos o tcnicos. El lenguaje artificialmente construido se divide en tcnico y formal. El lenguaje tcnico utiliza el lenguaje natural, pero previamente definido en gran parte de sus trminos, de manera que las palabras adquieren tcnicamente un significado propio y adecuado a los fines de la comunidad que las utiliza. As, el lenguaje tcnico de la fsica, por ejemplo, define el sentido en que utiliza trminos, tambin propios del lenguaje ordinario, como son fuerza, masa, velocidad, espacio, etc., y el lenguaje tcnico de la medicina, oscuro para los profanos, es sumamente til para la prctica mdica. El lenguaje formal, a su vez, es una clase de lenguaje artificial en el que no slo se construyen artificial y convencionalmente los smbolos propios del lenguaje, sino tambin sus reglas de construccin y sus reglas de transformacin, convirtindose en la prctica en un clculo. Los lenguajes formales, si adoptan adems una interpretacin, se convierten en lenguajes plenamente formalizados.

Daniel Hernndez Morales