From f94b5c165328591755acf0c87c6ed664b811e9e1 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 20 May 2015 11:42:17 +0200 Subject: [PATCH] add examples of "min odd" and "max even" parity automata As suggestd by Joachim in #42. --- README.md | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index ac6d3a6..a16e75f 100644 --- a/README.md +++ b/README.md @@ -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`