Considere la siguiente gramática (que admite una serie de declaraciones, seguidas de expresiones) y las acciones asociadas de traducción dirigida por sintaxis (SDT), dadas como pseudocódigo
With respect to the above grammar, which one of the following choices is correct?
(A) The actions can be used to correctly type-check any syntactically correct program
(B) The actions can be used to type-check syntactically correct integer variable declarations and integer expressions
(C) The actions can be used to type-check syntactically correct boolean variable declarations and boolean expressions.
(D) The actions will lead to an infinite loop
Answer: (B)
Explanation: Rule 2 and 3 are used for entry into the symbol table. Rule 4 is used for type checking of the integer expression.
Publicación traducida automáticamente
Artículo escrito por GeeksforGeeks-1 y traducido por Barcelona Geeks. The original can be accessed here. Licence: CCBY-SA