Lenguaje de programación de más bajo nivel
El código fuente de un sencillo programa informático escrito en el lenguaje de programación C. Las líneas grises son comentarios que ayudan a explicar el programa a los humanos en un lenguaje natural. Cuando se compila y ejecuta, da la salida “¡Hola, mundo!”.
Un lenguaje de programación es un lenguaje formal que comprende un conjunto de cadenas que producen varios tipos de salida de código máquina. Los lenguajes de programación son un tipo de lenguaje informático y se utilizan en la programación de ordenadores para implementar algoritmos.
La mayoría de los lenguajes de programación consisten en instrucciones para ordenadores. Hay máquinas programables que utilizan un conjunto de instrucciones específicas, en lugar de lenguajes de programación generales. Desde principios del siglo XIX, se han utilizado programas para dirigir el comportamiento de máquinas como los telares de Jacquard, las cajas de música y los pianos de cola[1] Los programas de estas máquinas (como las volutas de un piano de cola) no producían un comportamiento diferente en respuesta a diferentes entradas o condiciones.
Se han creado miles de lenguajes de programación diferentes, y cada año se crean más. Muchos lenguajes de programación se escriben de forma imperativa (es decir, como una secuencia de operaciones a realizar) mientras que otros lenguajes utilizan la forma declarativa (es decir, se especifica el resultado deseado, pero no cómo conseguirlo).
Qué lenguaje de programación aprender
Este artículo trata sobre un término técnico de las matemáticas y la informática. Para estudios relacionados con las lenguas naturales, véase Semántica formal (lingüística). Para los modos formales de hablar en las lenguas naturales, véase Registro (sociolingüística).
El alfabeto de un lenguaje formal está formado por símbolos, letras o fichas que se concatenan en cadenas del lenguaje[1] Cada cadena concatenada a partir de símbolos de este alfabeto se denomina palabra, y las palabras que pertenecen a un determinado lenguaje formal se denominan a veces palabras bien formadas o fórmulas bien formadas. Un lenguaje formal suele definirse mediante una gramática formal, como una gramática regular o una gramática libre de contexto, que consiste en sus reglas de formación.
El campo de la teoría del lenguaje formal estudia principalmente los aspectos puramente sintácticos de dichos lenguajes, es decir, sus patrones estructurales internos. La teoría del lenguaje formal surgió de la lingüística como una forma de entender las regularidades sintácticas de los lenguajes naturales.
En informática, los lenguajes formales se utilizan, entre otras cosas, como base para definir la gramática de los lenguajes de programación y las versiones formalizadas de subconjuntos de lenguajes naturales en los que las palabras del lenguaje representan conceptos que se asocian con significados particulares o semánticos. En la teoría de la complejidad computacional, los problemas de decisión suelen definirse como lenguajes formales, y las clases de complejidad se definen como los conjuntos de lenguajes formales que pueden ser analizados por máquinas con una potencia computacional limitada. En la lógica y los fundamentos de las matemáticas, los lenguajes formales se utilizan para representar la sintaxis de los sistemas axiomáticos, y el formalismo matemático es la filosofía de que toda la matemática puede reducirse a la manipulación sintáctica de los lenguajes formales de esta manera.
Número de lenguajes de programación
Aunque muchos lenguajes comparten similitudes, cada uno tiene su propia sintaxis. Una vez que el programador aprende las reglas, la sintaxis y la estructura del lenguaje, escribe el código fuente en un editor de texto o IDE. A continuación, el programador suele compilar el código en un lenguaje de máquina que pueda ser entendido por el ordenador. Los lenguajes de script, que no requieren un compilador, utilizan un intérprete para ejecutar el script.
En la actualidad, existen cientos de lenguajes de programación diferentes. La siguiente sección contiene un índice de los diferentes lenguajes de programación y de scripting que aparecen actualmente en nuestro sitio. Al hacer clic en cualquiera de los siguientes lenguajes se muestra una explicación y ejemplos de ese lenguaje.
R Racket Reia RPG Ruby Rust Scala Scheme Scratch SGML * Simula Smalltalk SPL SQL * Stanford LISP Swift Tcl Turbo Pascal True BASIC VHDL Visual Basic Visual FoxPro WML * WHTML * XLISP XML * YAML * ZetaLisp
Los lenguajes marcados con un asterisco (*) en la lista anterior no son técnicamente un lenguaje de programación. Son lenguajes de marcado, hojas de estilo y gestión de bases de datos que se incluyen en la lista para aquellos que puedan considerarlos como un lenguaje de programación.
Qué es un lenguaje de programación
Un lenguaje de programación es un vocabulario y un conjunto de reglas gramaticales para ordenar a un ordenador o dispositivo informático que realice tareas específicas. El término lenguaje de programación suele referirse a los lenguajes de alto nivel, como BASIC, C, C++, COBOL, Java, FORTRAN, Ada y Pascal.
Los lenguajes de programación de alto nivel, aunque son sencillos en comparación con los lenguajes humanos, son más complejos que los lenguajes que realmente entiende el ordenador, llamados lenguajes de máquina. Cada tipo de CPU tiene su propio lenguaje de máquina.
Entre los lenguajes de máquina y los lenguajes de alto nivel se encuentran los llamados lenguajes ensambladores. Los lenguajes ensambladores son similares a los lenguajes de máquina, pero son mucho más fáciles de programar porque permiten al programador sustituir los números por nombres. Los lenguajes máquina están compuestos únicamente por números.
Por encima de los lenguajes de alto nivel están los llamados lenguajes de cuarta generación (normalmente abreviados como 4GL). Los 4GL están muy alejados de los lenguajes máquina y representan la clase de lenguajes informáticos más cercana a los lenguajes humanos.
