7/31/2019 Caracteristicas de Los Lenguajes de Programacion - Lenguajes Comparados

1/4

Caractersticas de los lenguajes de

programacin

I. Descripciones bien definidasA. BNF y EBNF

BNF: La sintaxis del lenguaje esta descrita en la forma Backus-

Naur Form, es un ejemplo de un metalenguaje, un lenguaje

utilizado para describir otro lenguaje, tiene smbolos, llamados

metasimbolos, y reglas propias, las cuales son empleadas para

definir la sintaxis del lenguaje particular de programacin.

EBNF: Forma Extendida Backus-Naur, los smbolos adicionales

definidos por la Organizacin Internacional de Estndares

B. Semntica

Un lenguaje tambin debe estar definido semnticamente al

describir de manera precisa lo que significa una construccin

particular, el lenguaje natural es notoriamente ambiguo, de manera

que se hacen esfuerzos para describir formalmente la semntica

del lenguaje as como tambin la sintaxis.

II. Comprobabilidad

7/31/2019 Caracteristicas de Los Lenguajes de Programacion - Lenguajes Comparados

2/4

A. Probar con certeza matemtica que un programa es

correcto es un proceso lento, sin embargo C.A.R Hoare

cree que las ventajas practicas de la comprobacin de

programas eventualmente se sobrepondrn a las

dificultades, en vista de los costos crecientes de loserrores de programacin . La prueba de que un

programa es correcto involucra tres pasos: primero la

comprobacin de que el programa cumple con la

intencin del programador; segundo probar que el

compilador traduce de manera correcta a cdigo de

maquina la sintaxis y la semntica del lenguaje

empleado; tercero comprobar que la maquina mismafunciona correctamente

III. Confiabilidad

A. El software se considera confiable si se comporta como

es anunciado y produce los resultados que el usuario

espera, cuando se presenta un error, debera ser

fcilmente detectado y corregido, un lenguaje deprogramacin fomenta la escritura de programas

confiables de maneras a menudo sutiles.

IV. Traduccin rpida

A. Los lenguajes de programacin que consideraremos en

este texto son generalmente independientes de la

maquina, un programa escrito en el lenguaje puede sertraducido y luego ejecutado en una variedad de maquinas

diferentes.

V. Cdigo objeto eficiente

7/31/2019 Caracteristicas de Los Lenguajes de Programacion - Lenguajes Comparados

3/4

A. Despus de que el cdigo fuente se compila en cdigo

objeto, no se hace referencia adicional al lenguaje fuente,

as es en tiempo de compilacin que los asuntos de la

eficiencia en el uso de memoria y tiempo de ejecucin

deben ser considerados.

VI. Ortogonalidad

A. La palabra ortagonal viene del griego y se refiere a lineas

rectas cruzndose en ngulos rectos. las variables

aleatorias se consideran ortogonales si son

independientes entre si, es en este sentido de

independencia que las caractersticas del lenguaje puedenconsiderarse ortogonales.

VII. Generalidad

A. La generalidad esta relacionada con la ortogonalidad, se

refiere a la existencia de solo las caractersticas

necesarias del lenguaje, con las otras compuestas en una

manera libre y uniforme sin limitacin y con efectosprevisibles,

VIII. Consistencia y notaciones comunes

A. Los problemas para solucin por computadora con

frecuencia son concebidos en el lenguaje de las

matemticas, de este modo la notacin de los lenguajes

de programacin debera ser consistente con lasnotaciones conmunmente usadas en este campo.

IX. Uniformidad

A. La consistencia esta relacionada con la uniformidad, con

esto queremos decir que nociones similares deberanverse y comportarse de la misma manera, una cuestin de

uniformidad tiene que ver con la necesidad de tenerinicios y finales.

7/31/2019 Caracteristicas de Los Lenguajes de Programacion - Lenguajes Comparados

4/4

X. Subconjuntos

A. Un subconjunto de un lenguaje es una implementacin de

solo una parte del mismo sin caractersticas especiales.

XI. Extensibilidad

A. El inverso de los subconjuntos es la extensibilidad, un

lenguaje puede tener un ncleo estndar, el cual es

invariable en cada implementacin, pero con varias

extensiones, las ventajas de los subconjuntos son

mejoradas cuando un lenguaje puede ser extendido en

formas utiles.

XII. Transportabilidad

A. Un lenguaje es transportable si sus programas pueden

compilarse y ejecutarse en diferentes maquinas sin tener

que rescribir el cdigo fuente.