Lenguaje de Programación Conjunto de reglas o normas que permiten asociar a cada programa correct...

1. Uniformidad y Simplicidad Uniformidad Características parecidas deberían tener apariencias parecidas. Características distintas no deberían tener la misma apariencia

2. Lenguajes Imperativos Ejemplos: I Ejemplos de lenguajes imperativos: Fortran, Algol, Pascal, C, Ada, C++, Java, C# I La mayoría de los lenguajes usados para desarrollo de software comercial son imperativos.

3. Criterios de diseño de LL.PP Facilidad de lectura y escritura: Facilidad para expresar un cálculo de forma clara, correcta, concisa, y rápida. (es una característica muy genérica, que se concreta en otras) Legibilidad: El diseño del lenguaje debe permitir que la lectura de los programas lleve fácilmente a una compresión correcta del cálculo que significan.

4. El lenguaje como una función que asigna significado Distintos programas pueden tener el mismo significado (serían equivalentes)

5. ¿que es el significado de un programa? Es el cálculo necesario para evaluar una determinada función f

6. que es un cálculo ? en sentido amplio: Cualquier proceso automático de recogida, manipulación, y difusión de información

7. Eficiencia de ejecución El diseño del lenguaje no debe dar lugar a que la interpretación o ejecución de los programas traducidos conlleve un alto gasto en tiempo o memoria.

8. ¿ para que sirven los lenguajes de programación ? Esencialmente: para comunicar a un ordenador un procesamiento que va a llevarse a cabo en dicho dispositivo (de forma cómoda para la persona que escribe el programa). Pero también: para comunicar entre personas información no ambigua sobre algoritmos matemáticos o procesos reales

9. ¿ que es un programa correcto? • léxico : expresiones regulares • sintaxis : gramáticas libres de contexto • semántica : descripciones o reglas no formales

10. Ambigüedad en los programas Los lenguajes deben ser no ambiguos: I En cuanto a la corrección: debe ser posible calcular si un programa es correcto o no I En cuanto al significado: el significado de un programa debe ser único.