Sintaxis de Programacin

Un programa en cualquier lenguaje se puede concebir como un string (cadena) de caracteres escogidos de algn conjunto o alfabeto de caracteres. Las reglas que determinan si un string es un programa vlido o no, constituyen la sintaxis de un lenguaje de programacin. SEMANTICA Las reglas que determina el significado de los programas constituyen la semntica de los lenguajes de programacin. Es ms difcil de especificar que la sintaxis. Los siguientes son algunos enfoques para especificar la semntica de los lenguajes:

Semntica Interpretativa (u Operacional) Un lenguaje de mquina tiene su semntica definida por el procesador. Un programa en lenguaje de mquina "significa" exactamente lo que el procesador hace cuando el programa se ejecuta. Sin embargo, con un lenguaje de alto nivel no se puede dejar que el procesador defina la semntica del lenguaje, puesto que no es posible "correr programas y ver" hasta que se tenga un compilador. No se puede tener un compilador y saber qu es correcto hasta haber definido lo que los programas significan. Este enfoque interpretativo de la semntica de los lenguajes de programacin consiste en definir el significado de la sintaxis en los programas implementados por mquinas abstractas que se caracterizan por el estado consistente de todos los objetos, valores, e instrucciones de un programa.

Traduccin La traduccin de un lenguaje ensamblador a lenguaje de mquina (que es directa y comprensible), forma una especificacin semntica muy usada para los lenguajes de bajo nivel. El compilador para un lenguaje de alto nivel sobre una mquina especfica llega a ser la definicin semntica del lenguaje. Definicin Axiomtica Se pueden definir reglas que relacionan los datos antes y despus de la ejecucin de cada programa. Estas reglas se pueden usar para proveer teoremas acerca de la relacin E/S de un programa. Este enfoque tiene la ventaja que puede usarse para definir semnticas para una parte ms que para todos los aspectos de un lenguaje.

LA ESTRUCTURA JERARQUICA DE LOS LENGUAJES DE PROGRAMACIN Un lenguaje de programacin es una notacin para especificar una secuencia de operaciones a realizar sobre objetos datos. Estos se pueden agrupar en una jerarqua de rbol, cuyas unidades son comunes y familiares a la mayora de los lenguajes. En el tope de la jerarqua est el programa propiamente tal, que es la unidad de ejecucin bsica. Luego viene una entidad que puede ser compilada, y que se compone de sentencias y expresiones. Un lenguaje de programacin es un medio para comunicar algoritmos al computador. Debe proveer aspectos para el diseo modular contemplando operadores, estructura de datos, flujo de control, etc.

La Naturalidad de la programacin debe tener la facilidad de poder expresar un algoritmo en un lenguaje (sentencias estructuradas). La Portabilidad de la programacin debe posibilitar la ejecucin de programas en una variedad de mquinas La eficiencia de uso considerar aspectos del lenguaje como de los programas (compilacin eficiente). Un compilador tambin puede ayudar a producir programas confiables. Por ejemplo, un compilador puede verificar si los tipos de operandos son compatibles; puede advertir al usuario sobre el uso de una variable antes de ser definida, o si una referencia a un arreglo puede estar fuera de los lmites.

Elementos sintcticos del lenguaje de programacin C++

La sintaxis de C++ es una extensin de la sintaxis del lenguaje C, al que se han aadido numerosas propiedades, fundamentalmente orientada a objetos. Entonces podemos decir que la migracin de C a C++ no suele ser complicada. Un programa en C++ es una secuencia de caracteres que se agrupan en componentes lxicos que comprenden el vocabulario bsico del lenguaje. Estos componentes lxicos suelen ser: palabras reservadas, identificadores, constantes, constantes de cadena, operadores y signos de puntuacin.

Caracteres Los caracteres que se pueden utilizar para construir elementos del lenguaje (componentes lxicos o tokens) son: abcdefghi jklmnopqrstuvwxyz ABCDEFCHIJKLMNOPQRSTUVWXYZ 0123456789 caracteres espacio (blancos y tabulaciones) Comentarios C++ soporta dos tipos de comentarios. /* Comentario estilo C */ //... se utiliza, slo, para comentarios de una lnea se anidan.

Identificadores Los identificadores (nombres de variables, constantes,...) deben comenzar con una letra del alfabeto (mayscula o minscula) o con un carcter subrayado, y pueden tener uno o ms caracteres. Los caracteres segundo y posteriores pueden ser: letras, dgitos o un subrayado, no permitindose caracteres no alfanumricos ni espacios. Producto // valido Y345 // valido multi_palabra // valido var45 // valido 45var // no valido C++ es sensible a las maysculas. Pago_mes es un identificador distinto a pago_mes

Palabras reservadas Las palabras reservadas o claves no se deben utilizar como identificadores, debido a su significado estricto en C++; tampoco se deben redefinir. Los diferentes compiladores comerciales de C++ pueden incluir algunas nuevas palabras reservadas. En las siguientes Tablas se enumeran las diversas palabras reservadas del C++.

Estructura de datos Las variables sirven para identificar un determinado valor. Es importante tener en cuenta, que una variable se almacena en la memoria interna del ordenador (normalmente en la memoria RAM) y por lo tanto ocupar una determinada posicin en esa memoria. Desde el punto de vista del programador, la memoria RAM es una sucesin de celdillas, cada una de las cuales posee una direccin. Cada celdilla ocupa un espacio que, en general, es de un byte (1 byte = 8 bits). Por lo tanto un valor que ocupe cuatro bytes, ocupar cuatro celdas.

Tipos de datos Al declarar variables se necesita indicar cul es el tipo de datos de las variables. Los tipos bsicos permitidos por el lenguaje C++ son: enteros, nmeros de coma flotante (reales) y caracteres.

Constantes C++ contiene constantes para cada tipo de dato simple (integer, char,...). Las constantes pueden tener dos sufijos, u, l y f. Que indican tipos unsigned, long y float, respectivamente. As mismo, se pueden aadir los prefijos O y Ox, que representan constantes octales y hexadecimales.

Las cadenas de caracteres se encierran entre comillas, y las constantes de un solo carcter se encierran entre comillas simples.

Declaracin de constantes En C++, los identificadores de variables/constantes se pueden declarar constantes, significando que su valor no se puede modificar. Esta declaracin se realiza con la palabra reservada const.

El modificador de tipos const se utiliza en C++, tambin para proporcionar proteccin de slo lectura para variables y parmetros de funciones. Las funciones miembro de una clase que no modifican los miembros dato a que acceden pueden ser declarados const. Este modificador evita tambin que parmetros por referencia sean modificados.

Declaracin de variables En ANSI C, todas las declaraciones de variables y funciones se deben hacer al principio del programa o funcin. Si se necesitan declaraciones adicionales, el programador debe volver al bloque de declaraciones al objeto de hacer los ajustes o inserciones necesarios. Todas las declaraciones deben hacerse antes de que se ejecute cualquier sentencia. As, la declaracin tpica en C++ debe tener la siguiente estructura: NombreTipo Nombrevariablel1, Nombrevariable2; que proporciona declaraciones tales como: int saldo, meses; double clipper, salario; int mes =4, dia, anio=1995; doble salario = 45.675; En C++, las declaraciones de variables se pueden situar en cualquier parte de un programa.

En C++, las declaraciones de variables se pueden situar en cualquier parte de un programa. Esta caracterstica hace que el programador declare sus variables en la proximidad del lugar donde se utilizan las sentencias de su programa. El siguiente programa es valido en C++ pero no en C: