Está en la página 1de 6

Tipos de lenguajes

Lenguaje maquina
El lenguaje mquina de una computadora consta de cadenas de nmeros binarios (ceros y unos) y es el
nico que "entienden" directamente los procesadores. Todas las instrucciones preparadas en
cualquier lenguaje de mquina tienen por lo menos dos partes. La primera es
el comando u operacin, que dice a la computadora cul es la funcin que va a realizar. Todas
las computadoras tienen un cdigo de operacin para cada una de sus funciones. La segunda parte de la
instruccin es el operando, que indica a la computadora dnde hallar o almacenar los datos y otras
instrucciones que se van a manipular; el nmero de operandos de una instruccin vara en las distintas
computadoras. En una computadora de operando nico, el equivalente binario de "SUMAR 0814" podra
hacer que se sume el valor que se encuentra en la localidad de almacenamiento o direccin 0814 al valor
que se encuentra en la unidad aritmtica lgica. En una mquina de dos operandos, la representacin
binaria de "SUMAR 0814 8672" podra hacer que se sume el valor que est en la localidad 8672 al valor
que est en la direccin 0814. El formato de operando nico es popular en las microcomputadoras ms
pequeas; la estructura de dos operandos se encuentra en casi todas las dems mquinas.
Segn los estndares actuales, las primeras computadoras eran poco tolerantes. Los programadores
tenan que traducir las instrucciones de manera directa a la forma de lenguaje de mquina que
comprendan las computadoras.
Por ejemplo, un programador que escribiera la instruccin "SUMAR 0814" para una de las primeras
mquinas IBM hubiera escrito:

000100000000000000000000000010111000

LENGUAJES DE PROGRAMACIN DECLARATIVOS


Se les conoce como lenguajes declarativos en ciencias computacionales a aquellos lenguajes
de programacin en los cuales se le indica a la computadora qu es lo que se desea obtener o qu es lo
que se esta buscando, por ejemplo: Obtener los nombres de todos los empleados que tengan ms de 32
aos. Eso se puede lograr con un lenguaje declarativo como SQL.
La programacin declarativa es una forma de programacin que implica la descripcin de un problema
dado en lugar de proveer una solucin para dicho problema, dejando la interpretacin de los pasos
especficos para llegar a dicha solucin a un intrprete no especificado. La programacin declarativa
adopta, por lo tanto, un enfoque diferente al de la programacin imperativa tradicional.
En otras palabras, la programacin declarativa provee el "qu", pero deja el "cmo" liberado a la
implementacin particular del intrprete. Por lo tanto se puede ver que la programacin declarativa tiene
dos fases bien diferenciadas, la declaracin y la interpretacin.
Es importante sealar que a pesar de hacer referencia a intrprete, no hay que limitarse a "lenguajes
interpretados" en el sentido habitual del trmino, sino que tambin se puede estar trabajando con
"lenguajes compilados".

CARACTERSTICAS DE LOS LENGUAJES DE PROGRAMACIN DECLARATIVOS

Los lenguajes declarativos estn orientados a buscar la solucin del problema, sin preocuparse
por la forma de llegar a ello; es decir, el programador debe concentrarse en la lgica del algoritmo, ms
que en el control de la secuencia.

Los programas estn formados por un conjunto de definiciones o ecuaciones, las cuales
describen lo que debe ser calculado, no en s la forma de hacerlo.

Las variables slo pueden tener asignado un solo valor a lo largo de la ejecucin del programa,
lo cual implica que no puede existir asignacin destructiva. Debido a esto, cobra especial importancia el
uso del anidamiento y la recursividad.

Las listas representan la estructura fundamental de datos.

El orden de la ejecucin no resulta importante debido a que no existen efectos colaterales; es


decir, que al calcular un valor, resulta imposible afectar el clculo de otros y con esto se puede afirmar que
cualquier secuencia de ejecucin deber conducir al mismo resultado.

Las expresiones o definiciones pueden ser usadas como valores y por lo tanto se pueden tratar
como argumentos de otras definiciones.

El control de la ejecucin no es responsabilidad del programador.

DESVENTAJAS DE LA PROGRAMACIN DECLARATIVA


La principal desventaja de la programacin declarativa es que no puede resolver cualquier problema
dado, sino que est restringida al subconjunto de problemas para los que el intrprete o compilador fue
diseado.
Otra desventaja de la programacin declarativa est relacionada con la eficiencia. Dado que es necesaria
una fase de interpretacin extra, en la cual se deben evaluar todas las consecuencias de todas las
declaraciones realizadas, el proceso es relativamente ms lento que en la programacin imperativa, en

que los cambios de estado del sistema estn dados por instrucciones particulares y no por un conjunto de
condiciones arbitrariamente grande.

VENTAJAS DE LA PROGRAMACIN DECLARATIVA


A pesar de lo anterior existen algunas ventajas en el uso de la programacin declarativa. Entre las
ventajas se destaca que la solucin de un problema se puede realizar con un nivel de abstraccin
considerablemente alto, sin entrar en detalles de implementacin irrelevantes, lo que hace a
las soluciones ms fcil de entender por las personas. La resolucin de problemas complejos es resuelta
por el intrprete a partir de la declaracin de las condiciones dadas.
La programacin declarativa es muy usada en la resolucin de problemas relacionados
con inteligencia artificial, bases de datos, configuracin, y comunicacin entre procesos; sin embargo,
ningn leguaje declarativo se aproxima en popularidad a los lenguajes imperativos.

EJEMPLOS DE LENGUAJES DECLARATIVOS

Algunos lenguajes declarativos que se pueden mencionar son:


PROLOG

SQL

HTML

WSDL (Web Services Description Language)

XML Stylesheet Language for Transformation

LENGUAJES DE PROGRAMACIN IMPERATIVOS


En ciencias de la computacin se llama lenguajes imperativos a aquellos en los cuales se le ordena a la
computadora cmo realizar una tarea siguiendo una serie de pasos o instrucciones, por ejemplo:

Paso 1, solicitar nmero.

Paso 2, multiplicar nmero por dos.

Paso 3, imprimir resultado de la operacin.

Paso 4, etc,

El proceso anterior se puede realizar con un lenguaje imperativo como por ejemplo BASIC, C, C++, Java,
Clipper, Dbase, C#, PHP, Perl, etc.
Dentro de la programacin imperativa, se tiene un conjunto de instrucciones que le indican
al computador cmo realizar una tarea.
Los lenguajes imperativos se basan en comandos u rdenes que se le dan a la computadora para que
haga algo, con el fin de organizar o cambiar valores en ciertas partes de la memoria.
La ejecucin de estos comandos se realiza, en la mayor parte de ellos, secuencialmente, es decir, hasta
que un comando no ha sido ejecutado no se lee el siguiente.
Segn el dominio, o mejor dicho con el propsito que se utiliza el programa, se puede hablar de lenguajes
de dominio especfico y de dominio general.

Programa Objeto
-Es aquel programa que se encuentra en lenguaje mquina y que ya es ejecutable por esta.
-Es el resultado de traducir un programa fuente para obtener un lenguaje comprensible por la mquina.
Programacin orientada a objetos (OOPS); es una tcnica de programacin que utiliza objetos como
bloque esencial de construccin, es un tipo de programacin mas cercana al razonamiento
humano; surge como una solucin a la programacin de grandes programas, y para solventar el
mantenimiento de dichas aplicaciones, ya que en la programacin estructura el ms mnimo
cambio supone la modificacin de muchas funciones relacionadas, en cambio con la OOPS solo es
cuestin de aadir o modificar mtodos de una clase o mejor, crear una nueva clase a partir de otra
(Herencia). Dos lenguajes destacan sobre el resto para programar de esta forma, Smalltalk y C++.

Este lenguaje es la herramienta para poder disear las instrucciones que debe ejecutar el ordenador, de
forma que pueda ser entendible y mucho ms cmoda para utilizar por los Usuarios Programadores,
adems de que no difiere del tipo de ordenador que tenemos ni los componentes de Hardware que estn
all

presentes.

Pero para ello debemos dar un paso ms, ya que para que el Procesador pueda ordenar los datos
enviados y recibidos, transformarlos en Informacin y que sta genere una respuesta en el resto de los
componentes, es necesario que sea llevado al conocido como Cdigo Objeto, o Programa Objeto, que es
el

que

interpreta

exclusivamente

el

ordenador.

Cdigo objeto
En programacin, se llama cdigo objeto al cdigo que resulta de
la compilacin del cdigo fuente.1
Consiste en lenguaje mquina o bytecode y se distribuye en varios archivos que
corresponden a cada cdigo fuente compilado. Para obtener un programa ejecutable se
han de enlazar todos los archivos de cdigo objeto con un programa
llamado enlazador (linker).