Requirements: 1. Give an Informal Semantic definition for a switch statement.
2. Using the Model Assembler code from Topic 4, give an Operational Semantics definition for Java's switch statement? Briefly explain your why your definition provides the requested Operational Semantics.
3. Using the Denotational Semantics addition example given in this Topic as a guide, look up 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:
[true && false]
4. Using Axiomatic Semantics, prove the statements in Question 6 and 7 are not equivalent unless the two operands are equal. Again, be precise with a formal proof
5. Java's indexOf(int ch) returns the first occurrence of the character in the character sequence represented by corresponding String object, or -1 if the character doesn't occur in the String. Using Axiomatic Semantics, give formal pre- and post-conditions for this indexOf method.

This question involves a class named textfile that represents a text file. public class textfile { private string filename; private string filename; private arraylist words; // constructors not shown // postcondition: returns the number of bytes in this file public int filesize() { } // precondition: 0 < = index < words.size() // postcondition: removes numwords words from the words arraylist beginning at // index. public void deletewords(int index, int numwords) { } // precondition: 0 < = index < = words.size() // postcondition: adds elements from newwords array to words arraylist beginning // at index. pub lic voidaddwords(int index, string[] newwords) { } // other methods not shown } complete the filesize() method. the filesize() is computed in bytes. in a text file, each character in each word counts as one byte. in addition, there is a space in between each word in the words arraylist, and each of those spaces also counts as one byte. for example, suppose the words arraylist stores the following words: { mary had a little lamb; its fleece was white as snow. } the filesize() method would compute 4 + 3 + 1 + 6 + 5 + 4 + 6 + 3 + 5 + 2 + 5 as the sum of the lengths of each string in the arraylist. the value returned would be this sum plus 10, because there would also be 10 spaces in between the 11 words. complete the filesize() method below: // postcondition: returns the number of bytes in this file public int filesize() { }