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

* spot/twaalgos/remfin.cc: Typos in comments.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2017-04-07 20:36:36 +02:00
parent bf99e6c24e
commit e58a00a2e3
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
spot/twaalgos/remfin.cc
View file

@ -95,7 +95,7 @@ namespace spot
return sccaut->is_empty(); return sccaut->is_empty();
} }
// The bits remaining sets in i corresponds to I₁s that have // The bits remaining sets in i corresponds to I₁s that have
// been seen with seeing the mathing F₁. In this SCC any state // been seen with seeing the matching F₁. In this SCC any state
// in these I₁ is therefore final. Otherwise we do not know: it // in these I₁ is therefore final. Otherwise we do not know: it
// is possible that there is a non-accepting cycle in the SCC // is possible that there is a non-accepting cycle in the SCC
// that do not visit Fᵢ. // that do not visit Fᵢ.
@ -144,7 +144,7 @@ namespace spot
// concerned about *deterministic* automata, but we apply the // concerned about *deterministic* automata, but we apply the
// algorithm on non-deterministic automata as well: in the worst // algorithm on non-deterministic automata as well: in the worst
// case it is possible that a Büchi-type SCC with some // case it is possible that a Büchi-type SCC with some
// non-deterministic has one accepting and one rejecting run for // non-deterministim has one accepting and one rejecting run for
// the same word. In this case we may fail to detect the // the same word. In this case we may fail to detect the
// Büchi-typeness of the SCC, but the resulting automaton should // Büchi-typeness of the SCC, but the resulting automaton should
// be correct nonetheless. // be correct nonetheless.