Eres un profesor de informática que enseña el lenguaje de programación C. Un principio que busca impartir a los estudiantes es la modularidad . Desafortunadamente, las clases pasadas han tendido a no recibir el mensaje, enviando tareas con todo el programa dentro main(). Por lo tanto, para este semestre usted ha emitido pautas estrictas de modularidad sobre las cuales los estudiantes serán calificados.
A continuación se define un subconjunto de la gramática C y las reglas para la unidad de traducción "bien formada". El código que sigue estas reglas debe ser válido C89, A MENOS QUE se use un identificador que sea una palabra clave.
Tarea
Recibirá como entrada una cadena que supuestamente contiene el código C. Puede suponer que esta cadena contiene solo espacios, líneas nuevas y los caracteres abcdefghijklmnopqrstuvwxyz123456789(){},+-*/%;=.
Su código debe generar el número de puntos que la asignación del estudiante debe recibir de acuerdo con la siguiente rúbrica:
- La entrada no es válida
translation-unitsegún la gramática: 0 puntos - La entrada sigue la gramática pero no está "bien formada" de acuerdo con las siguientes reglas: 1 punto
- La entrada es una unidad de traducción bien formada pero no completamente modular: 2 puntos
- Input es una unidad de traducción bien modular y bien formada: 3 puntos
Definiciones de tokens
identifier: Cualquier secuencia de 1 o más letras minúsculas en inglés. Si un identificador es una palabra reservada C89 1 , opcionalmente puede devolver 0 en lugar de lo que el resultado hubiera estado ignorando palabras reservadas. No tiene que ser coherente para detectar el uso de palabras reservadas como identificadores; puede marcarlos en algunos casos y dejarlos pasar en otros.integer-literal: Una secuencia de 1 o más de los dígitos 1-9 (recuerde que0se garantiza que el carácter no aparecerá en la entrada)- Otros tokens válidos se definen literalmente en la gramática.
- Un personaje debe pertenecer a un token si y solo si no es un espacio en blanco.
- Dos caracteres alfanuméricos consecutivos deben ser parte del mismo token.
Gramática EBNF
var-expr = identifier
literal-expr = integer-literal
binary-op = "+" | "-" | "*" | "/" | "%"
binary-expr = expr binary-op expr
paren-expr = "(" expr ")"
call-expr = identifier "(" [ expr ( "," expr )* ] ")"
expr = var-expr | literal-expr | binary-expr | paren-expr | call-expr
assign-stmt = var-expr "=" expr ";"
if-stmt = "if" "(" expr ")" assign-stmt
return-stmt = "return" expr ";"
function-body = ( assign-stmt | if-stmt )* return-stmt
argument-list = [ identifier ( "," identifier )* ]
function-definition = identifier "(" argument-list ")" "{" function-body "}"
translation-unit = function-definition*
Requisitos de programa bien formados
- No hay dos definiciones de función que puedan tener el mismo nombre de función.
- No hay dos identificadores en un
argument-listpueden ser idénticos. - Ningún identificador en un
argument-listpuede ser idéntico al nombre de una función (ya sea de afunction-definitiono acall-expr). - El identificador en a
var-exprdebe incluirse en la función de cierreargument-list. - Para una función dada, todos los
call-exprsyfunction-definition(si los hay) deben estar de acuerdo en varios argumentos.
Totalmente modular
- No más de 1 operador binario por función
- No más de 1 declaración de asignación por función
- No más de 1 llamada a función por función
Ejemplos (uno por línea)
Puntuación 0
}}}}}
return 2;
f() { return -1; }
f() {}
f(x,) { return 1; }
f(x) { return 1 }
f(x) { returnx; }
f(x) { return1; }
f() { g(); return 1;}
f() { if(1) return 5; }
f(x) { if(1) if(1) x = 2; return x; }
f(x, y) { x = y = 2; return x; }
Puntuación 1
f(){ return 1; } f(){ return 1; }
g(x, x) { return 1; }
g(f) { return 1; } f() { return 1; }
f(x) { x = write(); x = write(1); return 1; }
f() { return f(f); }
f() { return 1; } g() { return f(234567); }
f() { return(x); }
f() { j = 7; return 5; }
Puntuación 2
f(x,y,zzzzz) { return x + y + zzzzz; }
f(x,a,b) { if(a) x = foo(); if(b) x = bar(); return x; }
f(j) { return g(h( i() / j, i() ), 1) ; }
Puntuación 3
mod(x, y) { return ((x % y)); }
f() { return f(); }
f(c) { if(c) c = g(c) + 2; return c; }
fib(i){return bb(i,0,1);}aa(i,a,b){return bb(i,b,a+b);}bb(i,a,b){if(i)a=aa(i-1,a,b);return a;}
Puntuación 0 o 1
h(auto, auto) { return 1; }
Puntuación 0 o 3
if() { return 1; }
1 Lista de palabras reservadas:auto break case char const continue default do double else enum extern float for goto if int long register return short signed sizeof static struct switch typedef union unsigned void volatile while
writese llamó una vez sin argumento y una vez con un argumento?