2. Give an Informal Semantic definition for aswitchstatement.
4. Using the Model Assembler code from Topic 4, give an Operational Semantics definitionfor Java'sswitchstatement? Briefly explain your why your definition provides the requested Operational Semantics.
6. Using the Denotational Semantics addition example given in this Topic as a guide, lookup in Wikipedia "Lambda Calculus"the Lambda Calculus expressions for true, false, and logical-And. Create the Lambda Calculus denotation (expression) for the following syntactic expression:
8. true && false
10. Using Axiomatic Semantics, prove the statements in Question 6 and 7 are not equivalent
12. unless the two operands are equal. Again, be precise with a formal proof.
14. Java's indexOf(int ch) returns the first occurrence of the character in the charactersequence represented by corresponding String object, or -1 if the character doesn't occurin the String. Using Axiomatic Semantics, give formal pre- and post-conditions for thisindexOfmethod.