SUBDISCIPLINAS DE LA TEORIA DE LENGUAJES

TEORÍA DE LOS SEMÁNTICA TRANSFORMACION SISTEMAS EN ANÁLISIS LA META LENGUAJES

TEORÍA DE TIPOS TIEMPO DE COMPARATIVO EN
COMPILADORES FORMAL DE PROGRAMAS PROGRAMACION DEDICADOS
EJECUCION LENGUAJES DE
SON ES ES ES SON
PROGRAMACIÓN ES
Programas que Estudio de Sistemas Es el estudio de las
traducen un de Tipos interpretaciones de la generación de Lenguajes
El proceso de Se refiere al desarrollo
programa escrito en los lenguajes programas de mayor construidos para
transformar un de entornos runtime
un lenguaje a otra formales. Busca clasificar los orden que, resolver problemas
programa para lenguajes de
forma Métodos lenguajes de cuando se ejecutan, en
de un lenguaje a otro programación y sus
sintácticos para proveer programación en producen programas un dominio de
la ausencia de ciertos Una interpretación componentes diferentes tipos basados como resultado
ACCIONES DE UN comportamientos de un problemas en
de un lenguaje en sus características
COMPILADOR programa mediante la EJEMPLO particular de manera
formal es
clasificación de frases básicamente una Las técnicas de plegado- - Alivia los programadores
eficiente
Análisis Sintactico según los tipos de #!/bin/bash
asignación de desplegado ("folding- de la carga de la escritura de
valores que # metaprogram
unfolding"), formuladas por código
computan. significados a sus echo '#!/bin/bash' >program
Generación de Código Burtall y Darlington, son las - Proporciona una capa de
símbolos, y de mejor
for ((I=1; I<=992; I++)); do
abstracción que oculta la echo "echo $I" >>program
condiciones de estudiadas en el contexto de complejidad en los servicios
Análisis Semántico Bertrand Russell verdad a sus done
la transformación de que ofrece el sistema chmod +x program
inventó la primera fórmulas bien programas operativo
Optimización teoría de tipos formadas