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
- Branch set to u/cheuberg/fsm/is_equivalent
comment:2 Changed 5 years ago by
- Commit set to 985b4561a2269493dc0a0004911274cb97c52870
- Dependencies set to #18966
- Status changed from new to needs_review
comment:3 Changed 5 years ago by
- Branch changed from u/cheuberg/fsm/is_equivalent to u/dkrenn/fsm/is_equivalent
comment:4 Changed 5 years ago by
- Commit changed from 985b4561a2269493dc0a0004911274cb97c52870 to 41700be3b94ceee3b7f82b5424b88dcbfee04116
- Reviewers set to Daniel Krenn
- Status changed from needs_review to positive_review
comment:5 Changed 5 years ago by
- 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.
New commits:
Trac #18966: Merge #18964 (Kleene star), #18981 (completion), #18965 (concatenation)
Trac #18966: Implement Automaton.complement
Fix doctests
Trac #18966: Fix doctests
Trac #19204: Implement Automaton.is_equivalent