alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

org: add missing documentation for prop_complete

Browse source 
* doc/org/concepts.org: Here.
This commit is contained in:
Alexandre Duret-Lutz 2018-07-10 17:28:43 +02:00
parent 8d475780d2
commit b8aae428e5
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
doc/org/concepts.org
View file

@ -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) |