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:

Status badges

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()
[]

Change History (0)

Note: See TracTickets for help on using tickets.