Clasificación de los Lenguajes de Programación

-

CLASIFICACIÓN DE LOS LENGUAJES DE PROGRAMACIÓN


Los lenguajes de programación se pueden clasificar según varios criterios. La agrupación más importante es por: nivel de abstracción, propósito, método de ejecución y paradigma de programación.

Clasificación de los lenguajes de programación según su Nivel de Abstracción: 

  1. Lenguajes de Bajo Nivel son Lenguajes de código máquina, son un conjunto de instrucciones en código binario que el ordenador es capaz de ejecutar directamente, específicos de cada tipo de procesador o CPU. Ejemplos: Lenguaje de máquina y lenguajes ensambladores.
  2. Lenguajes de Alto Nivel más parecidos al lenguaje natural, cercanos al problema, nos olvidamos de la estructura interna del ordenador  Ejemplos: C, Basic, Java.

Clasificación de los lenguajes de programación según su Propósito:

  1. Lenguajes de Propósito General permiten la implementación de prácticamente cualquier algoritmo, el nivel de abstracción es más uniforme, proporciona razonable rendimiento. Ej Pascal, C, C++, Java, Delphi, Lisp, Scheme.
  2. Lenguajes de Propósito Específico tienen por lo general un conjunto muy restringido de características y un alto nivel de abstracción para cumplir tareas especificas como el procesamiento de textos, gráficos, audio, video e ingeniería. Ejemplos: Snobol, SQL,  Matlab.

Clasificación de los lenguajes de programación según su método de Ejecución:

  1. Lenguajes Compilados traducen el código fuente del programa a código máquina o código objeto. Ejemplos: C, Pascal
  2. Lenguajes Interpretados ejecutan línea a línea las instrucciones de un programa. Requieren del código fuente para ejecutar el programa. Ejemplos: Perl, Lisp.

Clasificación de los lenguajes de programación según su Paradigma de Programación.

  1. Lenguajes Imperativos 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++
  2. Lenguajes Declarativos expresan lo que el programa debe lograr sin prescribir cómo hacerlo, en términos de secuencias de acciones que deben tomarse. Ejemplos: SQL, HTML, RPG
  3. Lenguajes Funcionales constan de un conjunto de funciones pre-definidas. Ejemplos: Lisp, Scheme, Common Lisp, ML, CAML
  4. Lenguajes de Lógicos expresan tareas utilizando la lógica formal matemática. Ejemplo: Prolog.
  5. Lenguajes Orientados a Objetos 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.
________________________________________________________________________

Fuentes:

Comments

Post a Comment

Popular posts from this blog

Sistema Formal

-
Image
SISTEMA FORMAL Un  sistema formal  es un tipo de sistema lógico-deductivo constituido por un lenguaje formal, una gramática formal que restringe cuales son las expresiones correctamente formadas de dicho lenguaje y las reglas de inferencia y un conjunto de axiomas que permite encontrar las proposiciones derivables de dichos axiomas. Los sistemas formales también han encontrado aplicación dentro de la informática, la teoría de la información, y la estadística, para proporcionar una definición rigurosa del concepto de demostración. La noción de sistema formal corresponde a una formalización rigurosa y completa del concepto de sistema axiomático, los cuales pueden ser expresados en lenguaje formal o en lenguaje natural formalizado. Llamamos  formalización  al acto de crear un sistema formal, con la que pretendemos capturar y abstraer la esencia de determinadas características del mundo real, ...
Read more

Especificaciones Formales

-
Image
Especificaciones Formales Una  especificación formal  usa notación matemática para describir de manera precisa las propiedades que un sistema de información debe tener, sin preocuparse por la forma de obtener dichas propiedades. Describe lo que el sistema  debe  hacer sin decir  cómo  se va a hacer. Esta abstracción hace que las especificaciones formales sean útiles en el proceso de desarrollar un sistema, porque permiten responder preguntas acerca de lo que el sistema hace con  confianza , sin la necesidad de tratar con una gran cantidad de información no relevante que se encuentra en el código de programa del sistema en un lenguaje de programación cualquiera, o especular sobre el significado de frases en un impreciso Pseudocódigo. Un especificación formal pueden servir como un punto de referencia fiable tanto para quienes se dedican a investigar sobre los  requerimientos  del cliente que solicit...
Read more