Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword
Like this
75Activity
0 of .
Results for:
No results containing your search query
P. 1
SINTAXIS Y SEMANTICA

SINTAXIS Y SEMANTICA

Ratings: (0)|Views: 10,103 |Likes:
Published by Alexis

More info:

Published by: Alexis on May 19, 2009
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOCX, PDF, TXT or read online from Scribd
See more
See less

08/21/2013

pdf

text

original

 
UNACHHERRAMIENTAS 1º C
SINTAXIS Y SEMANTICASINTAXIS
Un programa en cualquier lenguaje se puede concebir como un string decaracteres escogidos de algún conjunto o alfabeto de caracteres. Las reglas quedeterminan si un string es un programa válido o no, constituyen la sintaxis de unlenguaje. Posteriormente, se estudiarán ciertas notaciones denominadasexpresiones regulares y gramáticas libres de contexto, muy usadas no sólo paraespecificar las sintaxis de los lenguajes de programación sino también paracontribuir en la construcción de sus compiladores.
SEMANTICA
Las reglas que determina el significado de los programas constituyen lasemántica de los lenguajes de programación. Es más difícil de especificar que lasintaxis.
 
UNACHHERRAMIENTAS 1º C
Los siguientes son algunos enfoques para especificar la semántica de loslenguajes:Semántica Interpretativa (u Operacional)Un lenguaje de máquina tiene su semántica definida por el computador. Unprograma en lenguaje de máquina "significa" exactamente lo que el computador hace cuando el programa "corre" o se ejecuta. Sin embargo, con un lenguaje dealto nivel no se puede dejar que el computador defina la semántica del lenguaje,puesto que no es posible "correr programas y ver" hasta que se tenga uncompilador. No se puede tener un compilador y saber qué es correcto hasta haber definido lo que los programas significan.Este enfoque interpretativo para definir la semántica de los lenguajes deprogramación consiste en postular una máquina abstracta y proveer reglas para laejecución de programas sobre esta máquina abstracta. Así, estas reglas definen elsignificado de los programas. Usualmente, la máquina abstracta se caracteriza por un estado consistente de todos los objetos datos, sus valores, y los programas consus contadores de programa. Las reglas semánticas especifican cómo el estadoes transformado por las diversas construcciones de los lenguajes deprogramación.TraducciónLa traducción de un lenguaje assembly a lenguaje de máquina (que es directay comprensible), forma una especificación semántica muy usada para un lenguajeassembly.El compilador para un lenguaje de alto nivel sobre una máquina específicallega a ser la definición semántica del lenguaje.
 
UNACHHERRAMIENTAS 1º C
Definición AxiomáticaSe pueden definir reglas que relacionan los datos antes y después de laejecución de cada programa. Estas reglas se pueden usar para proveer teoremasacerca de la relación E/S de un programa. Este enfoque tiene la ventaja quepuede usarse para definir semánticas para un aparte más que para todos losaspectos de un lenguaje.Definición ExtensibleEn este enfoque se definen ciertas operaciones primitivas y el significado dellenguaje en términos de estas primitivas. Ejemplo LISP.Semántica Matemática o DenotacionalLos objetos matemáticos corresponden a programas que son definidos, yreglas abstractas para traducir programas a estos objetos abstractosLA ESTRUCTURA JERARQUICA DE LOS LENGUAJES DEPROGRAMACIÓNUn lenguaje de programación es una notación para especificar una secuenciade operaciones a realizar sobre objetos datos. Estos se pueden agrupar en una jerarquía de árbol, cuyas unidades son comunes y familiares a la mayoría de loslenguajes.

Activity (75)

You've already reviewed this. Edit your review.
1 hundred reads
1 thousand reads
Juan Brito liked this
Juan Brito liked this
Marcos Tanevitch liked this

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->