Question:
Formal Specification Set Theory
A brief set theory overview as it relates to documentation Java code would be helpful and specific explanation of these issues
I.An example is attached of practice problem. Could you explain the post condition step by step? I get the general idea the expression is showing a loop that ends when their is nothing left in the string then returns number of characters in the string, but I bit confused by the symbols and notations.
II.Could you explain how I could use they same type of notation in the example above to write a complex logic case such as -
Write a function that searches a [n][n] matrix filled with x's,y's or blank to find if a location in the matrix exists that:
I. there is x or multiple x values with a blank on one side (left/right or top bottom) and a y on the other
II. there is a y or multiple y values with a blank on one side (left/right or top bottom) and a x on the other
![1925_Set theory.jpg](https://secure.tutorsglobe.com/CMSImages/1925_Set theory.jpg)