From b8aae428e5a5a85b8ef08bcc211cb6b0e964499e Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 10 Jul 2018 17:28:43 +0200 Subject: [PATCH] org: add missing documentation for prop_complete * doc/org/concepts.org: Here. --- doc/org/concepts.org | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/org/concepts.org b/doc/org/concepts.org index 96ae13577..7df9f5880 100644 --- a/doc/org/concepts.org +++ b/doc/org/concepts.org @@ -1067,6 +1067,7 @@ automaton, and that can be queried or set by algorithms: | =weak= | transitions of an SCC all belong to the same acceptance sets | | =very_weak= | weak automaton where all SCCs have size 1 | | =terminal= | automaton is weak, accepting SCCs are complete, accepting edges may not go to rejecting SCCs | +| =complete= | for any letter ℓ, each state has is at least one outgoing transition compatible with ℓ | | =deterministic= | there is at most one run *recognizing* a word, but not necessarily accepting it | | =semi_deterministic= | any nondeterminism occurs before entering an accepting SCC | | =unambiguous= | there is at most one run *accepting* a word (but it might be recognized several time) |