Inventada por Jan Łukasiewicz en 1920 para simplificar la lógica proposicional y las expresiones matemáticas.

El operador se coloca antes de los operandos, por ejemplo: + 3 4 en vez de 3 + 4.

Elimina la necesidad de paréntesis en expresiones de aridad fija, lo que facilita el análisis automático.

Se utiliza en lenguajes como LISP y en sistemas de lógica formal.

Ejemplo: La expresión infija ((15 / (7 - (1 + 1))) 3) - (2 + (1 + 1)) se convierte en polaca como - / 15 - 7 + 1 1 3 + 2 + 1 1.

En lógica, cada operador tiene una letra específica: Negación (N), Conjunción (K), Disyunción (A), etc..

Los operandos van antes del operador, por ejemplo: 3 4 + en vez de 3 + 4.

Elimina los paréntesis y la prioridad de operadores se determina por el orden de aparición.

Muy utilizada en calculadoras científicas (como las HP) y en lenguajes de programación basados en pila.

Ejemplo: La expresión infija (4 + 8) / (1 + 3) se convierte en RPN como 4 8 + 1 3 + /.

Facilita la evaluación de expresiones mediante algoritmos de pila, lo que simplifica el diseño de compiladores y parsers.

Es un lenguaje intermedio usado en compiladores, especialmente en Pascal.

Permite que los programas sean portables y ejecutados en diferentes plataformas mediante una máquina virtual.

El P-Code no se ejecuta directamente en el hardware, sino que es interpretado, lo que facilita la depuración y portabilidad.

Fue clave para la expansión de Pascal en la educación y la industria.

Ejemplo: asignación a = b + c puede representarse como:

LOD b
LOD c
ADD
STO a

Estructura de tres campos: operador, argumento 1, argumento 2.

El resultado se asocia a la posición del triplo en la lista, no a una variable temporal explícita.

Ahorra espacio, pero dificulta la optimización porque las referencias dependen de la posición.

Ejemplo: a = b + c → (+, b, c)

Cuando hay expresiones más largas, los resultados intermedios se usan como variables temporales:

t1 = b + c → (+, b, c)
a = t1 * d → (*, t1, d)

Definición: Es un código temporal generado por el compilador que no depende del hardware específico, pero tampoco es el código fuente original.

Propósito: Facilita la optimización, análisis y traducción a distintos lenguajes o máquinas.

Tipos comunes:

• Three-Address Code (TAC): Cada instrucción tiene máximo tres direcciones (operando1, operando2, resultado).

  • Ejemplo: t1 = B * C; t2 = A + t1

• Pseudocódigo: Expresiones simplificadas fáciles de analizar.

Ventaja: Separar la traducción del lenguaje fuente de la generación de código máquina.

Fases detalladas:

1. Análisis léxico: Convierte el código en tokens (identificadores, operadores, literales).

2. Análisis sintáctico (parsing): Verifica que los tokens siguen la gramática del lenguaje.

3. Análisis semántico: Comprueba tipos de datos, existencia de variables, coherencia lógica.

4. Generación de código intermedio: Traduce expresiones a un código fácil de manipular.

5. Optimización de código: Mejora eficiencia, reduce instrucciones redundantes.

6. Generación de código final: Convierte en ensamblador o código máquina específico del hardware.

Ejemplo práctico:
Código fuente: x = a + b * c;

• Intermedio (TAC):

  t1 = b * c
  x = a + t1

Cómo funciona: El operador va antes de los operandos.

Ventaja: No requiere paréntesis para definir prioridad.

Ejemplo:

• Infijo: (A + B) * C

• Prefijo: * + A B C

Uso: Computadoras y calculadoras de pila, compiladores.

Cómo funciona: Operador entre los operandos (lo usamos normalmente).

Problema: Debe usar paréntesis para definir orden de ejecución.

Ejemplo: A + B * C

• Multiplicación tiene mayor precedencia, entonces se hace B * C primero.

Uso: Lenguajes de programación humanos y diarios.

Cómo funciona: Operador después de los operandos.

Ventaja: Fácil de evaluar con pila sin necesidad de paréntesis.

Ejemplo:

• Infijo: (A + B) * C

• Postfijo: A B + C *

Evaluación:

• Leer de izquierda a derecha:

  1. Apila operandos hasta encontrar operador

  2. Aplica operador sobre los últimos operandos

  3. Coloca resultado de nuevo en la pila

Variante donde los operandos son referencias a otras posiciones de memoria o variables temporales.

Ejemplo: si t1 almacena b + c, entonces el siguiente triplo puede usar t1 en lugar de recalcular.

Permite reutilizar resultados intermedios y evita duplicación de cálculos.

Similar a triplos, pero con un campo extra para el resultado: (operador, op1, op2, resultado).

Ejemplo: a = b + c → (+, b, c, t1) donde t1 almacena el resultado antes de asignarlo a a.

Facilita la lectura y depuración del código intermedio y es más eficiente para optimización.

Ejemplo: Para a = b + c:

• +, b, c, t1

• =, t1, -, a

Permiten mover y optimizar instrucciones fácilmente gracias a las variables temporales explícitas.

Son la estructura más utilizada en compiladores modernos para optimización.

Facilitan la depuración y el análisis del código generado.

Permite optimización y genera código más directo para la máquina.

Guardan resultados intermedios durante la evaluación de expresiones.

Ejemplo: para (b + c) d, t1 = b + c y luego t2 = t1 d.

Reducen recalculos y facilitan la traducción de expresiones largas a código máquina.

Espacios de memoria generados automáticamente por el compilador para almacenar resultados intermedios.

Permiten realizar cálculos complejos paso a paso sin perder información.

Son esenciales en estructuras como los cuádruplos y triplos indirectos.

Permite asociar acciones a reglas de la gramática.

Mientras se analiza la expresión, se generan triplos, cuádruplos y variables temporales automáticamente.

Ejemplo: si la regla es E → E1 + T, el SDT puede generar un triplo t = E1 + T.

Hace que la traducción de código sea estructurada y modular.

Permite generar código intermedio y verificar propiedades semánticas del programa al mismo tiempo.

Es clave en la construcción de compiladores modernos.

Calculados desde los hijos hacia la raíz en un árbol de sintaxis.

Permiten que los resultados intermedios suban en el árbol y se combinen.

Ejemplo: en (b + c) d, el nodo + calcula t1 = b + c, que luego usa el nodo para t2 = t1 * d.

Esencial para evaluar expresiones y generar código intermedio de manera ordenada y eficiente.

Determina qué operación se realiza primero.

Ejemplo en C/C++:

1. () → paréntesis

2. * / % → multiplicación, división, módulo

3. + - → suma y resta

4. = → asignación

Importancia: Evita resultados incorrectos si no usamos paréntesis.

• A + B C ≠ (A + B) C

Representación jerárquica de una expresión o programa.

Nodos internos: operadores

Hojas: operandos o literales

Facilita análisis, optimización y generación de código.

Preorden: visitar nodo → hijo izquierdo → hijo derecho

Inorden: hijo izquierdo → nodo → hijo derecho

Postorden: hijo izquierdo → hijo derecho → nodo

Ejemplo con AST de A + B * C:

Infijo → Postfijo: Usar pila para operadores y respetar precedencia.

Infijo → Prefijo: Similar, pero se procesa de derecha a izquierda.

Postfijo → Infijo: Se puede reconstruir con una pila de expresiones.

Ejemplo práctico:

• Infijo: A + B * C

• Postfijo: A B C * +

• Prefijo: + A * B C

Determina el orden de operaciones cuando hay operadores con la misma precedencia.

Puede ser izquierda → derecha o derecha → izquierda.

Ejemplo:

• a - b - c → izquierda → derecha → (a - b) - c

• a ^ b ^ c → derecha → izquierda → a ^ (b ^ c)