Explore BrainMass

Explore BrainMass

    Formal Specification Set Theory

    Not what you're looking for? Search our solutions OR ask your own Custom question.

    This content was COPIED from BrainMass.com - View the original, and get the already-completed solution here!

    Hello, I need a help with working with set theory for pre, post conditions and logic conditions for a board game I wrote in Java. The Java part is easy, figuring out to express what I using set theory is difficult.

    A brief set theory overview as it relates to documentation Java code would be helpful and specific explanation of these issues -

    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.

    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

    Thank you for help, I am sure with a little guidance I can get the hang of this stuff.

    © BrainMass Inc. brainmass.com March 4, 2021, 6:18 pm ad1c9bdddf


    Solution Summary

    The formal specification set theories are determined.