Skip to content

Commit

Permalink
add examples of "min odd" and "max even" parity automata
Browse files Browse the repository at this point in the history
As suggestd by Joachim in #42.
  • Loading branch information
adl committed May 20, 2015
1 parent 663a6d4 commit f94b5c1
Showing 1 changed file with 7 additions and 1 deletion.
8 changes: 7 additions & 1 deletion README.md
Expand Up @@ -380,7 +380,13 @@ If the greatest identifier has to be odd, we write:
acc-name: parity max odd 6
Acceptance: 6 Inf(5) | (Fin(4)&Inf(3)) | (Fin(4)&Fin(2)&Inf(1))

Combinations `min odd` or `max even` are also possible.
Combinations `min odd` or `max even` are also possible:

acc-name: parity min odd 6
Acceptance: 6 (Fin(0)&Inf(1)) | (Fin(0)&Fin(2)&Inf(3)) | (Fin(0)&Fin(2)&Fin(4)&Inf(5))

acc-name: parity max even 5
Acceptance: 5 Inf(4) | (Fin(3)&Inf(2)) | (Fin(3)&Fin(1)&Inf(0))


### Trivial acceptance conditions: `all` and `none`
Expand Down

0 comments on commit f94b5c1

Please sign in to comment.