Opened 6 years ago

Closed 6 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 6 years ago by cheuberg

  • Branch set to fsm/is_deterministic
  • Status changed from new to needs_review

comment:2 Changed 6 years ago by cheuberg

  • Branch changed from fsm/is_deterministic to u/cheuberg/fsm/is_deterministic
  • Commit set to ea021cc968a1028286ebc4b877bea2f8cb41d73c

New commits:

ea021ccTrac #18556: FiniteStateMachine.is_deterministic: several initial states

comment:3 Changed 6 years ago by skropf

  • Reviewers set to Sara Kropf
  • Status changed from needs_review to positive_review

This is ok.

comment:4 Changed 6 years ago by vbraun

  • 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.