Aplicaciones de los lenguajes formales

Artículo principal: Sintaxis (Lenguajes de Programación y Compiladores)

Un compilador suele estar formado por dos partes diferenciadas. Un analizador léxico, formado a partir de una herramienta como lex. Etiquetas de sintaxis que identifican lenguajes de programación. Por ejemplo, los identificadores o las palabras clave suelen ser herramientas de expresión regular en expresiones de lenguaje simple. En el concepto más básico, un analizador consta de un generador de analizadores similar a yacc. Intente determinar si el programa fuente es válido. Por supuesto, los compiladores hacen más que simplemente analizar el código fuente. Generalmente lo traducen a algún formato ejecutable. Por lo tanto, un analizador generalmente generará muchas respuestas de sí o no, generalmente un árbol de sintaxis abstracta, que el compilador utiliza en etapas posteriores para generar en última instancia código de máquina, incluida la ejecución directa en hardware, o algún código intermedio que deba ejecutarse. por una máquina virtual.