Consider the following grammar (that admits a series of declarations, followed by expressions) and the associated syntax directed translation (SDT) actions, given as pseudo-code:P → D* E*D → int ID {record that ID.lexeme is of type int}D → bool ID { record that ID.lexeme is of type bool}E → E1 + E2 {check that E1.type = E2.type = int; set E.type := int}E → !E1 {check that E1.type = bool; set E.type := bool}E → ID {set E.type := int}With respect to the above grammar; which one of the following choices is correct?

Question

Consider the following grammar (that admits a series of declarations, followed by expressions) and the associated syntax directed translation (SDT) actions, given as pseudo-code:P → D* E*D → int ID {record that ID.lexeme is of type int}D → bool ID { record that ID.lexeme is of type bool}E → E1 + E2 {check that E1.type = E2.type = int; set E.type := int}E → !E1 {check that E1.type = bool; set E.type := bool}E → ID {set E.type := int}With respect to the above grammar; which one of the following choices is correct?

TuteeHUB · Accepted Answer

NA

TuteeHUB · Answer

The actions will lead to infinite loop.

TuteeHUB · Answer

The actions can be used to correctly type-check any syntactically correct program.

TuteeHUB · Answer

The actions can be used to type-check syntactically correct boolean variable declarations and boolean expressions.

TuteeHUB · Answer

The actions can be used to type-check syntactically correct integer variable declarations and integer expressions.

Discussion

No Comment Found

Related MCQs

Reply to Comment