- #1
dork
- 5
- 0
Homework Statement
Give a buchi automaton that accepts the following property
either p is true forever, or p is true until q becomes true
Homework Equations
check my answer if its right and correct if wrong
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