Opened 7 years ago
Closed 7 years ago
#18556 closed defect (fixed)
FiniteStateMachine.is_deterministic: machines with >1 initial states are non-deterministic
| Reported by: | cheuberg | Owned by: | |
|---|---|---|---|
| Priority: | major | Milestone: | sage-6.8 |
| Component: | finite state machines | Keywords: | is_deterministic |
| Cc: | skropf, dkrenn | Merged in: | |
| Authors: | Clemens Heuberger | Reviewers: | Sara Kropf |
| Report Upstream: | N/A | Work issues: | |
| Branch: | ea021cc (Commits, GitHub, GitLab) | Commit: | ea021cc968a1028286ebc4b877bea2f8cb41d73c |
| Dependencies: | Stopgaps: |
Status badges
Description
If F is a finite state machine with more than one initial state, F.is_deterministic should return False.
Change History (4)
comment:1 Changed 7 years ago by
- Branch set to fsm/is_deterministic
- Status changed from new to needs_review
comment:2 Changed 7 years ago by
- Branch changed from fsm/is_deterministic to u/cheuberg/fsm/is_deterministic
- Commit set to ea021cc968a1028286ebc4b877bea2f8cb41d73c
comment:3 Changed 7 years ago by
- Reviewers set to Sara Kropf
- Status changed from needs_review to positive_review
This is ok.
comment:4 Changed 7 years ago by
- Branch changed from u/cheuberg/fsm/is_deterministic to ea021cc968a1028286ebc4b877bea2f8cb41d73c
- Resolution set to fixed
- Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
New commits:
Trac #18556: FiniteStateMachine.is_deterministic: several initial states