Results 1 to 4 of 4

Math Help - State conditions - correct syntax

  1. #1
    Newbie
    Joined
    Jul 2011
    Posts
    6

    State conditions - correct syntax

    Hello

    First of all thank you so much to founders of this forum and all the members who reply to questions ...


    sometimes system state is represented as a triple: first state Q1, action, final state Q2.

    we have:
    Q1={A, B}
    where A={1,2,3}

    action=access(i)


    ({A,B}, access(i), {A,B union {i}})

    if i \in A logical and \exists j \in A logical and i<>j (i not equal j)

    If I write state change as above, the statements following "if" describe the Q1 correct? Or I should mention "if in Q1" and then write conditions?

    Another question is do I need to write \exists i \in A
    instead of i \in A

    Thank you
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,513
    Thanks
    769

    Re: State conditions - correct syntax

    Quote Originally Posted by Tina View Post
    ({A,B}, access(i), {A,B union {i}})

    if i \in A logical and \exists j \in A logical and i<>j (i not equal j)

    If I write state change as above, the statements following "if" describe the Q1 correct?
    I am not sure what subject this is, so it's hard to say. What is the relationship between the first and the second line?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Jul 2011
    Posts
    6

    Re: State conditions - correct syntax

    second line states the condition in Q1 implicitly (Not sure if I should explicitly say if in Q1). If these conditions are true, after performing the action, the system will have state Q2.

    For example, if i=2, then we can move to state Q2 and in that state, we add i to B.


    This type of state change is used in some programming lang and I/O automaton.


    Thanks
    Last edited by Tina; September 28th 2011 at 07:45 AM.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,513
    Thanks
    769

    Re: State conditions - correct syntax

    It seems to me that whether you need to refer to Q1 explicitly depends on the syntax of the concrete programming language or formalism you are using. This is far from conventional logic, so it's hard to say in general.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Correct syntax
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: September 28th 2011, 03:23 AM
  2. Replies: 0
    Last Post: May 13th 2010, 07:44 AM
  3. Stata - syntax for if exp
    Posted in the Math Software Forum
    Replies: 0
    Last Post: May 2nd 2010, 05:48 PM
  4. state diagram, state table, etc.
    Posted in the Advanced Math Topics Forum
    Replies: 0
    Last Post: January 28th 2010, 02:50 AM
  5. syntax
    Posted in the LaTeX Help Forum
    Replies: 1
    Last Post: May 9th 2009, 01:30 PM

Search Tags


/mathhelpforum @mathhelpforum