Last active
October 8, 2024 17:56
-
-
Save ProfAvery/82ca3c6094545888547ce15eaca22dad to your computer and use it in GitHub Desktop.
California State University, Fullerton - CPSC 439 - Theory of Computation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| p cnf 11 22 | |
| c DIMACS version of | |
| c https://github.com/sahands/simple-sat/blob/master/src/tests/fsm/even-ones-3.in | |
| c No more than one state at each step | |
| -1 -2 0 | |
| -3 -4 0 | |
| -5 -6 0 | |
| -7 -8 0 | |
| c At least one state in each step | |
| 1 2 0 | |
| 3 4 0 | |
| 5 6 0 | |
| 7 8 0 | |
| c Add the rules | |
| c (EVEN, 1) -> ODD | |
| -1 -9 4 0 | |
| -3 -10 6 0 | |
| -5 -11 8 0 | |
| c (ODD, 1) -> EVEN | |
| -2 -9 3 0 | |
| -4 -10 5 0 | |
| -6 -11 7 0 | |
| c (EVEN, 0) -> EVEN | |
| -1 9 3 0 | |
| -3 10 5 0 | |
| -5 11 7 0 | |
| c (ODD, 0) -> ODD | |
| -2 9 4 0 | |
| -4 10 6 0 | |
| -6 11 8 0 | |
| c Start in state 0 | |
| 1 0 | |
| c End in an accepting state | |
| 7 0 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment