Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Lenguaje y Autmatas
Muchas herramientas de software que manipulan programas fuentes realizan primero algn tipo de anlisis. En este documento se plasmaran algunos ejemplos de tales herramientas.
Verificadores estticos.
Un verificador esttico lee un programa, lo analiza e intenta descubrir errores potenciales sin ejecutar el programa.
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 sub ndices o sper ndices.
Intrpretes de consultas.
Un intrprete de consultas traduce un predicado que contienen operadores relacionales y booleanos a rdenes para buscar en una base de datos registros que satisfagan ese predicado.
se lee izquierda a derecha y se agrupa en componentes lxicos, que son secuencia de caracteres que tienen un significado colectivo.
Estos generadores producen analizadores sintcticos, normalmente a partir de una entrada punta mentada en una gramtica independiente del contexto.
Estas herramientas generan automticamente analizadores lxicos, por lo general a partir de una especificacin basada en expresiones regulares.
Tales herramientas toman un conjunto de reglas que define la traduccin de cada operacin de lenguaje intermedio a lenguaje de mquina para la mquina objeto. Las reglas deben incluir suficiente detalle para poder manejar los distintos mtodos de acceso posible a los datos.