The answer choice options are shown below. Thanks

Please generate the type-rules based on given BNFs for expressions like strA-"hello"+"world"" (strA is a string typed variable) BNF: exp-identifier-math can generate RULE: exp.type ( if Choose... TYPE_ERROR_IN_EXPH BNF: math->literal+math can generate RULE2: Choose... then Choose... else =| math.type- (if Choose...Choose... TYPE_ERROR IN MATH BNF: math->literal can generate RULE3 then Choose... v else Choose... Choose Please generate the type-rules based on given BNFs for expressions like strA-"hello"+"world"" (strA is a string typed variable) BNF: exp-identifier-math can generate RULE: exp.type ( if Choose... TYPE_ERROR_IN_EXPH BNF: math->literal+math can generate RULE2: Choose... then Choose... else =| math.type- (if Choose...Choose... TYPE_ERROR IN MATH BNF: math->literal can generate RULE3 then Choose... v else Choose... Choose