1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Buchi automaton

  1. Nov 5, 2007 #1
    1. The problem statement, all variables and given/known data

    Give a buchi automaton that accepts the following property
    either p is true forever, or p is true until q becomes true

    2. Relevant equations

    check my answer if its right and correct if wrong


    3. The attempt at a solution

    Three states. Goes to p it loops and its final state.
    or goes p then loops and if then goes q its final state and accepted
     
  2. jcsd
  3. Nov 5, 2007 #2
    Three states.
    S0, S1 AND S2.
    S1 AND S2 ACCEPT STATES
    FROM S0 TO S1 IF IT IS P AND NOT Q . FROM S1 TO S2 IF IT IS( P NOT Q) OR (NOT P AND Q)

    FROM S0 TO S2 IF IT IS P AND Q .
    ON S1 IT LOOPS IF IT IS P AND NOT Q.
    S2 LOOPS FOR EVERYTHING
     
  4. Nov 5, 2007 #3
    S0 Is The Start State

    Hope I Solved Everything Right.please Correct Me
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?