Opened 5 years ago

Closed 5 years ago

#19204 closed enhancement (fixed)

Implement Automaton.is_equivalent

Reported by: cheuberg Owned by:
Priority: major Milestone: sage-6.9
Component: finite state machines Keywords:
Cc: skropf, dkrenn Merged in:
Authors: Clemens Heuberger Reviewers: Daniel Krenn
Report Upstream: N/A Work issues:
Branch: 41700be (Commits) Commit: 41700be3b94ceee3b7f82b5424b88dcbfee04116
Dependencies: #18966 Stopgaps:

Description

Implement the method Automaton.is_equivalent, checking whether two automata are equivalent (accept the same language).

Change History (5)

comment:1 Changed 5 years ago by cheuberg

  • Branch set to u/cheuberg/fsm/is_equivalent

comment:2 Changed 5 years ago by cheuberg

  • Commit set to 985b4561a2269493dc0a0004911274cb97c52870
  • Dependencies set to #18966
  • Status changed from new to needs_review

New commits:

​23c9573Trac #18966: Merge #18964 (Kleene star), #18981 (completion), #18965 (concatenation)
​5dceb30Trac #18966: Implement Automaton.complement
​c67540aFix doctests
​b1a6b60Trac #18966: Fix doctests
​985b456Trac #19204: Implement Automaton.is_equivalent

comment:3 Changed 5 years ago by dkrenn

  • Branch changed from u/cheuberg/fsm/is_equivalent to u/dkrenn/fsm/is_equivalent

comment:4 Changed 5 years ago by dkrenn

  • Commit changed from 985b4561a2269493dc0a0004911274cb97c52870 to 41700be3b94ceee3b7f82b5424b88dcbfee04116
  • Reviewers set to Daniel Krenn
  • Status changed from needs_review to positive_review

Looks good :)

New commits:

​41700beminor rewrite of if-condition (improving readability)

comment:5 Changed 5 years ago by vbraun

  • Branch changed from u/dkrenn/fsm/is_equivalent to 41700be3b94ceee3b7f82b5424b88dcbfee04116
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.