question 10

6. (10pts) Consider the following grammar: - - | ENDLINE ID ">" - | + ID | "&" "%" | 4." 8. (10pts) Recall the following grammar from question 6: (2) (3) | ENDLINE ID "->" | - ID 6 (5) (6) (7) (8) (9) (10) 1 %" Consider the following semantic functions/predicates: (1) Predicate: "main" E ids (2) (prodlist>ids = { id) (3) [0].id = {id}U id ID .id .id ID.id (5) .id = .id (6) .id = [0].id [1].id [0].id (7) Predicate: .id = ID.id This attributed grammar specifies two statie semantic "rules" (restrictions on the programs in this language). What are they? Give a brief description on how they are enforced. For each rule, are the attributes involved synthesized, inherited, or a mixture of both? four->*,,,lo 10. (10pts) Recall the attributed grammar from question 8. Consider the following de- notational semantics: densem( ENDLINE ) = densem( ) U den sem( densem( ID ">" ) = {(ID , bodysem( ))} bodysem( "" ) = bodysem( ) + bodysem( bodysem( ID ) = if ID = main then 10 else 1 bodysem("&") = 2 bodysem("%" ) = 100 body sem( "*") = -10 NOTE: The format is similar to our example form class. The semantics in this ques- tions is different from the one presented in other questions. For the following progams, what is the mathematical meaning? Brielfly explain why. (a) main > step, show step -> &,& show -> %,&, (6) main -> one, two, three, four one -> tuo,&, two -> ,& three -> four...& four-> , ,&.% 6. (10pts) Consider the following grammar: - - | ENDLINE ID ">" - | + ID | "&" "%" | 4." 8. (10pts) Recall the following grammar from question 6: (2) (3) | ENDLINE ID "->" | - ID 6 (5) (6) (7) (8) (9) (10) 1 %" Consider the following semantic functions/predicates: (1) Predicate: "main" E ids (2) (prodlist>ids = { id) (3) [0].id = {id}U id ID .id .id ID.id (5) .id = .id (6) .id = [0].id [1].id [0].id (7) Predicate: .id = ID.id This attributed grammar specifies two statie semantic "rules" (restrictions on the programs in this language). What are they? Give a brief description on how they are enforced. For each rule, are the attributes involved synthesized, inherited, or a mixture of both? four->*,,,lo 10. (10pts) Recall the attributed grammar from question 8. Consider the following de- notational semantics: densem( ENDLINE ) = densem( ) U den sem( densem( ID ">" ) = {(ID , bodysem( ))} bodysem( "" ) = bodysem( ) + bodysem( bodysem( ID ) = if ID = main then 10 else 1 bodysem("&") = 2 bodysem("%" ) = 100 body sem( "*") = -10 NOTE: The format is similar to our example form class. The semantics in this ques- tions is different from the one presented in other questions. For the following progams, what is the mathematical meaning? Brielfly explain why. (a) main > step, show step -> &,& show -> %,&, (6) main -> one, two, three, four one -> tuo,&, two -> ,& three -> four...& four-> , ,&.%