Gua de Lenguajes y Autmatas ll Unidad 3

Notaciones: Las notaciones sirven de base para expresar sentencias bien definidas. Tambin sirve para
expresar operaciones aritmticas.
La expresiones aritmticas se expresan en tres formas distintas: Infija, Prefija y Posfija
Infija: La notacin infija es la ms utilizada por los humanos porque es la ms comprensible ya que ponen el
operador entre los dos operandos. Por ejemplo a+b-5.
Prefija: La notacin prefija pone el operador primero que los dos operandos, por lo que la expresin anterior
queda: +ab-5. Esto se representa con una estructura del tipo FIFO (First In First Out) o cola.
Posfija: La notacin postfija pone el operador al final de los dos operandos, por lo que la expresin queda:
ab+5Notacin Polaca: Es una forma de notacin para la lgica, la aritmtica y el lgebra. Su caracterstica
distintiva es que coloca los operadores a la izquierda de sus operandos. El matemtico Polaco Lukasiewicz
mostr que las expresiones aritmticas pueden representarse en notacin prefija.
Ejemplos de la Notacin Polaca:
A+B
Notacin interna fija.
+AB
Notacin polaca (o previa fija).
AB+
Notacin polaca inversa (o posterior fija).
Cdigo P: Fue diseado para ser el cdigo real de una mquina de pila hipottica, denominada mquina P,
para la que fue escrito un intrprete en varias mquinas reales.
Ventajas:
Portabilidad: es ms fcil escribir un pequeo intrprete de cdigo-P para una nueva mquina
de lo que es modificar un compilador para generar cdigo nativo para esa misma mquina.
Implementacin sencilla: en la generacin de cdigo-P ningn comportamiento dependiente
de la mquina debe ser considerando en la generacin del cdigo de bytes.
Tamao compacto: un programa en cdigo-P es, a menudo, mucho ms pequeo que el
mismo programa traducido a cdigo mquina.
Triplos: Son una representacin de cdigo intermedio de un rbol de 3 direcciones, 2 para los operandos y
una para la ubicacin.
<Operador>,<Operando1>,<Operando2>
Cudruplos: Es una estructura
de registro con cuatro campos llamados:
Operador

Operando1
O

Operando2
Re

Resultado

Esquemas de Generacin: Los esquemas de generacin son las estrategias o acciones que debern
realizarse y tomarse en cuenta en el momento de generar cdigo intermedio.
Variables (para que sirven): Las variables declaradas en distintos niveles de anidamiento se tratan como
variables locales normales a la hora de asignarles memoria.
Expresiones: Las expresiones son combinaciones de constantes, variables, smbolos de operacin,
parntesis y nombres de funciones especiales.
Instruccin de Asignacin (para que sirve): Hay que comprobar que los tipos de la parte derecha y de la
variable de la parte izquierda son iguales (o compatibles) o realizar la conversin de tipos adecuada, si el
lenguaje lo permite.
Instrucciones que modifican o varan el flujo de ejecucin de un programa existen 3 tipos los cuales son:
Instrucciones condicionales o alternativas, Instrucciones de salto, Instrucciones repetitivas
Funciones: Las funciones pueden reducir a una lnea, lo que se hace que expandir el cdigo original de la
funcin.
Estructuras de Control: Evaluar la condicin mediante control de flujo. La evaluacin de los lmites de la
sentencia para la cual puede ser dedicada. Distintas posibilidades para la seleccin mltiple:
Bsqueda lineal.
Tabla hash.
Bsqueda binaria.