Características de los lenguajes de programación

CARACTERISTICAS DE LOS LENGUAJES DE PROGRAMACIÓN

1. Descripciones bien definidas:
Backus-Naur Form(BNF): Es un metalenguaje, un lenguaje para describir otro lenguaje. Tiene símbolos llamadosmetasímbolos y reglas propias, las cuales son empleadas para definir la sintaxis del lenguaje particular de programación en cuestión.
Por sintaxis entendemos una colección de instrucciones formadas alseguir un conjunto de reglas que diferencian los programas válidos de los no válidos. La sintaxis por sí misma no da significado a un lenguaje; meramente define la colección de frases y sentencias queson combinaciones válidas de los caracteres del lenguaje.
METASÍMBOLO
SIGNIFICADO
: : ¯
Se define como
|
Alternativamente, o

se remplaza por su definición
Algo
Una palabra escrita ennegritas se conoce como terminal o tokens (caracteres individuales) que indica un elemento del lenguaje indivisible que no permite otros remplazos.
En BNF las palabras reservadas siempre aparecen ennegritas.
Los identificadores en seudocódigo están descritos en BNF como:
::¯||
Y se lee: “Un identificador se define como una letra, o un identificador seguido por una letra, o un identificador seguidopor un dígito”.
Ejemplo:


a
a
7a
7a
17a
17a
V17a

Forma Extendida Backus-Naur(EBNF):
SÍMBOLO
SIGNIFICADO
[algo]
Ocurrencia de 0 o 1 de algo, es decir, opcional
{algo}
0 o másocurrencias de algo
(esto | eso)
Agrupación; ya sea esto o eso

En EBNF la definición de un identificador puede abreviarse a:
::˭[|]
Semántica: Describir de manera precisa lo que significa unaconstrucción particular.
La semántica axiomática: Define declaraciones que son verdaderas o falsas durante varias etapas de la ejecución de un programa.
La semántica denotacional está basada en lateoría de funciones.
Un tercer método semántico consiste en describir una máquina teórica para un lenguaje y cómo es su funcionamiento.

2. Comprobabilidad:
La prueba de que un programa es correcto...