Definicion de lenguaje de programacion

Qué es el lenguaje de programación en palabras sencillas

Este artículo necesita citas adicionales para su verificación. Por favor, ayude a mejorar este artículo añadiendo citas de fuentes fiables. El material sin fuente puede ser cuestionado y eliminado.Buscar fuentes:  «Sintaxis» lenguajes de programación – noticias – periódicos – libros – scholar – JSTOR (agosto de 2013) (Aprende cómo y cuándo eliminar este mensaje de la plantilla)

En informática, la sintaxis de un lenguaje informático es el conjunto de reglas que definen las combinaciones de símbolos que se consideran declaraciones o expresiones correctamente estructuradas en ese lenguaje. Esto se aplica tanto a los lenguajes de programación, donde el documento representa el código fuente, como a los lenguajes de marcado, donde el documento representa los datos.

La sintaxis, por tanto, se refiere a la forma del código y se contrapone a la semántica, el significado. En el tratamiento de los lenguajes informáticos, el tratamiento semántico suele ser posterior al sintáctico; sin embargo, en algunos casos, el tratamiento semántico es necesario para completar el análisis sintáctico, y se realizan juntos o simultáneamente. En un compilador, el análisis sintáctico comprende el frontend, mientras que el análisis semántico comprende el backend (y el middle end, si se distingue esta fase).

Tipos de lenguaje de programación

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. Al compilarlo y ejecutarlo, dará 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).

Definición de programación

Un lenguaje de programación es un sistema para instruir al ordenador sobre cómo resolver un problema informático o realizar una tarea específica. Consiste en comandos específicos, lógica básica y una manera formal de combinar todos estos elementos en directivas para que el ordenador las ejecute.

Los lenguajes de programación pueden clasificarse en dos categorías. La primera se llama «lenguajes de alto nivel» y los programadores los utilizan para escribir el código fuente. La segunda categoría se denomina ‘lenguajes compilados’, ya que el código debe compilarse primero antes de poder ejecutarse.

Wikipedia

Este artículo trata sobre un término técnico en matemáticas y ciencias de la computación. 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 consiste en 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 llama palabra, y las palabras que pertenecen a un lenguaje formal concreto 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.