Unexpected result for is_equivalent in class automaton.

asked 2022-05-24 16:35:55 +0100

Dhia gravatar image

Using the class Automaton, we are finding unexpected results for the method is_equivalent(), which is supposed to test whether two finite automata recognize the same language.


J = Automaton ([('0','2','a'),('1','1','a'), ('2','1','b'),('3','4','a')], initial_states=['0'], final_states=['1'])

Expected Out : True

Actual Out : False

The documentation for the method can be found in the doc sagemath website at page "Finite state machines, automata, transducers" (no karma to post a link).

Is this a bug or am I misunderstanding the method? How do you suggest I test automata equivalence?

edit retag flag offensive close merge delete