7. INTRODUCCCION A LOS SISTEMAS FORMALES Y LOS LENGUAJES DE PROGRAMACION
7.1 Uso de los sistemas formales en los lenguajes de programación
7.1.1 Especificaciones de lenguajes
7.1.2 Compiladores sintácticos
7.1.3 Estudios de complejidad de estructuras
7.1.4 Análisis de estructuras
7.2 Especificación formal
7.2.1 Especificación formal
7.2.2 Desarrollo de una especificación formal
7.3 Gramáticas formales
7.3.1 Ejemplo de gramáticas formales
7.3.2 La derivación de sentencias
7.3.3 Formas senténciales y sentenciares
7.4 Jerarquías de lenguajes
7.5 Formas de backun-naur. Forma normal de Backus-BNF
7.6 Sistemas canónicos
7.6.1 Especificación de sintaxis
7.6.2 Especificación de una traducción
7.6.3 Algoritmo de reconocimientos y traducción
7.7 Sistemas canónicos y sistemas formales