unidad 5 Progracion de sistemas

    5.1 Análisis semántico

Se compone de un conjunto de rutinas independientes, llamadas por los analizadores morfológico y sintáctico.
El análisis semántico utiliza como entrada el árbol sintáctico detectado por el análisis sintáctico para comprobar restricciones de tipo y otras limitaciones semánticas y preparar la generación de código.

                                                       APORTACION

El análisis sintáctico también es un estado inicial del análisis de frases de lenguaje natural. Es usado para generar diagramas de lenguajes que usan flexión gramatical, como los idiomas romances o el latín. Los lenguajes habitualmente reconocidos por los analizadores sintácticos son los lenguajes libres de contexto. Cabe notar que existe una justificación formal que establece que los lenguajes libres de contexto son aquellos reconocibles por un autómata de pila, de modo que todo analizador sintáctico que reconozca un lenguaje libre de contexto es equivalente en capacidad computacional a un autómata de pila.

BIBLIOGRAFIA:
http://es.wikipedia.org/wiki/Analizador_sint%C3%A1ctico
RECUPERACION  22 oct 2010, alas 8:30

5.2Verificacion Tipos En Expresiones

Esta estructura interna: Debe ser fácilmente manipulable, pues su creación se realizará conforme sehace la lectura del programa fuente.–Debe permitir comparar fácilmente las expresiones asignadas a distintos trozosde código, especialmente a los identificadores de variables.•La forma más habitual de representación son los grafos acíclicosdirigidos (GADs).–La ventaja de estas representaciones es que ocupan poca memoria y por tanto la comprobación de equivalencia se efectúa con rapidez.

APORTACION

Un ejemplo de esto: tipos de A y de B son funcionalmente equivalentes:void Ordenar (int mat[], int n){ /* ... */ }int A[10], B[20];Ordenar(A,10); Ordenar(B,20);•Diferencia entre tipos compatibles y tipos funcionalmente equivalentes:–En el primer caso, el compilador realiza sobre uno de ellos una transformación interna paraque ambos se transformen en tipos equivalentes.–En el segundo caso no se realiza ninguna modificación interna, sino que se relaja el criterio de equivalencia.

BIBLIOGRAFIA:http://help.adobe.com/es_ES/ActionScript/3.0_ProgrammingAS3/WS5b3ccc516d4fbf351e63e3d118a9b90204-7f8a.html

RECUPERACION:22 oct 2010, a las 10:50

   5.3Conversión de tipos

En ciencias de la computación la conversión de tipos (type casting en inglés) se refiere a la evolución de un tipo de dato a otro. Esto se hace para tomar las ventajas que pueda ofrecer el tipo a que se va a convertir

APORTACIONES

Un ejemplo los valores de un conjunto más limitado, como números enteros, se pueden almacenar en un formato más compacto y más tarde convertidos a un formato diferente que permita las operaciones que anteriormente no sea posible, tales como la división con un valor de varios lugares decimales de precisión.

Hay dos tipos de conversión la implícita y la explicita, en la implícita se convierte un tipo de dato de menor rango a un supertipo (tipo de dato de mayor rango), este tipo de conversión lo realiza el compilador ya que no hay perdida de datos, por ejemplo si se pasa un int (tipo entero) a long.

En la conversión explicita el compilador no es capaz de realizarlo por eso de debe definir explícitamente en el programa.

BIBLIOGRAFIA:http://es.wikipedia.org/wiki/Conversi%C3%B3n_de_tipos
PUBLICACION: 7 jul 2010, a las 15:35

RECUPERACION: 22 oct 2010, alas 9:30