From 30a68d288b3d812f709fb4f6f9084727cf6123ca Mon Sep 17 00:00:00 2001 From: Thomas Medioni Date: Wed, 9 Aug 2017 15:51:23 +0200 Subject: [PATCH] Fix typo automatons -> automata * NEWS, spot/twaalgos/dualize.cc, spot/twaalgos/dualize.hh, spot/twaalgos/langmap.cc, spot/twaalgos/sum.hh, tests/python/streett_totgba.py: Fixes typo. --- NEWS | 4 ++-- spot/twaalgos/dualize.cc | 2 +- spot/twaalgos/dualize.hh | 2 +- spot/twaalgos/langmap.cc | 2 +- spot/twaalgos/sum.hh | 8 ++++---- tests/python/streett_totgba.py | 2 +- 6 files changed, 10 insertions(+), 10 deletions(-) diff --git a/NEWS b/NEWS index 9f35093eb..b3b62f8ab 100644 --- a/NEWS +++ b/NEWS @@ -39,7 +39,7 @@ New in spot 2.3.5.dev (not yet released) families of automata or LTL formulas, used by genltl and genaut. - spot::sum() and spot::sum_and() implements the union and the - intersection of two automatons by putting them side-by-side and + intersection of two automata by putting them side-by-side and using non-deterministim or universal branching on the initial statae. @@ -130,7 +130,7 @@ New in spot 2.3.5.dev (not yet released) to the removal of some acceptance sets. - The function spot::streett_to_generalized_buchi() is now able to - work on automatons with Streett-like acceptance. + work on automata with Streett-like acceptance. - spot::relabel_here() was used on automata to rename atomic propositions, it can now replace atomic propositions by Boolean diff --git a/spot/twaalgos/dualize.cc b/spot/twaalgos/dualize.cc index 47b05a85a..73d762728 100644 --- a/spot/twaalgos/dualize.cc +++ b/spot/twaalgos/dualize.cc @@ -343,7 +343,7 @@ namespace spot true_state_ = res->new_state(); } // This case does not cover cmpl && !um.first - // Due to previous test shortcutting automatons that accept all words. + // Due to previous test shortcutting automata that accept all words. else { assert(um.first); diff --git a/spot/twaalgos/dualize.hh b/spot/twaalgos/dualize.hh index 42b5bef6a..100b2107f 100644 --- a/spot/twaalgos/dualize.hh +++ b/spot/twaalgos/dualize.hh @@ -35,7 +35,7 @@ namespace spot /// be output as generalized co-Büchi. /// /// Functions like to_generalized_buchi() or remove_fin() are frequently - /// called on existential automatons after dualize() to obtain an easier + /// called on existential automata after dualize() to obtain an easier /// acceptance condition, but maybe at the cost of losing determinism. /// /// If the input automaton is deterministic, the output will be deterministic. diff --git a/spot/twaalgos/langmap.cc b/spot/twaalgos/langmap.cc index 0c6e74272..a49386717 100644 --- a/spot/twaalgos/langmap.cc +++ b/spot/twaalgos/langmap.cc @@ -40,7 +40,7 @@ namespace spot std::vector alt_init_st_auts(n_states); std::vector compl_alt_init_st_auts(n_states); - // Prepare all automatons needed. + // Prepare all automata needed. for (unsigned i = 0; i < n_states; ++i) { twa_graph_ptr c = make_twa_graph(aut, twa::prop_set::all()); diff --git a/spot/twaalgos/sum.hh b/spot/twaalgos/sum.hh index dcd0da1a2..651035ab6 100644 --- a/spot/twaalgos/sum.hh +++ b/spot/twaalgos/sum.hh @@ -25,7 +25,7 @@ namespace spot { /// \brief Sum two twa into a new twa, performing the union of the two input - /// automatons. + /// automata. /// /// \param left Left term of the sum. /// \param right Right term of the sum. @@ -35,7 +35,7 @@ namespace spot const const_twa_graph_ptr& right); /// \brief Sum two twa into a new twa, performing the union of the two input - /// automatons. + /// automata. /// /// \param left Left term of the sum. /// \param right Right term of the sum. @@ -49,7 +49,7 @@ namespace spot unsigned right_state); /// \brief Sum two twa into a new twa, using a universal initial transition, - /// performing the intersection of the two languages of the input automatons. + /// performing the intersection of the two languages of the input automata. /// /// \param left Left term of the sum. /// \param right Right term of the sum. @@ -59,7 +59,7 @@ namespace spot const const_twa_graph_ptr& right); /// \brief Sum two twa into a new twa, using a universal initial transition, - /// performing the intersection of the two languages of the input automatons. + /// performing the intersection of the two languages of the input automata. /// /// \param left Left term of the sum. /// \param right Right term of the sum. diff --git a/tests/python/streett_totgba.py b/tests/python/streett_totgba.py index 30e5847eb..fe399aa33 100644 --- a/tests/python/streett_totgba.py +++ b/tests/python/streett_totgba.py @@ -68,7 +68,7 @@ def test_aut(aut): del os.environ["SPOT_STREETT_CONV_MIN"] assert equivalent(sltgba, slftgba) -# Those automatons are generated with ltl2dstar, which is NOT part of spot, +# Those automata are generated with ltl2dstar, which is NOT part of spot, # using the following command: # genltl --eh-patterns --dac-patterns --hkrss-patterns --sb-patterns |\ # ltldo "ltl2dstar --automata=streett --output-format=hoa\