Introduccin

Qu es un lenguaje?
Es un conjunto de smbolos que hace posible la comunicacin entre dos o ms entidades.
Por ejemplo el espaol, que es un lenguaje denominado lenguaje natural, es un conjunto de smbolos y reglas (gramtica
y sintaxis) que permite a todas las personas de habla hispana comunicarse entre s. Un smbolo que pertenece
nicamente a este lenguaje es la letra .

Qu es un lenguaje programacin?
Entonces, un lenguaje de programacin, es un conjunto de smbolos y reglas que permite la comunicacin entre el
programador y la computadora. Los lenguajes de programacin son lenguajes creados por el humano, se les suele
nombrar lenguajes artificiales.

Un poco de historia
Al desarrollarse las primeras computadoras electrnicas, surgi la necesidad de programarlas, es decir, de almacenar en
memoria la informacin sobre la tarea a ejecutar. Las primeras computadoras se usaban como calculadoras simples; se
les indicaban los pasos de clculo, uno por uno.
John Von Neumann desarroll el modelo que lleva su nombre, para describir este concepto de "programa almacenado".
En este modelo, se tiene una abstraccin de la memoria como un conjunto de celdas, que almacenan simplemente
nmeros. Estos nmeros pueden representar dos cosas: los datos, sobre los que va a trabajar el programa; o bien, el
programa en s.
La representacin de estos nmeros en memoria se realiza a travs del cdigo binario, cadenas de 0s y 1s. Este
lenguaje es denominadolenguaje mquina.
El lenguaje mquina, no es fcilmente comprensible para los seres humanos, razn por la cual se han desarrollado
lenguajes intermediarios ms fciles de comprender para el hombre, los lenguajes de programacin. El cdigo escrito
en este tipo de lenguaje se traduce en cdigo mquina para que el procesador pueda interpretarlo. Existen unos
programas especiales llamados traductores del cdigo fuente (cdigo escrito en lenguaje de bajo/alto nivel) al cdigo
objeto (cdigo binario) denominados ensambladores, compiladores e intrpretes. Los ensambladores traducen cdigo
escrito en lenguajes de bajo nivel a cdigo binario. Para el caso de los lenguajes de alto nivel, tenemos los compiladores
e intrpretes cuya principal diferencia es que los interpretes traducen lnea a lnea de cdigo en tiempo real (tiempo de
ejecucin) y se requiere de l cada vez que se necesite ejecutar el cdigo. Por el contrario los compiladores traducen
programas enteros generando un archivo ejecutable por s solo. Esto genera ms eficiencia e independencia ya que una
vez generado el archivo ejecutable, el compilador ya no es necesario pudindose transportar el cdigo a otra
computadora.

Resumen
Podemos resumir entonces que, as como las personas utilizamos el lenguaje natural para comunicarnos entre nosotros,
es decir los humanos comprendemos el lenguaje natural, las computadoras solo comprenden el lenguaje mquina. En un
principio los programadores deban aprender el lenguaje de las computadoras, el lenguaje mquina, para poder
indicarles las tareas a realizar. El avance de la ciencia de la computacin permiti crear otros lenguajes intermediarios
ms cercanos al lenguaje humano, los lenguajes de programacin, que permiten describir las tareas que debe realizar
una computadora de manera mucho ms sencilla. Para que las instrucciones escritas en estos lenguajes sean
comprendidas por la computadora, stas deben ser traducidos al lenguaje mquina. De esta tarea se encargan los
compiladores e interpretes.
Durante el trayecto de esta leccin abordaremos la clasificacin de los lenguajes de programacin y estudiaremos cmo
se definen los smbolos y reglas de los lenguajes de programacin.

Clasificacin de los Lenguajes de Programacin
Los lenguajes de programacin se pueden clasificar atendiendo a varios criterios:

Segn su nivel de abstraccin

Lenguaje Maquina: El lenguaje de mquina es el sistema de cdigos directamente interpretable por un circuito
microprogramable, como el microprocesador de una computadora o el microcontrolador de un autmata. Este lenguaje
est compuesto por un conjunto de instrucciones que determinan acciones al ser tomadas por la mquina. Un programa
consiste en una cadena de estas instrucciones ms un conjunto de datos sobre el cual se trabaja. Estas instrucciones
son normalmente ejecutadas en secuencia, con eventuales cambios de flujo causados por el propio programa o eventos
externos. El lenguaje de mquina es especfico de la arquitectura de la mquina, aunque el conjunto de instrucciones
disponibles pueda ser similar entre arquitecturas distintas. Este lenguaje corresponde a la Primera Generacin de
lenguajes desarrollados para escribir instrucciones a ser ejecutadas por una computadora. Es el nico lenguaje que un
microprocesador entiende de forma nativa.

Lenguaje de bajo nivel: Un lenguaje de programacin de bajo nivel es aquel en el que sus instrucciones ejercen
un control directo sobre el hardware y estn condicionados por la estructura fsica de la computadora que lo soporta. El
lenguaje de bajo nivel ms conocido es el lenguaje ensamblador o assembler. El ensamblador fue el primer lenguaje de
programacin utilizado. El lenguaje ensamblador expresa las instrucciones de una forma ms
natural al hombre a la vez que muy cercana al microcontrolador, ya que cada
una de esas instrucciones se corresponde con otra en cdigo mquina. El lenguaje ensamblador trabaja con nemnicos
(o cdigo nemotcnico), que son grupos de
caracteres alfanumricos que simbolizan las rdenes o tareas a realizar. La traduccin del cdigo escrito en ensamblador
(cdigo objeto) es traducido por un programa llamado ensamblador (que no es lo mismo que el lenguaje ensamblador) al
cdigo mquina comprensible por el procesador (cdigo fuente). No obstante, este lenguaje se parece tanto al lenguaje
mquina que depende estrictamente del tipo de procesador utilizado (como se dijo cada tipo de procesador puede tener
su propio lenguaje mquina). As, un programa desarrollado para un equipo no puede ser portado (trasladado) a otro tipo
de equipo. El trmino "portabilidad" describe la capacidad de usar un programa de software en diferentes tipos de
equipos. Para poder utilizar un programa de software escrito en un cdigo ensamblador en otro tipo de equipo, a veces
ser necesario volver a escribir todo el programa!. Estos lenguajes corresponden a la Segunda Generacin de
lenguajes desarrollados para escribir instrucciones a ser ejecutadas por una computadora.

Lenguaje de alto nivel: Los lenguajes de alto nivel son normalmente fciles de aprender porque permite al
programador escribir las instrucciones de un programa utilizando palabras o expresiones sintcticas muy similares, en
general al idioma ingls. Por ejemplo, en C se pueden usar palabras tales como: case, if, for, while, etc. para
construir con ellas instrucciones como:

if( numero > 0 ) printf( "El nmero es positivo")

Que traducido al castellano viene a decir que: si numero es mayor que cero, entonces, escribir por pantalla el mensaje:
"El nmero es positivo".

sta es la razn por la que a estos lenguajes se les considera de alto nivel, porque se pueden utilizar palabras de muy
fcil comprensin para el programador. En contraposicin, los lenguajes de bajo nivel son aquellos que estn ms cerca
del "entendimiento" de la mquina. Otra caracterstica importante de los lenguajes de alto nivel es que, para la mayora
de las instrucciones de estos lenguajes, se necesitaran varias instrucciones en un lenguaje ensamblador para indicar lo
mismo. De igual forma que, la mayora de las instrucciones de un lenguaje ensamblador, tambin agrupa a varias
instrucciones de un lenguaje mquina.
Estos lenguajes corresponden a la Tercera Generacin de lenguajes desarrollados para escribir instrucciones a ser
ejecutadas por una computadora. Ejemplos de estos lenguajes son: Fortran, Pascal, C, Java, Python.


Figura - Relacin entre las instrucciones de alto nivel, ensamblador y mquina.
http://www.carlospes.com/minidiccionario/lenguaje_de_alto_nivel.php

Segn la forma de ejecucin

Lenguajes interpretados:Un lenguaje de programacin es, por definicin, diferente al lenguaje mquina. Por lo
tanto, debe traducirse para que el procesador pueda comprenderlo. Un programa escrito en un lenguaje interpretado
requiere de un programa auxiliar (el intrprete), que traduce las instrucciones del programa fuente a tiempo real, es decir
mientras se va ejecutando.

Lenguajes compilados: Un programa escrito en un lenguaje "compilado" se traduce a travs de un programa
anexo llamado compilador que, a su vez, crea un nuevo archivo independiente que no necesita ningn otro programa
para ejecutarse a s mismo. Este archivo se llama ejecutable.
Un programa escrito en un lenguaje compilado posee la ventaja de no necesitar un programa anexo para ser ejecutado
una vez que ha sido compilado. Adems, como slo es necesaria una traduccin, la ejecucin se vuelve ms rpida.
Sin embargo, no es tan flexible como un programa escrito en lenguaje interpretado, ya que cada modificacin del archivo
fuente (el archivo comprensible para los seres humanos: el archivo a compilar) requiere de la compilacin del programa
para aplicar los cambios.
Por otra parte, hay quienes entienden que un programa compilado tiene la ventaja de garantizar la seguridad del cdigo
fuente. Ya que, el lenguaje interpretado, al ser directamente un lenguaje legible, hace que cualquier persona pueda
conocer los secretos de fabricacin de un programa y, de ese modo, copiar su cdigo o incluso modificarlo. Por lo tanto,
existe el riesgo de que los derechos de autor no sean respetados. Existe otra lnea de la informtica que por el contrario,
toma esto como una ventaja ya que al ser el cdigo abierto a todo aquel que quiera modificarlo se garantiza que ste
pueda ser adaptado a todas las necesidades
(1)
.


Figura - Lenguajes compilados
http://ormeno-nicolas.blogspot.com.ar/2012/02/lenguaje-interpretado-vs-lenguaje.html

Lenguajes intermediarios: Algunos lenguajes pertenecen a ambas categoras (LISP, Java, Python...) dado que
el programa escrito en estos lenguajes puede, en ciertos casos, sufrir una fase de compilacin intermediaria, en un
archivo escrito en un lenguaje ininteligible (por lo tanto diferente al archivo fuente) y no ejecutable (requerira un
interprete). Los applets Java, pequeos programas que a menudo se cargan en pginas web, son archivos compilados
que slo pueden ejecutarse dentro de un navegador web (son archivos con la extensin .class).

Segn el paradigma de programacin
Un paradigma de programacin representa un enfoque particular o filosofa para la construccin del software. No es
mejor uno que otro, sino que cada uno tiene ventajas y desventajas. Dependiendo de la situacin un paradigma resulta
ms apropiado que otro. Algunos de los paradigmas ms importantes son:

Paradigma Imperativo o por Procedimientos: Es considerado el ms comn y est representado, por
ejemplo, por el C o por BASIC. Describe la programacin en trminos del estado del programa y sentencias que cambian
dicho estado. Los programas imperativos son un conjunto de instrucciones que le indican a la computadora cmo realizar
una tarea.
La implementacin de hardware de la mayora de las computadoras es imperativa; prcticamente todo el hardware de
ellas est diseado para ejecutar cdigo de mquina, que es nativo al procesador, escrito en una forma imperativa. Esto
se debe a que el hardware implementa el paradigma de las Mquinas de Turing
(2)
. Desde esta perspectiva de bajo nivel,
el estilo del programa est definido por los contenidos de la memoria, y las sentencias son instrucciones en el lenguaje
de mquina. Los lenguajes imperativos de alto nivel usan variables y sentencias ms complejas, pero an siguen el
mismo paradigma.
Los primeros lenguajes imperativos fueron los lenguajes de mquina de los computadores originales. En estos lenguajes,
las instrucciones fueron muy simples, lo cual hizo la implementacin de hardware fcil, pero obstruyendo la creacin de
programas complejos. Fortran, cuyo desarrollo fue iniciado en 1954 por John Backus en IBM, fue el primer gran lenguaje
de programacin en superar los obstculos presentados por el cdigo de mquina en la creacin de programas
complejos.
Algunos Lenguajes: BASIC, C, Fortran, Pascal

Paradigma Estructurado: La programacin estructurada es un paradigma de programacin orientado a mejorar
la claridad, calidad y tiempo de desarrollo de un programa de computadora, utilizando nicamente subrutinas, y tres
estructuras: secuencia, seleccin (if y switch), e iteracin (bucles for y while); considerando innecesario y
contraproducente el uso de la instruccin de transferencia incondicional (GOTO), que podra conducir a "cdigo
espagueti", que es mucho ms difcil seguir y de mantener, y era la causa de muchos errores de programacin.
Surgi en la dcada de 1960, particularmente del trabajo Bhm y Jacopini,1 y una famosa carta, la sentencia goto
considerada perjudicial, de Edsger Dijkstra en 19682 y fue reforzado tericamente por el teorema del programa
estructurado, y prcticamente por la aparicin de lenguajes como ALGOL con adecuadas y ricas estructuras de control.
Algunos Lenguajes: ALGOL, Pascal, PL/I y Ada

Paradigma Funcional: Es un paradigma de programacin declarativo basado en la utilizacin de funciones
aritmticas que no maneja transformacin de datos o cambios de estado. Enfatiza la aplicacin de funciones, en
contraste con el estilo de programacin imperativo, que enfatiza los cambios de estado. La programacin funcional tiene
sus races en el clculo lambda, un sistema formal desarrollado en los 1930s para investigar la definicin de funcin, la
aplicacin de las funciones y la recursin. Muchos lenguajes de programacin funcionales pueden ser vistos como
elaboraciones del clculo lambda.
En la prctica, la diferencia entre una funcin matemtica y la nocin de una "funcin" utilizada en la programacin
imperativa es que las funciones imperativas pueden tener efectos secundarios, al cambiar el valor de clculos realizados
previamente. Por esta razn carecen de transparencia referencial, es decir, la misma expresin sintctica puede resultar
en valores diferentes en diferentes momentos dependiendo del estado del programa siendo ejecutado. Con cdigo
funcional, en contraste, el valor generado por una funcin depende exclusivamente de los argumentos alimentados a la
funcin. Al eliminar los efectos secundarios se puede entender y predecir el comportamiento de un programa mucho ms
fcilmente, y esta es una de las principales motivaciones para utilizar la programacin funcional.
Los lenguajes de programacin funcional, especialmente los que son puramente funcionales, han sido enfatizados en el
ambiente acadmico principalmente y no tanto en el desarrollo de software comercial. Sin embargo, lenguajes de
programacin importantes tales como Scheme, Erlang, Objective Caml y Haskel, han sido utilizados en aplicaciones
comerciales e industriales por muchas organizaciones.
La programacin funcional tambin es utilizada en la industria a travs de lenguajes de dominio especfico como R
(estadstica), Mathematica (matemticas simblicas), J y K (anlisis financiero), F# en Microsoft.NET y XSLT (XML).
Lenguajes de uso especfico usados comnmente como SQL y Lex/Yacc, utilizan algunos elementos de programacin
funcional, especialmente al procesar valores mutables. Las hojas de clculo tambin pueden ser consideradas lenguajes
de programacin funcional.
La programacin funcional tambin puede ser desarrollada en lenguajes que no estn diseados especficamente para la
programacin funcional. En el caso de Perl, por ejemplo, que es un lenguaje de programacin imperativo, existe un libro
que describe como aplicar conceptos de programacin funcional. JavaScript, uno de los lenguajes ms ampliamente
utilizados en la actualidad, tambin incorpora capacidades de programacin funcional.
Algunos Lenguajes: familia de lenguajes LISP (en particular Scheme), ML o Haskell.

Paradigma Lgico: Es un paradigma de programacin declarativo basado en el concepto de predicado, o relacin
entre elementos. La mayora de los lenguajes de programacin lgica se basan en la teora lgica de primer orden,
aunque tambin incorporan algunos comportamientos de orden superior como la lgica difusa. La programacin lgica
permite formalizar hechos del mundo real.
Algunos Lenguajes: PROLOG.

Paradigma Orientado a Objetos (POO): Usa los objetos en sus interacciones, para disear aplicaciones y
programas informticos. Est basado en varias tcnicas, incluyendo herencia, cohesin, abstraccin, polimorfismo,
acoplamiento y encapsulamiento. Su uso se populariz a principios de la dcada de los aos 1990. En la actualidad,
existe variedad de lenguajes de programacin que soportan la orientacin a objetos.
(3)

Algunos Lenguajes: Un lenguaje completamente orientado a objetos es Smalltalk. Otros lenguajes que soportan POO
son C++, Java, Paython


(1) http://www.gnu.org/philosophy/philosophy.es.htm
(2) http://es.wikipedia.org/wiki/M%C3%A1quina_de_Turing
(3) http://es.wikipedia.org/wiki/Programaci%C3%B3n_orientada_a_objetos#Introducci.C3.B3n

Para leer ms sobre estos temas:
Lenguaje ensamblador
Mnemnicos o cdigo nemotcnico
Gramtica, sintaxis, semntica y pragmtica de un lenguaje de
programacin.
Gramtica
La tarea de proveer una descripcin concisa y comprensible de un lenguaje de programacin es difcil pero esencial para
el xito de un lenguaje de programacin.

Las gramticas permiten realizar una descripcin concisa de las reglas sintcticas ( y algunas semnticas) de los
lenguajes de programacin.

En este sentido la gramtica es el estudio de las reglas y principios que regulan el uso de las lenguas y la organizacin
de las palabras dentro de una oracin. Tambin se denomina as al conjunto de reglas y principios que gobiernan el uso
de un lenguaje formal (como los lenguajes de programacin); as, cada lengua tiene su propia gramtica. En el mbito de
las gramticas existen diferentes tipos, entre las que se encuentra la gramtica formal que abarca el estudio de los
lenguajes formales de los cuales forman parte los lenguajes de programacin.

Clsicamente el estudio de un lenguaje formal se divide en tres niveles:
Nivel: sintctico-morfolgico.
Nivel: lxico-semntico.
Nivel: pragmtico.
Las gramticas abarcan el nivel sintctico-morfolgico de los lenguajes.

Los lenguajes de programacin se conforman por un conjunto de cadenas de carcateres
(1)
que cumplen las reglas de
formacin (sintaxis) y comportamiento definidas por el lenguaje (semntica).

Entonces un lenguaje es un conjunto de "palabras" pertenecientes al lenguaje (cumplen reglas de formacin, reglas
sintcticas) que deben ser utilizadas de una cierta forma para que stas tengan sentido dentro del lenguaje (reglas de
comportamiento, reglas semnticas).

Una gramtica formal es, entonces, una estructura matemtica con un conjunto de reglas de formacin (reglas
sintcticas) que definen las cadenas de caracteres admisibles en un determinado lenguaje formal. Las gramticas
formales aparecen en varios contextos diferentes: la lgica matemtica, las ciencias de la computacin y la lingstica
terica.

Existen diferentes tipos de gramticas formales, las que se utilizan para describir la sintaxis de los lenguajes de
programacin se denominanGramticas Libres de Contexto.

Sintaxis
La sintaxis de un lenguaje de programacin es el conjunto de reglas que el programador debe seguir para que el
programa escrito en ese lenguaje sea reconocido por el compilador/intrprete como un lenguaje vlido.
Recordar que los lenguajes de alto nivel no son comprendidos por el procesador y el cdigo escrito en este tipo de
lenguajes debe ser traducido a cdigo mquina para su ejecucin. Para que esta traduccin se pueda llevar a cabo, el
cdigo escrito en el lenguaje de alto nivel debe respetar las reglas establecidas por la sintaxis del lenguaje.
Como ya se explic, la mayora de los lenguajes de programacin son puramente textuales, es decir, utilizan secuencias
de texto que incluyen palabras, nmeros y puntuacin, de manera similar a los lenguajes naturales escritos. Por otra
parte, hay algunos lenguajes de programacin que son ms grficos en su naturaleza, utilizando relaciones visuales
entre smbolos para especificar un programa.
La sintaxis de un lenguaje de programacin describe las combinaciones posibles de los smbolos que forman un
programa sintcticamente correcto.
En esta materia se trabaja con un lenguaje de programacin grfico, los diagramas de bloques. Para ejercitar su uso se
desarroll un entorno de trabajo, Diagramar. Esta herramienta es capaz de entender los diagramas de bloque utilizando
ciertas reglas sintcticas para escribir el contenido de cada uno de ellos.
Por ejemplo, son reglas sintcticas de Diagramar:
Bloque de ingreso de datos: Si se quiere solicitar el ingreso de varias variables en un mismo bloque, stas deben
estar separadas por una coma ,. Si en un bloque de entrada se escriben las variables separadas por ";" el
traductor de Diagramar no podr comprender la instruccin de ingreso de varias variables y se producir un
error.
Condiciones: El operador y lgico se representa con &, por lo tanto cadenas de la forma A&B son vlidas,
mientras que AyB o A AND B no son vlidas para Diagramar.
El evaluador de Diagramar diferencia entre maysculas y minsculas. Esto quiere decir que para el evaluador no
es lo mismo ACUM que Acum, sino que se trata de dos identificadores distintos.
Semntica
Es el conjunto de reglas que proporcionan el significado de una sentencia o instruccin de cualquier lenguaje de
programacin.
Un clsico ejemplo de semntica es la especificacin de la precedencia y asociatividad de los operadores aritmticos. No
es lo mismo que * y / tengan mayor precedencia que + y - ya que el resultado de expresiones como 5 + 6 * 4 no darn el
mismo resultado. Otro ejemplo de regla semntica se d en algunos lenguajes en donde el operador / es divisin y \ es
divisin entera.
Ejemplos de reglas semnticas en Diagramar son todas las reglas de precedencia y asociatividad de operadores.

Pragmtica
La pragmtica de un lenguaje de programacin est vinculada al uso prctico que se le pueda dar a dicho lenguaje de
programacin.
Las computadoras han sido aplicadas a una gran cantidad de reas diferentes,desde el control de plantas de energa
nuclear hasta la provisin de juegos de video en telfonos celulares. Debido a esta gran diversidad en el uso de
computadoras, se han desarrollado lenguajes de programacin con metas muy diferentes. En esta seccin, discutimos
brevemente algunas de las reas de aplicaciones de computadoras y sus lenguajes asociados.

Propsito General: Los lenguajes de propsito general, son lenguajes que pueden ser usados para varios
propsitos, acceso a bases de datos, comunicacin entre computadoras, comunicacin entre dispositivos, captura de
datos, clculos matemticos, diseo de imgenes o pginas, crear sistemas operativos, manejadores de bases de datos,
compiladores, entre muchas otras cosas. Ejemplos de este tipo de lenguaje son C, Pascal, Basic.

Aplicaciones Cientficas: Las primeras computadoras digitales, que aparecieron en la dcada de 1940, fueron
usadas y de hecho inventadas para aplicaciones cientficas. Las aplicaciones cientficas tpicamente tienen estructuras
de datos simples pero requieren una gran cantidad de clculos en aritmtica de punto flotante (nmeros reales). Las
estructuras de datos ms comunes son vectores y matrices; las estructuras de control ms comunes son ciclos y
selecciones. El primer lenguaje para aplicaciones cientficas fue Fortran. El lenguaje ms utilizado para desarrollar este
tipo de aplicaciones es C.

Aplicaciones de Negocios: El uso de computadoras para aplicaciones de negocios comenz el los 50s.
Computadoras especiales fueron desarrolladas para este propsito, junto con lenguajes especiales. El primer lenguaje de
alto nivel para negocios que tuvo xito fue COBOL (ISO/IEC 2002), la versin inicial del que apareci en 1960.
Actualmente es an el lenguaje ms comunmente usado para estas aplicaciones.
Los lenguajes para negocios estn caracterizados por facilidades para producir reportes elaborados, formas precisas de
describir y almacenar nmeros decimales y datos de caracteres, y la habilidad para especificar operaciones aritmticas
decimales.

Inteligencia Artificial: La inteligencia artificial (AI) es una amplia rea de aplicaciones de computadoras
caracterizadas por el uso de computaciones simblicas en lugar de numricas. Las computaciones simblicas significa
que se manipulan smbolos, que consisten en nombres en lugar de nmeros.
El primer lenguaje de programacin desarrollado para aplicaciones AI ampliamente usado fue el lenguaje funcional LISP
(McCarthy et al., 1965), el cual apareci en 1959. La mayora de las aplicaciones de AI desarrolladas antes de 1990
fueron escritas en LISP o uno de sus descendientes cercanos. Sin embargo, durante los primeros aos de 1970,
apareci un enfoque alternativo a algunas de estas aplicaciones - la programacin lgica usando el lenguaje Prolog
(Clocksin y Mellish, 2003). Ms recientemente, algunas aplicaciones AI fueron escritas en lenguajes cientficos como C.

Programacin de Sistemas: El sistema operativo y todas las herramientas de soporte a la programacin de
sistemas de computadoras son conocidos colectivamente como su software de sistemas. El software de sistemas es
usado casi continuamente y por lo tanto debe ser eficiente. De este modo, un lenguaje para este dominio debe proveer
una ejecucin rpida. Adems, debe tener caractersticas de bajo nivel que permitan escribir las interfaces de software a
dispositivos externos.
El sistema operativo UNIX est escrito casi enteramente en C (ISO, 1999), el cual ha hecho relativamente fcil su
transporte, o migracin, a diferentes mquinas.

Software Web: La World Wide Web (red de alcance mundial, conocida como www) es soportada por una coleccin
diversa de lenguages, en un rango desde lenguajes de marcacin, tales como XHTML, el cual no es un lenguaje de
programacin, hasta lenguajes de programacin de propsito general, tales como Java. XHTML provee una forma de
embeber instrucciones de presentacin en las pginas de informacin, las cuales pueden incluir texto, imgenes, sonido
o animacin, que constituyen el contenido de la Web.

(1) Cadenas de caracteres: En programacin, una cadena de caracteres, palabra, ristra de caracteres o frase (string en
ingls) es una secuencia ordenada de longitud arbitraria (aunque finita) de elementos que pertenecen a un cierto
lenguaje formal o alfabeto anlogas a una frase o a una oracin. En general, una cadena de caracteres es una sucesin
de caracteres (letras, nmeros u otros signos o smbolos).