Lenguajes de Programación y sus Elementos

Especificaciones Formales Una  especificación formal  usa notación matemática para describir de manera precisa las propiedades que un sistema de información debe tener, sin preocuparse por la forma de obtener dichas propiedades. Describe lo que el sistema  debe  hacer sin decir  cómo  se va a hacer. Esta abstracción hace que las especificaciones formales sean útiles en el proceso de desarrollar un sistema, porque permiten responder preguntas acerca de lo que el sistema hace con  confianza , sin la necesidad de tratar con una gran cantidad de información no relevante que se encuentra en el código de programa del sistema en un lenguaje de programación cualquiera, o especular sobre el significado de frases en un impreciso Pseudocódigo. Un especificación formal pueden servir como un punto de referencia fiable tanto para quienes se dedican a investigar sobre los  requerimientos  del cliente que solicit...

SISTEMA FORMAL Un  sistema formal  es un tipo de sistema lógico-deductivo constituido por un lenguaje formal, una gramática formal que restringe cuales son las expresiones correctamente formadas de dicho lenguaje y las reglas de inferencia y un conjunto de axiomas que permite encontrar las proposiciones derivables de dichos axiomas. Los sistemas formales también han encontrado aplicación dentro de la informática, la teoría de la información, y la estadística, para proporcionar una definición rigurosa del concepto de demostración. La noción de sistema formal corresponde a una formalización rigurosa y completa del concepto de sistema axiomático, los cuales pueden ser expresados en lenguaje formal o en lenguaje natural formalizado. Llamamos  formalización  al acto de crear un sistema formal, con la que pretendemos capturar y abstraer la esencia de determinadas características del mundo real, ...

ELEMENTOS DEL LENGUAJE El código fuente (texto) de un programa se distribuye en un conjunto de unidades de compilación, cada una de las cuales está formada por una secuencia de  elementos léxicos .  Cada elemento léxico está formado por una secuencia de caracteres Delimitadores: Son caracteres utilizados en determinadas operaciones y sentencias. Los delimitadores están constituidos por un solo caracter.  & ' ( ) * + , – . / : ; < = > | \ Los delimitadores compuestos se forman con parejas de caracteres: => .. ** := /= >= <= << >> <> Juego de Caracteres:   La  codificación de caracteres  es el método que convierte un carácter de un lenguaje natural en un símbolo de otro sistema de representación, como un número o en el caso de un ordenador una secuencia de unos y ceros. El  juego de caracteres   es la equivalencia carácter a carácter de la codificación de los caracteres de ...

CLASIFICACIÓN DE LOS LENGUAJES DE PROGRAMACIÓN Los lenguajes de programación se pueden clasificar según varios criterios. La agrupación más importante es por: nivel de abstracción, propósito, método de ejecución y paradigma de programación. Clasificación de los lenguajes de programación según su Nivel de Abstracción:  Lenguajes de Bajo Nivel  son Lenguajes de código máquina, son un conjunto de instrucciones en código binario que el ordenador es capaz de ejecutar directamente, específicos de cada tipo de procesador o CPU. Ejemplos: Lenguaje de máquina y lenguajes ensambladores. Lenguajes de Alto Nivel  más parecidos al lenguaje natural, cercanos al problema, nos olvidamos de la estructura interna del ordenador  Ejemplos: C, Basic, Java. Clasificación de los lenguajes de programación según su Propósito: Lenguajes de Propósito General  permiten la implementación de prácticamente cualquier algoritmo, el nivel de abstracción...

INTRODUCCIÓN AL TEMA ¿Qué es un lenguaje de programación? Un lenguaje de programación es un lenguaje formal diseñado para realizar procesos que pueden ser llevados a cabo por máquinas como las computadoras. ¿Qué se puede hacer con ellos? Los lenguajes de programación 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 . Permiten crear programas específicos que ofrezcan soluciones a programas particulares. ¿Cómo están formados? Los lenguajes de programación formados por un conjunto de símbolos y reglas sintácticas y semánticas que definen su estructura y el significado de sus elementos y expresiones . ¿Qué es programación? Al proceso por el cual se escribe, se prueba, se depura, se compila (de ser necesario) y se mantiene el código fuente de un programa informático se le llama programación . En conclusión ...