Un lenguaje de programación es un lenguaje formal diseñado para expresar procesos que pueden ser llevados a cabo por máquinas como las computadoras. Existen dos enfoques principales para ejecutar programas: los intérpretes, que analizan e interpretan el código directamente, y los compiladores, que traducen el código a un formato ejecutable por la máquina. Cada enfoque tiene ventajas y desventajas en términos de velocidad, depuración y tipos de operaciones soportadas.

1. Resumen
Un lenguaje de programación es un lenguaje formal diseñado para
expresar procesos que pueden ser llevados a cabo por máquinas
como las computadoras. Pueden usarse para crear programas que
controlen el comportamiento físico y lógico de una máquina, para
expresar algoritmos con precisión, o como modo de comunicación
humana.
Compilador, que analiza el programa fuente y lo traduce a otro
equivalente escrito en otro lenguaje (por ejemplo, en el lenguaje de
la máquina). Su acción equivale a la de un traductor humano, que
toma un libro y produce otro equivalente escrito en otra lengua.
Intérprete, que analiza el programa fuente y lo ejecuta
directamente, sin generar ningún código equivalente. Su acción
equivale a la de un intérprete humano, que traduce las frases que
oye sobre la marcha, sin producir ningún escrito permanente.
Intérpretes y compiladores tienen diversas ventajas e inconvenientes
que los hacen complementarios:
Un intérprete facilita la búsqueda de errores, pues la ejecución de un
programa puede interrumpirse en cualquier momento para estudiar el
entorno (valores de las variables, etc.). Además, el programa puede
modificarse sobre la marcha, sin necesidad de volver a comenzar la
ejecución.
Un compilador suele generar programas más rápidos y eficientes, ya
que el análisis del lenguaje fuente se hace una sola vez, durante la
generación del programa equivalente. En cambio, un intérprete se ve
obligado generalmente a analizar cada instrucción tantas veces como
se ejecute (incluso miles o millones de veces).
Un intérprete permite utilizar funciones y operadores más potentes,
como por ejemplo ejecutar código contenido en una variable en
forma de cadenas de caracteres. Usualmente, este tipo de
instrucciones es imposible de tratar por medio de compiladores. Los
lenguajes que incluyen este tipo de operadores y que, por tanto,
exigen un intérprete, se llaman interpretativos.

2. Los lenguajes completivos, que permiten el uso de un compilador,
prescinden de este tipo de operadores.
El software o programas de desarrollo, se utilizan para crear las
aplicaciones que resolverán los problemas específicos de los usuarios
de computadoras. Estos programas se denominan lenguajes de
programación, y están integrados por el programa principal, programas
adicionales, librerías y utilerías, que facilitan la construcción de las
aplicaciones de propósito específico. En principio, deberían de estar
escritos en el lenguaje nativo de la máquina; sin embargo, para facilitar
la tarea de los desarrolladores se han inventado lenguajes más
accesibles.
Los intérpretes traducen el programa instrucción por instrucción y
requieren del lenguaje de programación como soporte para la
ejecución de las aplicaciones creadas. No crean código objeto o
ejecutable. La ventaja sobre los compiladores es que es posible
localizar los errores de inmediato y corregirlos con facilidad.
Los compiladores funcionan en dos etapas: en la primera traducen el
programa y en la segunda crean un programa o código objeto en
lenguaje máquina. Si detectan algún error en el programa fuente
durante el proceso de compilación, se lo indican al programador para
que haga las correcciones adecuadas. El programa ejecutable sólo se
puede crear cuando han sido depurados todos los errores del código
fuente.
Los virus informáticos son sólo programas; es decir, secuencias de
instrucciones que realizan funciones específicas al ejecutarse en una
computadora. Están escritos