Opened 6 years ago
Last modified 6 years ago
#18992 closed defect
Missing final state in Automaton.determinisation — at Initial Version
Reported by: | cheuberg | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-6.9 |
Component: | finite state machines | Keywords: | |
Cc: | skropf, dkrenn | Merged in: | |
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
After determinisation, the automaton may have no final state:
sage: A = Automaton([(0, 1, []), (1, 1, 0)], initial_states=[0], final_states=[1]) sage: A.transitions() [Transition from 0 to 1: -|-, Transition from 1 to 1: 0|-] sage: A.final_states() [1] sage: B = A.determinisation().relabeled() sage: B.initial_states() [0] sage: B.final_states() []
Note: See
TracTickets for help on using
tickets.