La teoría de lenguajes de programación se encarga del diseño, análisis y clasificación de lenguajes de programación. Un lenguaje de programación es un conjunto de símbolos y reglas que se usan para expresar algoritmos y escribir programas que permiten la comunicación usuario-máquina. Algunos ejemplos de lenguajes de programación son Fortran, Algol, Ada, Pascal, C y C++.

2. La teoría de lenguajes de programación es
una rama de la ciencias de la computación
que se encarga del diseño, implementación,
análisis, caracterización y clasificación de
lenguajes de programación y sus
características.
Un lenguaje de programación es un
conjunto de símbolos y de reglas que se
usan para expresar algoritmos.
Igualmente, sirven para escribir
programas que permiten la comunicación
usuario/máquina.

4. Son abstracciones de alguna
secuencia de instrucciones que
especifican con detalle el orden de
ejecución del programa.
Ejemplos: Fortran, Algol, Ada,
Pascal, C, C++

5. La programación funcional es un
paradigma de programación declarativa
basado en la utilización de funciones
matemáticas.
El objetivo de la programación funcional
es conseguir lenguajes expresivos y
matemáticamente elegantes, en los que no
sea necesario bajar al nivel de la máquina
para describir el proceso llevado a cabo por
el programa. Constan de un conjunto de
funciones pre- definidas.
Ejemplos: Lisp, Scheme, Common Lisp,
ML, CAML

6. Expresan lo que el programa debe lograr
sin prescribir cómo hacerlo, en términos de
secuencias de acciones que deben tomarse.
Se les conoce como lenguajes declarativos
en ciencias computacionales a aquellos
lenguajes de programación en los cuales se le
indica a la computadora qué es lo que se
desea obtener o qué es lo que se esta
buscando. Eso se puede lograr con un
lenguaje declarativo como SQL.
Ejemplos: SQL, HTML, RPG

7. Las bases de datos son programas
que administran información y
hacen más ordenada la información,
aparte de hacer la fácil de buscar y
por supuesto de encontrar.
Crean un sistema de clases y
objetos siguiendo el esquema del
mundo real para definir los objetos,
acciones y forma de comunican
entre objetos.
Ejemplos: C++, Java.

9. •Escritos en lenguajes directamente
comprensibles por la computadora (Código
Binario: 0 y 1).
•Dependen del Hardware de la
computadora y difieren de una a la otra.
•Velocidad de ejecución superior a otros
lenguajes, puesto que el programa no
necesita una traducción posterior.
•Inconvenientes: Dificultad y lentitud en la
codificación, poca fiabilidad, dificultad de
verificar y poner a punto los programas.

10. •Lenguaje Ensamblador: Usan instrucciones conocidas como nemotécnicos usualmente
del idioma ingles.
•Ej: ADD, SUB, DIV, MUL, etc.
•Para su ejecución, se requiere una fase de traducción al lenguaje de máquina. Programa
original es un programa fuente y el traducido es el programa objeto.
•Mayor facilidad de codificación frente a los lenguajes de máquina y velocidad de cálculo.
•Inconvenientes: Dependencia total de la máquina. Formación de
programadores mas compleja.

11. •Escritura de programas se base en reglas sintácticas similares a los lenguajes
naturales.
•Independientes de la maquina: Transportabilidad o portabilidad.
•Modificaciones y puestas en marcha de los programas son mas fáciles.
•Reducción de los costes de programación.
•Inconvenientes: Incremento del tiempo de puesta en marcha, al necesitarse
diferentes traducciones del programa fuente al programa ejecutable. Aumento de la
ocupación de memoria.