Realice lo diagramas de sintaxis de la siguiente gramática
Programa ::= Cabecera Declaracion Cuerpo | Programa fin
Cabecera ::= inicio | ε
Declaracion ::= variable | ε
Cuerpo ::= sentencia | Declaracion finDeclaracion | ε
Respuestas a la pregunta
Respuesta:
Explicación:
El propósito de esta página es proporcionar un resumen de la sintaxis, expresada en BNF (Formas de Backus-Naur), del subconjunto del lenguaje Pascal contemplado en la asignatura Programación I, curso 99/00.
Debe quedar claro que estas definiciones tan sólo incorporan la sintaxis básica, y por lo tanto el que un elemento cumpla una definición no significa necesariamente que sea una construcción correcta en Pascal. Por ejemplo, la definición de sentencia de asignación, <Variable> := <Expresion> no incorpora la información de que el resultado de la evaluación de la expresión debe ser de un tipo de datos compatible con el tipo de la variable.
Ese tipo de información corresponde a la semántica del lenguaje, y sólo se incorpora de manera parcial mediante construcciones del tipo Identificador de funcion, que restringen los elementos permitidos en una parte de la definición.
Cuando aparezca el símbolo ‡ en la parte derecha de una definición, significa que existe un enlace a una página donde se proporciona información adicional sobre ese elemento (significado, restricciones, etc).
Para facilitar la búsqueda de una definición concreta, elija el término en la siguiente lista y pulse "Ver Definicion", o comienze con un elemento de alto nivel como Programa , Unidad o Tipo de dato.