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 automata

  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.
    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
    S0 Is The Start State

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

Can you help with the solution or looking for help too?